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.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. |
| |
| ** 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: |
31300 Electrical and Electronic Engineering and Technology (Narrow Grouping) |
HECS Band (if applicable): |
2 |
|
Extent to which this unit or thesis
utilises online information: |
Not Online |
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. |
