Course level

Undergraduate

Faculty

Engineering, Architecture & Information Technology

School

Elec Engineering, Comp Science

Units

2

Duration

One Semester

Attendance mode

In Person

Class hours

Lecture 3 Hours/ Week
Tutorial 1 Hour/ Week
3L1T

Prerequisite

MATH1061 and CSSE2002

Assessment methods

Assignments, examination

Course enquiries

Dr Graeme Smith (smith@eecs.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, 2024 (19/02/2024 - 15/06/2024) St Lucia In Person 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, 2023 (20/02/2023 - 17/06/2023) External External Course Profile
Semester 1, 2023 (20/02/2023 - 17/06/2023) St Lucia In Person Course Profile
Semester 1, 2022 (21/02/2022 - 21/06/2022) St Lucia Internal Course Profile
Semester 1, 2022 (21/02/2022 - 21/06/2022) External External Course Profile
Semester 1, 2021 (22/02/2021 - 19/06/2021) External External Course Profile
Semester 1, 2021 (22/02/2021 - 19/06/2021) St Lucia Flexible Delivery Course Profile
Semester 1, 2020 (24/02/2020 - 11/07/2020) St Lucia Internal Course Profile
Semester 1, 2019 (25/02/2019 - 22/06/2019) St Lucia Internal Course Profile
Semester 1, 2018 (19/02/2018 - 23/06/2018) St Lucia Internal Course Profile
Semester 1, 2017 (27/02/2017 - 24/06/2017) St Lucia Internal Course Profile