Scientific decisions which characterize VDM (1999)
Cached
Download Links
- [www.cs.ncl.ac.uk]
- [www.cs.newcastle.ac.uk]
- [www.cs.ncl.ac.uk]
- DBLP
Other Repositories/Bibliography
| Venue: | In FM’99 – Formal Methods |
| Citations: | 9 - 2 self |
BibTeX
@INPROCEEDINGS{Jones99scientificdecisions,
author = {Cliff B Jones},
title = {Scientific decisions which characterize VDM},
booktitle = {In FM’99 – Formal Methods},
year = {1999},
pages = {28--47},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Dedicated to the memory of Heinz-Peter Chladek Abstract. The formal description and development method known as VDM has been used extensively, its specification language is now an ISO standard, and it has influenced other specification languages. The origins of VDM are normally placed in language description or semantics but it is probably best known in the wider arena of formal methods for (general) program specification and design. This paper sets out a personal view of some of the key technical decisions which characterize the Vienna Development Method. VDM is generally believed to stand for Vienna Development Method. The programming language description aspects of VDM were forged in the heat of a compiler development
