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.

 

 

Copyright and Disclaimer
Current as of: February 20, 2003     5:01:33
CRICOS provider code 00301J