EditAttachPrintable
r2 - 22 Aug 2006 - 21:11:20 - PeterGormLarsenYou are here: VdmBook >  Main Web  > CourseMaterial
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!

-- PeterGormLarsen - 22 Aug 2006

toggleopenShow attachmentstogglecloseHide attachments
Topic attachments
I Attachment Action Size Date Who Comment
pptppt 01_introduction_and_process.ppt manage 1001.5 K 22 Aug 2006 - 21:01 PeterGormLarsen Introduction and process
pptppt 02_VDMTools_and_Logic.ppt manage 741.0 K 22 Aug 2006 - 21:04 PeterGormLarsen VDMTools and Logic
pptppt 03_Defining_Data_and_Functionality.ppt manage 360.5 K 22 Aug 2006 - 21:05 PeterGormLarsen Defining data and functionality
pptppt 04_Modelling_unordered_collections.ppt manage 516.5 K 22 Aug 2006 - 21:07 PeterGormLarsen Modelling unordered collections
pptppt 05_Modelling_ordered_collections.ppt manage 733.5 K 22 Aug 2006 - 21:09 PeterGormLarsen Modelling ordered collections
pptppt 06_Modelling_relationships.ppt manage 415.5 K 22 Aug 2006 - 21:11 PeterGormLarsen Modelling relationships
Edit | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r2 < r1 | More topic actions
 
Vorsprung Durch Mathematik
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding VdmBook? Send feedback