next up previous contents
Next: Easter Term 2004: Part Up: Lent Term 2004: Part Previous: Software Engineering I (50%   Contents


Software Engineering II (50% option only)

Lecturer: Dr A.C. Norman

No. of lectures: 6


Aims


The course has two distinct aims. First, it will present a variety of simple methods that an individual can use to write programs systematically. These will include top-down program refinement, systematic design of loops, and a variety of suggestions for improving program reliability. Second, it will survey formal methods for software engineering, introducing the Z specification language and program correctness proofs.


Lectures

Objectives


At the end of the course, students should

Recommended books


None (comprehensive notes supplied).


next up previous contents
Next: Easter Term 2004: Part Up: Lent Term 2004: Part Previous: Software Engineering I (50%   Contents
Christine Northeast
Thu Sep 4 15:29:01 BST 2003