Link to Curtin homepage      CurtinSearch | Curtin Site Index 
Online handbook 2004
Courses and Units Definition of TermsContact / Help
Academic Calendar
Admissions Information
Fee Information
Policy and Procedures
Scholarships
About Curtin
    

13392 (v.2) Software Modelling and Analysis 351



 

Area:

Department of Computing

Contact Hours:

5.0

Credits:

25.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
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.


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