Documents

This page contains the draft papers circulated at the events mentioned. They have not been refereed (only a mild peer inspection was performed). The proceedings have not been published with an ISBN, unless indicated otherwise. Please contact the respective authors directly with questions about any published materials with academic standing based on the workshop materials shown here.

Second Overture Workshop

Was held on 21 August 2006 at FM'06, McMaster, Hamilton, Canada. Have a look at the photos.

	Modeling and Validating Distributed Embedded Real-Time Systems in VDM++. Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman. (FM'06 academic symposium paper). Slides.
	Workshop programme. John S. Fitzgerald, Centre for Software Reliability (UK)
	Separation of Context Concerns - Applying Aspect Orientation to VDM. Naoyasu Ubayashi (Kyushu Institute of Technology, JP) and Shin Nakajima (National Institute of Informatics, JP). Slides.
	Overture status and improvements. Peter Gorm Larsen (Engineering College Aarhus, DK) and Marcel Verhoef (CHESS, NL).
	Methods, Tools and Applications: VDM-related work at Newcastle. John S. Fitzgerald, Centre for Software Reliability (UK)
	Extending VDMTools with Continuous Time Simulation. Marcel Verhoef (CHESS, NL), Peter Visser (Twente University, NL)
	Current status of VDMTools. Shin Sahara, CSK Systems, Japan.

First Overture Workshop

Was held on 18 July 2005 at FM'05, Newcastle University, Newcastle Upon Tyne, UK. The papers are also published as a technical report. Have a look at the photos.

	Workshop programme.
	Introduction to Overture. Peter Gorm Larsen and Nico Plat. Slides
	Update on VDMTools. Shin Sahara.
	Designing a Flexible Kernel providing VDM++ Support for Eclipse. Jacob Porsborg Nielsen and Jens Kielsgaard Hansen. Slides.
	Grammar-centered Development of VDM Support. Tiago Alves and Joost Visser. Slides.
	On The Use of VDM++ for Specifying Real-time Systems. Marcel Verhoef. Slides.
	Camila Revival: VDM meets Haskell. Joost Visser, Jose Nuno Oliviera et al. Slides.
	On the Value of Fault Injection on the Modeling Level. Bernhard K. Aichernig. Slides.
	VDM++ versus Programming Language Extensions. Alexander Koptelov and Alexander Petrenko. Slides.
	Results from the brainstorm session.

Other Documents (student work)

	Development of an Overture/VDM++ Tool Set for Eclipse. Jacob Porsborg Nielsen, Jens Kielsgaard Hansen. MSc thesis. Technical University of Denmark, Informatics and Mathematical Modelling department. September 2005.
	Adding Syntax Error Repair to a Java-based Parser Generator. P. van der Spek, N. Plat and C. Pronk. ACM SIGPLAN Notices, 40(4):47-50. April 2005
	The Overture Project: Designing an open source tool set. Pieter van der Spek. MSc thesis. Department of Computer Science, Delft University of Technology. 2004.
	The Overture Project: Towards an open source tool set. Pieter van der Spek. Research thesis. Department of Computer Science, Delft University of Technology. 2004.