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. |
| |
Current as of: February 2, 2004
CRICOS provider code 00301J
