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.

Area: