| Area: |
Department of Computing |
| Credits: |
25.0 |
| Contact Hours: |
3.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 1 Hours Weekly |
| Prerequisite(s): |
8934 (v.8) Software Engineering 252 or any previous version
AND
13390 (v.3) Requirements Engineering 252 or any previous version
|
| |
| Syllabus: |
Principles and techniques for verification of software specifications and validation of software systems. Relative merits of analysis methods through the life cycle, from verification and validation to testing, prototyping and abstract modelling. |
| |
| ** 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: | 20103 Programming |
| 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. |
