Courses Handbook 2006 - [Archived]

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 Search Curtin Site Index