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

Area: