Abstract
A number of steps together characterising a method according to which one may employ the Vienna Development Method, VDM, are formulated and briefly illustrated. The paper is a summary of the methodological aspects of VDM as espoused in the author's recent books: Software Architectures and Programming Systems Design, vols. I–III incl. Only specification facets will be illustrated. A subsequent paper will similarly overview the implementation facets of function transformation and data reification.
The exposition is tentative: no claim is made as to the definitiveness of the method. The author believes this to be a “first” attempt to enumerate the methodological facets of VDM. It is felt that few, if any, so-called methods, can claim to be methods according to the definition given in the current paper. The author hopes that the present paper will spur more papers on the “true” nature of ‘programming methodology’.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
D.Bjørner & C.B.Jones (eds.): The Vienna Development Method: The Meta Language Springer Verlag, LNCS61, 1978.
C.B.Jones: Software Development: A Rigorous Approach Prentice Hall International, 1980.
Towards a Formal Description of Ada ed. D.Bjørner & Ole N. Oest, Springer Verlag, LNCS98, 1980.
D.Bjørner & C.B. Jones: Formal Specification & Software Development Prentice Hall International, 1982.
C.B.Jones: Systematic Development using VDM Prentice Hall International, 1986
VDM'87: A Formal Method at Work Proceedings (eds. D.Bjørner et al.), VDM Europe Symposium, Brussels, Springer Verlag, LNCS252, 1987.
VDM'88: VDM — The Way Ahead Proceedings (eds. R.Bloomfield et al.), VDM Europe Symposium, Dublin, Springer Verlag, LNCS328, 1988.
D.Bjørner: Software Architectures and Programming Systems Design, vol.I: Foundations To be published 1989.
D.Bjørner: Software Architectures and Programming Systems Design, vol.II: Basic Abstraction Principles To be published 1989.
D.Bjørner: Software Architectures and Programming Systems Design, vol.III: Formal Description of Program and Programming Concepts To be published 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bjørner, D. (1989). Towards a meaning of ‘M’ in VDM. In: Díaz, J., Orejas, F. (eds) TAPSOFT '89. TAPSOFT 1989. Lecture Notes in Computer Science, vol 352. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50940-2_25
Download citation
DOI: https://doi.org/10.1007/3-540-50940-2_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50940-0
Online ISBN: 978-3-540-46118-0
eBook Packages: Springer Book Archive