Model driven development using VDM++ and UML 1
Q3, Spring 2010
Computer Technology and Embedded Systems
Engineering College of Aarhus
Week for week
Groups and projects ·
The aim of the course is that the students learn the basic principles and practice for object oriented development using models creates in a combination of UML and VDM++. This will in particular increase the understanding of the different levels of abstractions that can be used when modelling a realistic system.
The participants must at the end of the course be able to:
This course contains:
All subjects will be introduced by means of examples inspired from industrial usage.
In order to evaluate the value of the course and the performance of the lecturer an evaluation of the course will be performed in the last week. At the lecture in the 6th week all students must therefore fill in this form.
This will be an oral examination Wednesday the 24th of March 2010 in week 12 where the project that the student have worked on will be taken as a starting point. Then it will be examined to what extend the student is able to master the different concepts from VDM++. It will be with an external examiner and it will be graded after the standard 7 point scale. The order in which the students will be examined can be found here.
The project must be documented in the form of a report that should be handed in by every group at the latest on the 18th of March at the last lecture should as a minimum contain the following items:
Two hard-copies of the report should be handed in for the teacher and the external examiner. Each report will be read by both the teacher and the external examiner prior to the oral exam, but as such no grade will be given for the report. However, it will provide insight for the teacher and the external examiner about what grade level we shall search for in the questioning during the oral examination. Since both the teacher and the external examiner can be expected to have read all the reports prior to the exam it will be possible for the students to refer to parts of the report during their presentation. The expected amount of energy put into the report is approximately half of the time spent on the course as a whole.
In the evaluation of the reports the following aspects will be considered:
Curriculum: John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat and
Marcel Verhoef: Springer Verlag, 2005. Chapter 1 to 9.
Springer Verlag, 2005. Chapter 1 to 9.
Updated March 15th 2010
Peter Gorm Larsen (firstname.lastname@example.org)