| Home | |||||||
| Courses | |||||||
|
|||||||
| Unit List | |||||||
 |
13392 (v.2) Software Modelling and Analysis 351
Area: School 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.
To report errors on this website please e-mail:online@curtin.edu.au
Copyright and Disclaimer
Current as of: November 4, 2002 5:20:13
CRICOS provider code 00301J