Models of Software Systems (CSSE4603)
Course level
Undergraduate
Faculty
Engineering, Architecture & Information Technology
School
Info Tech & Elec Engineering
Units
2
Duration
One Semester
Class hours
Lecture 2 Hours/ Week
Tutorial 1 Hour/ Week
Incompatible
CSSE7032
Prerequisite
MATH1061
Assessment methods
Assignments, small projects, mid-term and final examination
Course enquiries
Dr Graeme Smith (smith@itee.uq.edu.au)
Study Abroad
This course is pre-approved for Study Abroad and Exchange students.
This course is not currently offered, please contact the school.
Course description
Scientific foundations for software engineering depend on the use of precise, abstract models and logics to characterise and reason about properties of software systems. Over time, a number of basic models and logics have proven to be particularly important and pervasive in the study of software systems. This course is concerned with that body of knowledge. It considers many of the standard models for representing and reasoning about sequential and concurrent systems, such as state machines, algebras and traces.
Archived offerings
Course offerings | Location | Mode | Course Profile |
Semester 1, 2016 (29/02/2016 - 25/06/2016) | St Lucia | Internal | Course Profile |
Semester 1, 2015 (02/03/2015 - 27/06/2015) | St Lucia | Internal | Course Profile |