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
  17. Morten Elvang-Gøransson
    Pages 343-355
  18. R. D. Arthan
    Pages 356-370
  19. Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink
    Pages 389-405
  20. H. B. M. Jonkers
    Pages 428-456
  21. Paul Smith, Richard Keighley
    Pages 457-476
  22. Gerard R. Renardel de Lavalette
    Pages 477-495
  23. Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel
    Pages 496-510
  24. G. I. Parkin, G. O'Neill
    Pages 526-544
  25. Jeannette M. Wing, Amy Moormann Zaremski
    Pages 545-569
  26. Stephen Bear
    Pages 571-587
  27. D. Kinnaes, K. De Vlaminck
    Pages 597-603
  28. Peter Gorm Larsen, Poul Bøgh Lassen
    Pages 604-618
  29. Lynn S. Marshall, Linda Simon
    Pages 619-628
  30. The LaCoS Consultants Group, D. L. Chalmers, B. Dandanell, J. Gørtz, J. S. Pedersen, E. Zierau
    Pages 645-657
  31. P. McParland, P. Kilpatrick
    Pages 658-667
  32. Berthold Hoffmann, Bernd Krieg-Brückner
    Pages 668-669
  33. Jeremy Dick, Jérôme Loubersac
    Pages 670-671
  34. Richard Moore, Peter Froome, Adelard
    Pages 672-674
  35. Uwe Schmidt, Hans-Martin Hörcher
    Pages 675-676
  36. Nico Plat, Kees Pronk, Marcel Verhoef
    Pages 677-680
  37. Heping H., H. Zedan
    Pages 681-682
  38. K. M. van Hee, L. J. Somers, M. Voorhoeve
    Pages 683-684
  39. David Jordan
    Pages 685-686
  40. Chris Dollin
    Pages 687-688

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment