Course level

Postgraduate Coursework

Faculty

Engineering, Architecture & Information Technology

School

Info Tech & Elec Engineering

Units

2

Duration

One Semester

Class contact

2 Lecture hours, 1 Tutorial hour

Incompatible

CSSE4603

Prerequisite

MATH1061

Assessment methods

Assignments, small projects, mid-term and final examination

Course coordinator

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 characterize 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 St Lucia Internal Course Profile
Semester 1, 2015 St Lucia Internal Course Profile
Semester 1, 2014 St Lucia Internal Course Profile
Semester 1, 2013 St Lucia Internal Course Profile
Semester 1, 2012 St Lucia Internal Course Profile
Semester 1, 2011 St Lucia Internal Course Profile
Semester 1, 2010 St Lucia Internal Course Profile
Semester 1, 2009 St Lucia Internal Course Profile
Semester 1, 2008 St Lucia Internal Course Profile
Semester 1, 2008 External External Course Profile