Skip to main content
SpringerLink
Log in

VDM '87. VDM - A Formal Method at Work

VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

  • Conference proceedings
  • © 1987

Overview

Editors:
  1. Dines Bjørner
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Cliff B. Jones
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Mícheál Mac an Airchinnigh
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Erich J. Neuhold
    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 252)

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 (22 papers)

  1. Front Matter

    Download chapter PDF

  2. VDM: Origins, hopes, and achievements

    • Peter Lucas
    Pages 1-18

  3. Experience using VDM in STC

    • R. J. Crispin
    Pages 19-32

  4. VDM in three generations of Ada formal descriptions

    • Jan Storbank Pedersen
    Pages 33-48

  5. Experience with VDM in NORSK DATA

    • Uwe Schmidt, Reinhard Völler
    Pages 49-62

  6. Using VDM in an Object-Oriented development method for Ada software

    • Chris Chedgey, Seamus Kearney, Hans-Jürgen Kugler
    Pages 63-76

  7. The stepwise development of software development graphs — Meta-programming VDM developments

    • Dines Bjørner
    Pages 77-96

  8. Heap storage specification and development

    • Chris George
    Pages 97-105

  9. VDM as a specification method for telecommunications software

    • Thomas Letschert
    Pages 106-109

  10. Support environments for VDM

    • Kevin D. Jones
    Pages 110-117

  11. Development and application of a META IV compiler

    • Manfred Haß
    Pages 118-140

  12. From VDM to RAISE

    • Søren Prehn
    Pages 141-150

  13. Denotational engineering or from denotations to syntax

    • Andrzej Blikle
    Pages 151-209

  14. A type model for VDM

    • B. Q. Monahan
    Pages 210-236

  15. A formal description of object-oriented programming using VDM

    • Cydney Minkowitz, Peter Henderson
    Pages 237-259

  16. VDM proof obligations and their justification

    • C. B. Jones
    Pages 260-286

  17. Mathematical structures and their morphisms in Meta-IV

    • Mícheál Mac an Airchinnigh
    Pages 287-320

  18. Objectives of the British Standardisation of a language to support the Vienna development method

    • D. Sen
    Pages 321-323

  19. Use of VDM within CCITT

    • Peter Haff, Anders Olsen
    Pages 324-330

  20. A formal semantics for a DataFlow Machine — Using VDM

    • Kevin D. Jones
    Pages 331-355
Back to top

Keywords

Bibliographic Information

  • Book Title: VDM '87. VDM - A Formal Method at Work

  • Book Subtitle: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

  • Editors: Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold

  • Series Title: Lecture Notes in Computer Science

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1987

  • Softcover ISBN: 978-3-540-17654-1Published: 11 March 1987

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

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XI, 422

  • Topics: Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation