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 ·
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.
04.03 (8:00 - 16:15) Lecture: Modeling using ordered collections (chapter
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)
Note that the form for the course evaluation must be returned this week by all students and an indication of subjects for repetition.
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 (email@example.com)