Browse by author
Lookup NU author(s): Emeritus Professor Cliff JonesORCiD
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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.
Author(s): Jones CB
Editor(s): Wing, J.M., Woodcock, J. and Davies, J.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: FM'99 - Formal Methods. World Congress on Formal Methods in the Development of Computing Systems
Year of Conference: 1999
Pages: 28-47
Publisher: Springer-Verlag
Notes: Invited Paper
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 3540665870
