Toggle Main Menu Toggle Search

Open Access padlockePrints

Scientific Decisions which Characterise VDM

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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.


Publication metadata

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


Share