Skip to search formSkip to main contentSkip to account menu

Vienna Development Method

Known as: VDM specification language, VDM++, Vienna Definition Method 
The Vienna Development Method (VDM) is one of the longest-established formal methods for the development of computer-based systems. Originating in… 
Wikipedia (opens in a new tab)

Related topics

Related topics

36 relations
ALGOLAbstract data typeAdaAlgorithm

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
νR Dark matter-philic Higgs for 3.5 keV X-ray signal
2011
2011
Visual Dataflow Modelling : A Comparison of Three Systems
Visual dataflow modelling (VDM) uses visual programming as a modelling technique for creating complex procedural design models… 
2008
2008
Damage identification in skeletal structures using the virtual distortion method in frequency domain
2006
2006
Formal model for moving block railway interlocking system based on un-directed topology
The safety and complexity of railway interlocking system (RIS) requires the use of advanced methodologies. Formal methods… 
Highly Cited
2004
Highly Cited
2004
Dissimilarity learning for nominal data
Highly Cited
2004
Highly Cited
2004
Filtering TOBIAS Combinatorial Test Suites
TOBIAS is a combinatorial testing tool, aimed at the production of large test suites. In this paper, TOBIAS is applied to… 
Highly Cited
1998
Highly Cited
1998
A Lightweight Approach to Formal Methods
The main current trend in applied formal methods can be characterized by the term "lightweight". Historically, formal methods… 
Review
1990
Review
1990
Formal specification for a clinical cyclotron control system
This report describes preliminary experience writing formal specifications for the control system for a cyclotron and neutron… 
Review
1987
Review
1987
VDM - Vienna Development Method
The Vienna Development Method is a formal language developed at the IBM laboratories in Vienna. First we give a short overview of… 
Highly Cited
1987
Highly Cited
1987
Specification statements and refinements
We discuss the development of executable programs from state-based specifications written in the language of first-order… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)