Skip to main content
SpringerLink
Log in
Book cover

VDM '88. VDM - The Way Ahead

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

  • Conference proceedings
  • © 1988

Overview

Editors:
  1. Robin E. Bloomfield
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Lynn S. Marshall
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Roger B. Jones
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 328)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 papers)

  1. Front Matter

    Download chapter PDF

  2. Computing is a physical science

    • Donald I. Good
    Pages 1-1

  3. Structuring for the VDM specification language

    • Stephen Bear
    Pages 2-25

  4. Correctness for beginners

    • Maurice Naftalin
    Pages 26-47

  5. Understanding an informal description: Office documents architecture, an ISO standard

    • Andrzej Borzyszkowski, Stefan Sokolowski
    Pages 48-63

  6. Towards a formal definition of GKS and other graphics standards

    • Clive Ruggles
    Pages 64-73

  7. Report from the BSI panel for the standardisation of VDM (IST/5/50)

    • D. Andrews
    Pages 74-78

  8. Formal methods in standards—A report from the BCS working group

    • Clive Ruggles
    Pages 79-85

  9. The B tool (Abstract)

    • J. R. Abrial
    Pages 86-87

  10. Specification of an operating system kernel forest and VDM compared

    • S. J. Goldsack
    Pages 88-100

  11. Compiler prototyping with VDM and standard ML

    • R. D. Arthan
    Pages 101-115

  12. VDM development with Ada as the target language

    • David O'Neill
    Pages 116-123

  13. NUSL: An executable specification language based on data abstraction

    • XinJie Jiang, YongSen Xu
    Pages 124-138

  14. A support system for formal reasoning: Requirements and status

    • C. B. Jones, P. A. Lindsay
    Pages 139-152

  15. The use of VDM within the Alvey Flagship project

    • Graham Boddy
    Pages 153-166

  16. The formal definition of modula-2 and its associated interpreter

    • D. J. Andrews, A. Garg, S. P. A. Lau, J. R. Pitchers
    Pages 167-177

  17. Test case selection using VDM

    • G. T. Scullard
    Pages 178-186

  18. The VIP VDM Specification Language

    • Kees Middelburg
    Pages 187-201

  19. Sample — A functional language

    • M. Jäger, M. Gloger, S. Kaes
    Pages 202-217

  20. A three-valued logic for software specification and validation

    • Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle
    Pages 218-242
Back to top

Keywords

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.

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

  • DOI: https://doi.org/10.1007/3-540-50214-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1988

  • Softcover ISBN: 978-3-540-50214-2Published: 30 August 1988

  • eBook ISBN: 978-3-540-45955-2Published: 30 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 504

  • Topics: Software Engineering/Programming and Operating Systems, Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation