2nd November 2009, Eindhoven
The proceedings of the workshop are available as a technical report from Newcastle University.
This workshop was sponsored by:
09:00 - 09:10: Opening. Jeremy Bryans
09:10 - 10:00: The new generation of FeliCa chip development Taro Kurita (Invited Speaker)
10:00 - 11:00: Coffee break
11:00 - 11:30: Overture IDE. Christian Thillemann
11:30 - 12:00: Overview of Overture Tools. Kenneth Lausdahl
12:00 - 14:00: Lunch
14:00 - 14:30: Overture proof support. Miguel Ferreira
14:30 - 15:00: Challenges in Inheriting Test Cases Configurations from BDM to Implementation. Fuyuki Ishikawa and Yumiko Murakami
15:00 - 15:30 Moving Overture to DESTECS. Marcel Verhoef
15:30 - 16:00: Coffee break
16:00 - 16:30: How Top-Level Software Engineers Learn and Investigate VDM: Experiences in the Top SE Project. Fuyuki Ishikawa, Kenji Taguchi, and Shinichi Honiden
16:30 - 17:00: Formalising Concurrent and Distributed Design Patterns with VDM. Sune Wolff
17:00 - 17:30: Closing. Peter Gorm Larsen
The Vienna Development Method (VDM, http://www.vdmportal.org) is a well established formal method supported by industry strength tools (VDMTools). It has a strong record of use as a modeling technique in commercial applications and as a basis for pioneering research in model-oriented specification. New insights in tool support, the use of new technologies promoting interoperability and the potential benefits of open source approaches all provide strong incentives for developing next generation tools based on a more open architecture. These issues are being explored in the Overture Group (https://www.overturetool.org).
After six successful workshops in Canada, the UK, Finland and Portugal in 2005-2008, we plan to organize the sixth Overture Workshop at FM’09 (http://www.win.tue.nl/fm2009/) on 2 November 2009. The purpose of the workshop is to foster an active community of researchers and practitioners working with VDM in both academia and industry.
The VDM and Overture community aims to be open, supportive and welcoming of new ideas and approaches. We invite contributions in the form of papers on any subject relating to the foundations, tool support or applications of VDM or related formalisms. Potential topics for contributions include, but are certainly not restricted to:
Papers should be sent to the organizers in PDF format (maximum 10 pages, prepared in LaTeX with LNCS style) before July 13th 2009. Notification of acceptance will be on August 10th 2009. Papers will be reviewed and accepted contributions will be published as a Newcastle University (UK) Technical Report at the conference, so camera ready copies will be required on September 7th 2009.
Papers and presentations will also be published on-line here. A PDF of your presentation is to be made available to the organizers at the workshop. At least one of the authors of each accepted paper is required to be present at the workshop.
Peter Gorm Larsen, Engineering College of Aarhus, Denmark firstname.lastname@example.org
Jeremy Bryans, Newcastle University, UK Jeremy.Bryans@newcastle.ac.uk http://homepages.cs.ncl.ac.uk/jeremy.bryans/
|Image:Quick-fix.JPG||Quick fix Image:Seventh workshop|