Software Specification (CSSE3003)
Course level
Undergraduate
Units
2
Duration
One Semester
Class hours
3 Lecture hours
2 Tutorial hours
Incompatible
CS160 or 162 or 163 or 262 or 263 or COMP2600 or 3601 or 7605 or CSSE7021
Prerequisite
(MATH1061 or MT161) + (COMP2500 or CSSE2002)
Assessment methods
Exam & assignments
Course enquiries
Study Abroad
This course is pre-approved for Study Abroad and Exchange students.
This course is not currently offered, please contact the school or faculty of your program.
Course description
Motivation for precise software specification; use of mathematics such as logic & set theory as a modelling tool; introduction to a formal specification notation; introduction to validation of formal specification via proof.
