Model driven development using VDM++ and UML 1
Q3, Spring 2010
Computer Technology and Embedded Systems
Engineering College of Aarhus
The Course ·
Week for week ·
Groups and projects ·
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 (email@example.com)