FIT3013

Formal methods for software engineering ( 6 points, SCA Band 2, 0.125 EFTSL)

Leader: Sita Ramakrishnan

Offered:
Not offered in 2006.

Synopsis: This unit covers the review of set theory, the predicate calculus, relations, realatioal 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: Two hour lectures per week

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

Prohibitions: CSE4213, GCO4013, SFT3302