CSE4213 - Formal methods in software engineering

Offered

Clayton First semester 2007 (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

3 hours per week

Prerequisites

CSE2201, CSE2303, MAT1830 or MTH1112 or MAT1077

Prohibitions

GCO4013