Model driven development using VDM++ and UML 1
Q3, Spring 2010
Computer Technology and Embedded Systems
Engineering College of Aarhus

Home ·
The Course ·
Week for week·
Groups and projects ·



        John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat and Marcel Verhoef:

Springer Verlag, 2005, ISBN 1-85233-881-4.

Software tools to be used

Eclipse-based Overture VDM tool (available both in windows, Mac and Linux)
Enterprise architect trial version
 (a fall back in case problems appear with Overture: VDMTools for windows, (Mac or Linux))
(also fall back IBM Rational Rose Enterprice Edition for windows and installation guideline)


Introduction and development process.ppt Introduction and development process.pdf

Real time development process, ASTs and logic.ppt

Real time development process, ASTs and logic.pdf
Defining data and functionality Defining data and functionality
Modeling using unordered collections Modelling using unordered collections.pdf
Modeling using ordered collections Modelling using oredered collections.pdf
Modeling relationships Modelling relationships.pdf

VDMTools Documentation

Tutorial to Overture/VDM++
Tutorial: VDM Tool Introduction: VDMTools, Rational Rose and Eclipse plug-ins
Quick Overview of VDM Operators

VDM++ Language Reference Manual

Updated March 3rd 2010
Peter Gorm Larsen (
Viewable with Any Browser Valid HTML 4.01!