Main Web We have prepared a set of slides (Microsoft Powerpoint) that can be used for teaching VDM++, currently covering chapter 1 to 8 of the book. 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. All the examples from the book and the course are available on-line. If you have feedback on the provided material (questions, improvements). Feel free to add more material here!
- 01_introduction_and_process.ppt: Introduction and process
- 02_VDMTools_and_Logic.ppt: VDMTools and Logic
- 03_Defining_Data_and_Functionality.ppt: Defining data and functionality
- 04_Modelling_unordered_collections.ppt: Modelling unordered collections
- 05_Modelling_ordered_collections.ppt: Modelling ordered collections
- 06_Modelling_relationships.ppt: Modelling relationships
Log In
Main Web
Users
Groups
Index
Search
Changes
Notifications
Statistics
Preferences
Main |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding VdmBook? Send feedback