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.

• Introduction and process Chapter 1 and 2
• VDMTools and Logic Chapter 3 + extra material about logic
• Defining Data and Functionality Chapter 4 and 5
• Modelling unordered collections Chapter 6
• Modelling ordered collections Chapter 7
• Modelling relationships Chapter 8
• Introduction and the connection between UML and VDM++ Chapter 9 and 10
• Concurrency Chapter 12
• Real-time Development in VDM++ Seperate guidelines for the newest VICE extensions to VDMTools.
• Model quality Chapter 13

-- PeterGormLarsen - 06 Jul 2007