🚀 go-pugleaf

                               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.
----------------------------------------------------------------------------