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 ·
Contact ·

Home page


These pages contain information on the course "Model driven development using VDM++ and UML 1" (with the acronym TIVDM1) that will be held in the third quarter Spring 2010 at the Engineering College of Aarhus in collaboration with the Department of Computer Science at Aarhus University. This will be followed up by a course called "Model driven development using VDM++ and UML 2" (with the acronym TIVDM2) held in the fourth quarter Spring 2010.

VDM is an acronym for the Vienna Development Method which is a method used to describe precisely what the functionality shall be like before it is considered how is shall be implemented. VDM++ is an object-oriented modeling language that is used to make precise models that can be validated for their correctness. During the TIVDM courses the students will be modeling and validating different systems using models expressed in a combination of UML and VDM++ at different levels of abstraction.

You can navigate between the different web pages using the links in the top most right-hand-side corner. 

Updated January 8th 2010
Peter Gorm Larsen (
Viewable with Any Browser Valid HTML 4.01!