next up previous contents
Next: Easter Term 2001: Part Up: Lent Term 2001: Part Previous: Software Engineering I

Software Engineering II

Lecturer: Dr L.C. Paulson (lcp@cl.cam.ac.uk)

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 book


Paulson, L.C. (1996). ML for the Working Programmer. Cambridge University Press (2nd ed.).


next up previous contents
Next: Easter Term 2001: Part Up: Lent Term 2001: Part Previous: Software Engineering I
Christine Northeast
Wed Sep 20 15:13:44 BST 2000