| Home | |||||||
| Courses | |||||||
|
|||||||
| Unit List | |||||||
 |
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.
Click here for a printable version of this page
To report errors on this website please e-mail:online@curtin.edu.au
Copyright and Disclaimer
Current as of: February 20, 2003 5:01:33
CRICOS provider code 00301J