5500 (v.5) Program Design 551
Area: |
Department of Computing |
Credits: |
25.0 |
Contact Hours: |
5.0 |
| ** The tuition pattern below provides details of the types of classes and their duration. This is to be used as a guide only. For more precise information please check your unit outline. ** | |
Lecture: |
1 x 2 Hours Weekly |
Other: |
1 x 3 Hours Weekly |
Prerequisite(s): |
5405 (v.8) Software Engineering 502 or any previous version AND 10079 (v.4) Software Engineering 501 or any previous version |
Syllabus: |
Formal methods in the development of software systems. |
| ** To ensure that the most up-to-date information about unit references, texts and outcomes appears, they will be provided in your unit outline prior to commencement. ** | |
Field of Education: | 020103 Programming |
Funding Cluster: | 06 - Computing, Built Environment, Health |
SOLT (Online) Definitions*: | Not Online *Extent to which this unit or thesis utilises online information |
Result Type: | Grade/Mark |
Availability |
|
| Availability Information has not been provided by the respective School or Area. Prospective students should contact the School or Area listed above for further information. | |
Curtin University of Technology
To report errors on this website please use: Contact Us
Copyright and Disclaimer
Content Last Modified: June 14, 2006
Curtin University of Technology, Perth CRICOS Provider Code 00301J
The Sydney Campus of Curtin University of Technology CRICOS Provider Code 02637B