Table of contents

  1. Front Matter
  2. Michael Jackson
    Pages 1-8
  3. Robin Milner
    Pages 9-9
  4. John V. Guttag
    Pages 10-10
  5. David A. Penny, Richard C. Holt, Michael W. Godfrey
    Pages 11-30
  6. David Garlan, David Notkin
    Pages 31-44
  7. Flemming Damm, Bo Stig Hansen, Hans Bruun
    Pages 45-62
  8. Nico Plat, Jan van Katwijk, Kees Pronk
    Pages 81-105
  9. David M. Goldschlag
    Pages 125-148
  10. Stephan Rössig, Michael Schenke
    Pages 149-163
  11. Veronika Doma, Robin Nicholl
    Pages 189-203
  12. K. M. van Hee, L. J. Somers, M. Voorhoeve
    Pages 204-219
  13. Hans Bruun, Bo Stig Hansen, Flemming Damm
    Pages 220-253
  14. Michael J. Butler
    Pages 254-267
  15. Marek A. Bednarczyk, Andrzej M. Borzyszkowski
    Pages 268-278
  16. C. A. Middelburg, G. R. Renardel de Lavalette
    Pages 279-308

Other volumes

  1. VDM'91 Formal Software Development Methods
    4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 1991 Proceedings
  2. 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings

About these proceedings


The proceedings of the fourth Vienna Development Method Symposium, VDM'91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 1990 (LNCS 428). The VDM symposia have been organized by VDM Europe, formed in 1985 as an advisory board sponsored by the Commission of the European Communities. The VDM Europe working group consisted of researchers, software engineers, and programmers, allinterested in promoting the industrial usage of formal methods for software development. The fourth VDM symposium presented not only VDM but also a large number of other methods for formal software development. Volume 1 contains conference contributions. It has four parts: contributions of invited speakers, papers, project reports, and tools demonstration abstracts. The emphasis is on methods and calculi for development, verification and verification tools support, experiences from doing developments, and the associated theoretical problems. Volume 2 contains four introductory tutorials (on LARCH, Refinement Calculus, VDM, and RAISE) and four advanced tutorials (on ABEL, PROSPECTRA, The B Method, and The Stack). They present a comprehensive account of the state of theart.


Bedeutung von Programmen Formale Methoden Program Verification Programm Verifikatiuon Reasoning about Programs Software Development Software Entwicklung Software Specification Software-SpecifiKation Vienna Development Method formal method verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-54834-8
  • Online ISBN 978-3-540-46449-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Energy, Utilities & Environment