Teaching Material for "Modelling Systems"

We have prepared a set of slides (Microsoft Powerpoint) that can be used for teaching VDM, based on the first edition of the book. It is encouraged to combine the lectures with practical exercises (home work assignments) using VDMTools Lite which can be downloaded for free from www.vdmtools.jp/en. A 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.

• Introduction Chapter 1
• Constructing a Model Chapter 2
• Describing System Properties Using Logical Expressions Chapter 4
• The Elements of a Formal Model Chapter 5
• Sets Chapter 6
• Sequences Chapter 7
• Mappings Chapter 8
• Recursive Structures Chapter 9
• Validating Models Chapter 10

-- JohnFitzgerald - 04 Jun 2009