CSE4213 - Formal methods in software engineering

Offered

Clayton Second semester 2008 (Day)

Synopsis

This unit covers the review of set theory, the predicate calculus, relations, relational algebra and formal specification concepts; algebraic and model based specifications. The Z notation, schemas, schema calculus, schema types and operations; data and algorithm design; data and operation refinement; proofs of correctness. The place of formal methods in software engineering practice.

Assessment

Assignments: 50%
Examination: 50%

Contact hours

3 x contact hrs/week

Prerequisites

(FIT2014 or CSE2303) and (FIT2024 or CSE2201) and (MAT1830 or MTH1112 or MAT1077)

Prohibitions

GCO4013