The 1st Overture Workshop

Date and Location

First Overture Workshop, 18 July 2005, Newcastle University, UK

Description

The following papers and presentations are as supplied by their authors. They have not been subject to peer review. If you have an queries about externally published materials based on these papers, please contact the authors directly.

The draft papers from the workshop were released as a Newcastle Computing Science Technical Report:

Fitzgerald, J. S., Larsen, P. G., Plat, N. (eds.), Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005, Technical Report CS-TR 969, School of Computing Science, Newcastle University, Jun 2006. Full Text PDF

Agenda

Workshop programme

Presentations

• 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. [[1/1stOW3 slides.pdf|Slides].
• On The Use of VDM++ for Specifying Real-time Systems. Marcel Verhoef. Slides.
• Camila Revival: VDM meets Haskell. Joost Visser, J. N. Oliveira, L. S. Barbosa, J. F. Ferreira and A. Mendes. 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.

Outcomes

Results from the brainstorm session.

Pictures

Image:IMG_0463.JPG Image:IMG_0464.JPG Image:IMG_0465.JPG Image:IMG_0466.JPG Image:IMG_0468.JPG Image:IMG_0469.JPG Image:IMG_0470.JPG Image:IMG_0471.JPG Image:IMG_0472.JPG Image:IMG_0473.JPG Image:IMG_0474.JPG Image:IMG_0475.JPG Image:IMG_0476.JPG Image:IMG_0477.JPG Image:IMG_0480.JPG Image:IMG_0481.JPG Image:IMG_0482.JPG Image:IMG_0483.JPG Image:IMG_0484.JPG Image:IMG_0485.JPG Image:IMG_0486.JPG Image:IMG_0487.JPG Image:IMG_0489.JPG Image:IMG_0490.JPG Image:IMG_0491.JPG Image:IMG_0493.JPG Image:IMG_0495.JPG Image:IMG_0496.JPG Image:IMG_0497.JPG Image:IMG_0498.JPG Image:IMG_0499.JPG Image:IMG_0501.JPG Image:IMG_0502.JPG Image:IMG_0503.JPG Image:IMG_0504.JPG Image:IMG_0505.JPG Image:IMG_0506.JPG Image:IMG_0508.JPG Image:IMG_0509.JPG Image:IMG_0510.JPG Image:IMG_0511.JPG Image:IMG_0512.JPG Image:IMG_0513.JPG Image:IMG_0514.JPG Image:IMG_0515.JPG