CSE4213

Formal Methods in Software Engineering

(IT)

6 points + 3 hours per week (lectures/tutorials) + First semester + Clayton + Prerequisites:CSE2303, MAT1830 or MTH1112 or MAT1077 + Prohibition: GCO4013, SFT3302

Synopsis: 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. Access to the university's computer systems through an Internet service provider is compulsory for distance education students. (Unit content under review, please check with course co-ordinator.)

Assessment: Assignments: 60% + Examination: 40%