Next: Easter Term 1998: Part
Up: Lent Term 1998: Part
Previous: Software Engineering I (50
Lecturer: Dr L.C. Paulson
(lcp@cl.cam.ac.uk)
No. of lectures: 6
- Formal methods.
-
Overview of formal methods: specification languages, case studies,
research directions.
- Program verification.
-
Simple examples of program verification, using induction.
- Z specification language.
-
Introduction to the Z specification language. Spivey's Birthday Book
example.
- Other material.
-
To be announced.
Recommended book:
Paulson, L.C. (1996). ML for the Working Programmer. Cambridge
University Press (2nd ed.).
A possible reference work (not for purchase, and only should I cover this
material) is
Abrial, J-R. (1996). The B-Book: Assigning Programs to Meanings.
Cambridge University Press.
Christine Northeast
Sat Sep 27 09:31:14 BST 1997