VDM 2002

VDM Meeting
Copenhagen, Denmark, July 20-21, 2002
Affiliated with FME 2002


Following the VDM Workshops at FM'99 in Toulouse and ZB 2000 in York, a third workshop is to be held in conjunction with FME 2002 in Copenhagen on 20-21 July 2002.

VDM, the Vienna Development Method, is one of the most mature and widely applied model-oriented formal methods and has many features in common with Z and B. Its specification language has been standardised by ISO and enjoys industrial-strength tool support. Extensions handling object-orientation (VDM++), concurrency and real-time are in increasing use. Alongside extensive industrial application, VDM is exploited in research on modelling, proof, and refinement.

The VDM workshops provide a forum for exchange of information on the development of VDM, VDM++, tools and applications in all areas. We welcome full papers or reports of work in progress concerning VDM and VDM++.

Submissions

Submissions of 10-20 pages will be reviewed for quality and relevance and informal proceedings will be available at the workshop and on the web. There are at present no plans to publish formal proceedings of the workshop.

Email submissions to

Workshop Web Site

The workshop web site will be regularly updated with details of the event.

Invited speaker

  • Josť N. Oliveira, U Minho, Portugal
    On the design of a "periodic table" of VDM specifications

Invited tutorial

  • John Fitzgerald, Transitive Technologies Ltd, UK; Peter Gorm Larsen, Systematic Software Engineering, Denmark; Paul Mukherjee, Systematic Software Engineering, Denmark; and Nico Plat, West Consulting, The Netherlands
    Half-day tutorial on VDM++

Organizers

† † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † † †