Reasoning About Programs (CSSE3100)
Information valid for Semester 1, 2017
Course level
Undergraduate
Faculty
Engineering, Architecture & Information Technology
School
Info Tech & Elec Engineering
Units
2
Duration
One Semester
Delivery mode
Internal
Class hours
3 Contact hours
Prerequisite
MATH1061 and CSSE2002
Assessment methods
Assignments, examination
Course enquiries
Study Abroad
This course is pre-approved for Study Abroad and Exchange students.
Current course offerings
| Course offerings | Location | Mode | Course Profile |
| Semester 1, 2025 (24/02/2025 - 21/06/2025) | 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.
