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: 20103 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.