Reasoning About Programs (CSSE3100)
Information valid for Semester 1, 2025
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, 2025 (24/02/2025 - 21/06/2025) | St Lucia | In Person | Profile unavailable |
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) | External | External | Course Profile |
Semester 1, 2022 (21/02/2022 - 21/06/2022) | St Lucia | Internal | 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 |