CSE4213

Formal methods in software engineering (6 points)

(IT)

Leader:

Offered:
Clayton First semester 2003 (Day)
Clayton First semester 2004 (Day)

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%

Contact Hours: 3 hours per week (lectures/tutorials)

Prerequisites: CSE2303, MAT1830 or MTH1112 or MAT1077

Prohibitions: GCO4013, SFT3302