13392 (v.3) Software Modelling and Analysis 351

Area:	Department of Computing
Credits:	25.0
Contact Hours:	5.0

The tuition pattern below provides details of the types of classes and their duration. This is to be used as a guide only. For more precise information please check your unit outline.

Lecture:	1 x 2 Hours Weekly
Tutorial:	1 x 3 Hours Weekly
Prerequisite(s):	8934 (v.8) 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.

To ensure that the most up-to-date information about unit references, texts and outcomes appears, they will be provided in your unit outline prior to commencement.

Field of Education:	020305 Systems Analysis and Design
Funding Cluster:	06 - Computing, Built Environment, Health
SOLT (Online) Definitions*:	Not Online *Extent to which this unit or thesis utilises online information
Result Type:	Grade/Mark
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.

Availability