Teaching material for "Modelling Systems: Practical Tools and Techniques in Software Development"
This page contains slides used to teach material based on Fitzgerald and Larsen's book.
A new Japanese translation has been developed by Takahiko Ogino of the Railway Technical Research Institute, Tokyo, Japan. We are very grateful to Mr. Ogino and his colleagues for their work in completing the translation.
Teachers are welcome to download and review the material available here. Any use of this material must include acknowledgement of the authors.
In addition there are slides for explaining the satisfiability proof obligations for implicitly defined functions/operations
and for statebased modelling
. Finally a small tutorial for introducing newcommers to VDMTools is available
Validation Course (New - July 2000) This course was developed for use at the Technical University of Wroclaw in Poland during 2000 as part of a Socrates Teaching Staff Mobility sponsored by the European Union. Validation Course (62 slides)
Zipped Powerpoint 97 Zipped PDF Zipped Postscript
Please let us know of your experiences using this material. If you develop teaching materials of youre own, then why not contribute some notes, slides or just teaching experiences of your own on this wiki? All contributions are acknowledged.
The slides serve as lecture notes as well as OHP transparencies. At Newcastle, students have printed copies of the slides which they annotate during the lectures. As a result, some slides are "busier" than I might like. Most slides have some blank space in which an annotation is written by the lecturer. This is especially useful when presenting relatively intricate formulae, as it tends to slow the lecturer. The use of an OHP also helps to reduce the problem of talking away from the students.
- 16 Oct 2006