Course level



Engineering, Architecture & Information Technology


Info Tech & Elec Engineering




One Semester

Class contact

3 Contact hours


MATH1061 + CSSE2002

Assessment methods

Assignments, examination

Course coordinator

Graeme Smith (

Study Abroad

This course is pre-approved for Study Abroad and Exchange students.

Current course offerings

Course offerings Location Mode Course Profile
Semester 1, 2018 St Lucia Internal Course Profile

Please Note: Course profiles marked as not available may still be in development.

Course description

Software is written with the intention that it will carry out a desired task. To write such software requires algorithmic problem solving skills; and to do so correctly requires us to make precise the task at hand, and to be able to reason that an implementation satisfies the task's precise requirements. This advanced course on programming introduces structured, formal methods for: specifying the desired behaviour of programs, showing that programs are correct with respect to their specifications, and deriving algorithms from specifications. These techniques are designed to assist developers to solve programming problems, and to produce high quality software.

Archived offerings

Course offerings Location Mode Course Profile
Semester 1, 2017 St Lucia Internal Course Profile