Course level

Undergraduate

Faculty

Engineering, Architecture & Information Technology

School

Info Tech & Elec Engineering

Units

2

Duration

One Semester

Class contact

3 Contact hours

Prerequisite

MATH1061 + CSSE2002

Assessment methods

Assignments, examination

Course coordinator

Graeme Smith (smith@itee.uq.edu.au)

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 Profile unavailable

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