Link to Curtin homepage      CurtinSearch | Curtin Site Index 
Online handbook 2004
CoursesUnitsNew CoursesJoint Uni CoursesDefinition of TermsContact / Help
About Curtin University
Academic calendar
Admissions Information
Applying for a research higher degree
Applying to Curtin
Bookshop
Prospective student service
Curtin scholarships
Enrolment information
Fee Information
Grading system
IT Policy
Student rights and responsibilities
Student policy and procedures
    

13392 (v.2) Software Modelling and Analysis 351


 

Area:

Department of Computing

Credits:

25.0

Contact Hours:

5.0

Lecture:

1 x 2 Hours Weekly

Tutorial:

1 x 3 Hours Weekly

Prerequisite(s):

8934 (v.7) Software Engineering 252 or any previous version

Syllabus:

Objectives of formal methods, form, content and the application of formal specifications. Notations, tools and standards for specification languages, model oriented specifications, algebraic specification and specification of concurrent systems.
 

Field of Education:

 31300 Electrical and Electronic Engineering and Technology (Narrow Grouping)

HECS Band (if applicable):

2  

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.

 
Click here for a printable version of this page

    

Picture of sun setting over Henderson Court on Curtin's Bentley Campus

 

Curtin crest