Overview

This course will present rigorous and formal methods for the design and implementation phases of software system development. Also considered are testing and reuse of designs. As far as possible, software tools that can assist the process will be used. The material will be presented using case studies, and students … For more content click the Read More button below.

Conditions for Enrolment

Prerequisite: COMP1927 or COMP2521

Delivery

Multimodal - Standard (usually weekly or fortnightly)
In-person -

Please note that the above delivery information is an indication on how this course may be delivered within the year.  Delivery mode(s) for each term can be viewed on other sources such as myUNSW and class timetable site.

This Handbook is a comprehensive catalogue of our offerings and includes courses that can be taken to satisfy program requirements irrespective as to their availability for a particular year. Availability of courses is best checked using filters on this site or on the class timetable site.

Pre-2019 Handbook Editions

Access past handbook editions (2018 and prior)
Pre-2019 Handbook Editions