CSE4213

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

Leader: John Hurst

Offered:
Clayton First semester 2006 (Day)

Synopsis: Review of set theory, the predicate calculus, relations, relational algebra and formal specification concepts; algebraic and model based specifications; the role of formal specifications in software engineering. The B notation; proofs of correctness; proof obligations.

Assessment: Assignments: 60%; Examination: 40%.

Contact Hours: One x 2 hr lecture/week

Prerequisites: CSE2201, CSE2303, MAT1830 or MTH1112 or MAT1077

Prohibitions: GCO4013, SFT3302