Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1987

VDM '87. VDM - A Formal Method at Work

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

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)

Sections

Buy it now

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

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

Table of contents (22 papers)

  1. Front Matter

    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

  8. Heap storage specification and development

    • Chris George
    Pages 97-105

  10. Support environments for VDM

    • Kevin D. Jones
    Pages 110-117

  12. From VDM to RAISE

    • Søren Prehn
    Pages 141-150

  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

  17. Mathematical structures and their morphisms in Meta-IV

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

  19. Use of VDM within CCITT

    • Peter Haff, Anders Olsen
    Pages 324-330
Back to top

Keywords

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation