FIT3013 - Formal methods for software engineering

Offered

Not offered in 2007

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 hours per week

Prerequisites

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

Prohibitions

CSE4213, GCO4013, SFT3302