↓ 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
Attention for Chapter 29: The use of VDM in the specification of Chinese characters
Altmetric Badge

Citations

dimensions_citation
7 Dimensions

Readers on

mendeley
87 Mendeley
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.
Chapter title
The use of VDM in the specification of Chinese characters
Chapter number 29
Book title
VDM '88 VDM — The Way Ahead
Published by
Springer, Berlin, Heidelberg, September 1988
DOI 10.1007/3-540-50214-9_29
Book ISBNs
978-3-54-050214-2, 978-3-54-045955-2
Authors

Ghee S. Teo, Mícheál Mac an Airchinnigh, Teo, Ghee S., Mac an Airchinnigh, Mícheál

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 87 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
South Africa 1 1%
India 1 1%
United Kingdom 1 1%
Iran, Islamic Republic of 1 1%
Denmark 1 1%
China 1 1%
Unknown 81 93%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 33 38%
Student > Master 11 13%
Researcher 10 11%
Professor > Associate Professor 7 8%
Student > Bachelor 5 6%
Other 16 18%
Unknown 5 6%
Readers by discipline Count As %
Physics and Astronomy 21 24%
Computer Science 15 17%
Engineering 11 13%
Mathematics 9 10%
Chemistry 4 5%
Other 19 22%
Unknown 8 9%