Lecture Notes in Computer Science

VDM '88. VDM - The Way Ahead

2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings

Editors: Bloomfield, Robin E., Marshall, Lynn S., Jones, Roger B. (Eds.)

Free Preview

Buy this book

eBook n/a
  • ISBN 978-3-540-45955-2
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-540-50214-2
  • Free shipping for individuals worldwide
About this book

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.

Table of contents (29 chapters)

Table of contents (29 chapters)
  • Computing is a physical science

    Good, Donald I.

    Pages 1-1

  • Structuring for the VDM specification language

    Bear, Stephen

    Pages 2-25

  • Correctness for beginners

    Naftalin, Maurice

    Pages 26-47

  • Understanding an informal description: Office documents architecture, an ISO standard

    Borzyszkowski, Andrzej (et al.)

    Pages 48-63

  • Towards a formal definition of GKS and other graphics standards

    Ruggles, Clive

    Pages 64-73

Buy this book

eBook n/a
  • ISBN 978-3-540-45955-2
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-540-50214-2
  • Free shipping for individuals worldwide
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
VDM '88. VDM - The Way Ahead
Book Subtitle
2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings
Editors
  • Robin E. Bloomfield
  • Lynn S. Marshall
  • Roger B. Jones
Series Title
Lecture Notes in Computer Science
Series Volume
328
Copyright
1988
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45955-2
DOI
10.1007/3-540-50214-9
Softcover ISBN
978-3-540-50214-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 504
Topics