 | |
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++.
SubmissionsSubmissions
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 J.C.Bicarregui@rl.ac.uk
Workshop Web
SiteThe
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 | |
![[previous]](../img/prev.gif){kind=small}
![[up]](../img/up.gif){kind=small}
![[next]](../img/next.gif){kind=small}
