Monash University Handbooks 2008

CSE4213 - Formal methods in software engineering

6 points, SCA Band 2, 0.125 EFTSL

Undergraduate, Postgraduate Faculty of Information Technology

Offered

Clayton Second semester 2008 (Day)

Synopsis

This unit covers the 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.

Assessment

Assignments: 50%
Examination: 50%

Contact hours

3 x contact hrs/week

Prerequisites

(FIT2014 or CSE2303) and (FIT2024 or CSE2201) and (MAT1830 or MTH1112 or MAT1077)

Prohibitions

GCO4013

[an error occurred while processing this directive]