cliff@cs.man.ac.uk (Cliff Jones) (11/21/90)
Call for Papers
VDM '91
Formal Software Development Methods
Noordwijkerhout, The Netherlands
October 21-25, 1991
This symposium is the fourth in a series addressing model-oriented
approaches to formal software specification and development. The first
three symposia concentrated on specification and design notation and
techniques, featuring approaches such as VDM and Z.
The fourth symposium, VDM '91, will concentrate on formal *development*.
It will be organised as two days of tutorials and three days of conference,
with two parallel tracks throughout: one dedicated to practice, and one
dedicated to theory. The symposium will also include tools demonstrations.
After many years of research into and application of model-oriented
methods like VDM, Z, RAISE and B, the time is now ripe to record facets
of development in more detail, as well as the role of formal development
methods in the larger context of problem domain modelling, software
engineering, tool development and management. One can identify a spectrum
of formality offered or required by various methods, as well as a set of
paradigms and principles, such as invent-and-verify, transformation, and
design-calculi.
On this basis, papers (to be fully refereed) are welcomed in the following
and related areas:
- stepwise development of architectural requirements
- stepwise development of software designs
- development by transformation
- data reification
- rigorous justification
- proof of correctness
- recording of validation and verification conditions
- links between formal development and pragmatic aspects of software
engineering (such as requirements tracing, version control, configuration
management, change request control, test case generation and validation)
- principles of support tools
Also, project reports , recording industrial experience and ongoing tool
development and research are welcomed.
Important dates: Program Committee
Submission deadline: Patrick Behm (France)
March 1, 1991 Andrzej Blikle (Poland)
Hans Langmaack (Germany)
Notification of acceptance: Peter Lucas (U.S.A.)
June 17, 1991 Soeren Prehn (chairman) (Denmark)
Hans Toetenel (The Netherlands)
Camera ready papers due: Jim Woodcock (U.K.)
August 16, 1991
Please direct all mail and inquiries to: Hans Toetenel, Delft University
of Technology, Faculty of Technical Mathematics and Informatics, PO Box 356,
NL-2600 AJ Delft, The Netherlands; E-mail: toet@dutiab.tudelft.nl.
----------------------------------------------------------------------------