Description
Mathematical methods for describing software behaviour and structure. Topics include (but are not limited to) the following: Requirements specification. Module specification: axiomatic, algebraic, and trace specifications. Abstract models. Verification. Specification-based validation.
Learning Hours
120 (36 Lecture, 84 Private Study)
Prerequisite
Registration in a School of Computing Plan and a minimum grade of C- in CISC 223/3.0.
Exclusion
Maximum of one course from: CISC 328/3.0; CISC 422/3.0.