Teaching Material for "Validated Designs for Object-oriented Systems"
We have prepared a set of slides (Microsoft Powerpoint) that can be used for teaching VDM++. Each file corresponds roughly to a one hour lecture. The course material uses the examples from 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. All the examples from the book and the course are available on-line.