↓ Skip to main content

VDM '88 VDM — The Way Ahead

Overview of attention for book
Cover of 'VDM '88 VDM — The Way Ahead'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Computing is a physical science
  3. Altmetric Badge
    Chapter 2 Structuring for the VDM specification language
  4. Altmetric Badge
    Chapter 3 Correctness for beginners
  5. Altmetric Badge
    Chapter 4 Understanding an informal description: Office documents architecture, an ISO standard
  6. Altmetric Badge
    Chapter 5 Towards a formal definition of GKS and other graphics standards
  7. Altmetric Badge
    Chapter 6 Report from the BSI panel for the standardisation of VDM (IST/5/50)
  8. Altmetric Badge
    Chapter 7 Formal methods in standards—A report from the BCS working group
  9. Altmetric Badge
    Chapter 8 The B tool (Abstract)
  10. Altmetric Badge
    Chapter 9 Specification of an operating system kernel forest and VDM compared
  11. Altmetric Badge
    Chapter 10 Compiler prototyping with VDM and standard ML
  12. Altmetric Badge
    Chapter 11 VDM development with Ada as the target language
  13. Altmetric Badge
    Chapter 12 NUSL: An executable specification language based on data abstraction
  14. Altmetric Badge
    Chapter 13 A support system for formal reasoning: Requirements and status
  15. Altmetric Badge
    Chapter 14 The use of VDM within the Alvey Flagship project
  16. Altmetric Badge
    Chapter 15 The formal definition of modula-2 and its associated interpreter
  17. Altmetric Badge
    Chapter 16 Test case selection using VDM
  18. Altmetric Badge
    Chapter 17 The VIP VDM Specification Language
  19. Altmetric Badge
    Chapter 18 Sample — A functional language
  20. Altmetric Badge
    Chapter 19 A three-valued logic for software specification and validation
  21. Altmetric Badge
    Chapter 20 Three-valued predicates for software specification and validation
  22. Altmetric Badge
    Chapter 21 A set-theoretic model for a typed polymorphic lambda calculus a contribution to MetaSoft
  23. Altmetric Badge
    Chapter 22 Mutually recursive algebraic domain equations
  24. Altmetric Badge
    Chapter 23 Proof rules for VDM statements
  25. Altmetric Badge
    Chapter 24 Muffin: A user interface design experiment for a Theorem Proving Assistant
  26. Altmetric Badge
    Chapter 25 The RAISE language, method and tools
  27. Altmetric Badge
    Chapter 26 Correctness proofs for META IV written code generator specifications using term rewriting
  28. Altmetric Badge
    Chapter 27 Using VDM with rely and guarantee-conditions
  29. Altmetric Badge
    Chapter 28 Software support for the refinement of VDM specifications
  30. Altmetric Badge
    Chapter 29 The use of VDM in the specification of Chinese characters
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
7 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
VDM '88 VDM — The Way Ahead
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-50214-9
ISBNs
978-3-54-050214-2, 978-3-54-045955-2
Editors

Bloomfield, Robin E., Marshall, Lynn S., Jones, Roger B.