GCO4013

Formal methods in software engineering

(IT)

J Hurst

6 points + 4 hours per week + Second semester + Gippsland, distance + Prerequisites: GCO3811 or CSE2401, MAT1077 + Prohibition: 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.

Assessment: Assignments: 60% + Examination: 40%