the VDM Workshops at FM'99 in
and ZB 2000 in York,
third workshop is to be held in conjunction with FME 2002 in Copenhagen on 20-21 July
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
has been standardised by ISO and enjoys industrial-strength tool support.
Extensions handling object-orientation (VDM++), concurrency and real-time are
increasing use. Alongside extensive industrial application, VDM is exploited
research on modelling, proof, and refinement.
VDM workshops provide a forum for exchange of information on the
development of VDM, VDM++, tools and applications in all areas. We welcome
papers or reports of work in progress concerning VDM and VDM++.
of 10-20 pages will be reviewed for quality and
relevance and informal proceedings will be available at the workshop and on
web. There are at present no plans to publish formal proceedings of the
Email submissions to J.C.Bicarregui@rl.ac.uk
workshop web site
be regularly updated with details of the event.
- Josť N. Oliveira, U Minho,
the design of a "periodic table" of VDM specifications
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
tutorial on VDM++