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.7) Software Engineering 502 or any previous version
AND
10079 (v.3) 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:

20100 Computer Science (Narrow Grouping)

HECS Band (if applicable):

Extent to which this unit or thesis
utilises online information:

Not Online

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.