Link to Curtin homepage      CurtinSearch | Curtin Site Index 
Online handbook
Courses Units Research Courses New Courses Joint-Uni Courses Definition of Terms Contact / Help
About Curtin University
Academic calendar
Admissions Information
Applying for a research higher degree
Applying to Curtin
Bookshop
Prospective Student Services
Curtin scholarships
Enrolment information
Fee Information
Grading system
IT Policy
Student rights and responsibilities
Student policy and procedures
    

302968 (v.1) Program Design 651


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.

 
Click here for a printable version of this page

     Image of People or Curtin's Bentley Campus