Lecture 6, Outline [approximate minutes]
Requirement specification terminology [30]
Informal approaches to requirements specification [5]
Formal methods overview [20]
Basic Z example (telephone) [45]
Very basic Statecharts example [15]
Writing a spec (in small groups) [30]