Table of contents

  1. Front Matter
  2. Donald I. Good
    Pages 1-1
  3. Maurice Naftalin
    Pages 26-47
  4. J. R. Abrial
    Pages 86-87
  5. C. B. Jones, P. A. Lindsay
    Pages 139-152
  6. D. J. Andrews, A. Garg, S. P. A. Lau, J. R. Pitchers
    Pages 167-177
  7. G. T. Scullard
    Pages 178-186
  8. Kees Middelburg
    Pages 187-201
  9. M. Jäger, M. Gloger, S. Kaes
    Pages 202-217
  10. Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle
    Pages 218-242
  11. Andrzej Borzyszkowski, Ryszard Kubiak, Stefan Sokołowski
    Pages 267-298
  12. Anne Elisabeth Haxthausen
    Pages 299-317
  13. Robert Milne
    Pages 318-336
  14. Mogens Nielsen, Klaus Havelund, Kim Ritter Wagner, Chris George
    Pages 376-405
  15. J. C. P. Woodcock, B. Dickinson
    Pages 434-458
  16. P. Kilpatrick, P. McParland
    Pages 459-475
  17. Ghee S. Teo, Mícheál Mac an Airchinnigh
    Pages 476-499

About these proceedings


This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering. It is being applied to an increasing number of projects by companies throughout Europe and there is an active international research programme supporting this process. "VDM - The Way Ahead" is the second of a series of symposia sponsored by the Commission of the European Communities (CEC) and organised by VDM-Europe. The term "formal method" refers to mathematically formal software specification and production methods. These methods aim to increase the quality of software in two related ways: by improving the specification and by making verification during the software production process more effective and easier to audit. The symposium proceedings focus on five areas of interest: education and technology transfer, experience and use of VDM, tools and support environments, method development and foundation at work, the standardisation of VDM. The proceedings are of interest to all those concerned with the application of more rigorous approaches to software development and the associated theoretical foundations.


Ada Software Engineering design operating system testing validation verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1988
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-50214-2
  • Online ISBN 978-3-540-45955-2
  • 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