Model-drevet udvikling med VDM++ og UML 1 (TIVDM1)

Model driven development using VDM++ and UML 1
Q3, Spring 2010
Computer Technology and Embedded Systems
Engineering College of Aarhus

Home ·
Material·
The Course ·
Week for week·
Groups and projects ·
Contact

Material

John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat and Marcel Verhoef:

Springer Verlag, 2005, ISBN 1-85233-881-4.

	Eclipse-based Overture VDM tool (available both in windows, Mac and Linux)
	Enterprise architect trial version
	(a fall back in case problems appear with Overture: VDMTools for windows, (Mac or Linux))
	(also fall back IBM Rational Rose Enterprice Edition for windows and installation guideline)

Introduction and development process.ppt	Introduction and development process.pdf
Real time development process, ASTs and logic.ppt	Real time development process, ASTs and logic.pdf
Defining data and functionality	Defining data and functionality
Modeling using unordered collections	Modelling using unordered collections.pdf
Modeling using ordered collections	Modelling using oredered collections.pdf
Modeling relationships	Modelling relationships.pdf

Updated March 3rd 2010
Peter Gorm Larsen (pgl@iha.dk)