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 ·

Week for week

The lectures take place at the Engineering College of Aarhus every week on Thursdays from 8:00  to 16:15 in room 316 or at least a part of this time.

Week 5 (course week 1):

04.02 (8:00 - 16:15) Lecture: Introduction and development process (chapter 1+2)
Establishment of groups and selection of a project to work on for each group
Please bring a laptop that we can install software onto and then use throughout the course!
Walk through and play with Overture on top of Eclipse on small examples.

Week 6 (course week 2):

11.02 (8:00 - 16:15)  Lecture: System/environment concepts, abstract syntax trees and logic (chapter 3)
Presentations by all groups about the assignments chosen and the purpose of the model.

Week 7 (course week 3):

18.02 (8:00 - 16:15)  Lecture: Defining data and functionality (chapter 4+5)
Presentations from all groups with focus on completed class diagrams and signatures for operations of the chosen projects

Week 8 (course week 4):

25.02 (8:00 - 16:15)  Lecture: Modeling using unordered collections (chapter 6)

Week 9 (course week 5):

04.03 (8:00 - 16:15)  Lecture: Modeling using ordered collections (chapter 7).
Presentations from all groups with focus on their first draft combined VDM++/UML model of the chosen projects and their validation

(14:00 - 15:00) Guest lecture by Marcel Verhoef (Predicable Development of Reliable Embedded Systems)

Week 10 (course week 6):

11.03 (8:00 - 16:15) Lecture: Modeling using relationships (chapter 8) + Presentations from all groups with the final model of the chosen projects (or test exam presentations)

Note that the form for the course evaluation must be returned this week by all students and an indication of subjects for repetition.

Week 11 (course week 7):

18.03 (8:00 - 16:15) Evaluation by students of insight gained by using the model-driven approach combining VDM++ and UML + repetition and course evaluation results.

Hand in of project report (two hard copies with full models in appendices).

Test exam and opportunities for all of you to ask questions.

Week 12 or 13


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