Programming languages and their definition
Programming languages and their definition
Systematic software development using VDM
Systematic software development using VDM
Program specification and verification in VDM
Proceedings of the NATO Advanced Study Institute on Logic of programming and calculi of discrete design
The Z notation: a reference manual
The Z notation: a reference manual
Action semantics
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
The RAISE specification language
The RAISE specification language
Understanding the differences between VDM and Z
ACM SIGSOFT Software Engineering Notes
Process algebra arguments about an object-based design notation
A classical mind
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Object orientation with parallelism and persistence
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
A correspondence between ALGOL 60 and Church's Lambda-notations: Part II
Communications of the ACM
The next 700 programming languages
Communications of the ACM
On the nonexistence of a phrase structure grammar for ALGOL 60
Communications of the ACM
Logic and Specifiction: Extending VDM-SL for Advanced Formal Specification
Logic and Specifiction: Extending VDM-SL for Advanced Formal Specification
Abstract Software Specifications
Abstract Software Specifications
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
A Discipline of Programming
Algebraic Foundations of Systems Specification
Algebraic Foundations of Systems Specification
A Theory of Programming Language Semantics
A Theory of Programming Language Semantics
Towards a Formal Description of Ada
Towards a Formal Description of Ada
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
A Formal Definition of Algol 60 as Described in the 1975 Modified Report
The Vienna Development Method: The Meta-Language
Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations
The Vienna Development Method: The Meta-Language
Tutorial on the Irish School of the VDM
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2: Tutorials
History of programming languages I
History of programming languages I
Formal development of correct algorithms: An example based on earley's recogniser
Proceedings of ACM conference on Proving assertions about programs
An algebraic definition of simulation between programs
An algebraic definition of simulation between programs
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Hi-index | 0.00 |
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.