Vienna Development Method

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

Topic mentions per year

Topic mentions per year

1972-2016
05101519722016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
We constructed a tool, called VooDooM, which converts datatypes in VDM-SL into SQL relational data models. The conversion… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
2003
2003
It is proposed an approach to integrate formal methods in the software development process, with an emphasis on the user… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
1999
Highly Cited
1999
JML is a behavioral interface specification language tailored to Java. It is designed to be written and read by working software… (More)
Is this relevant?
1999
1999
Enterprise competitiveness in the information age is very much dependent on the quality of the underlying information systems… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
JML is a behavioral interface speciication language tailored to Java. It also allows assertions to be intermixed with Java code… (More)
Is this relevant?
1998
1998
Software testing consumes a large percentage of total software development costs. Yet, it is still usually performed manually in… (More)
Is this relevant?
1996
1996
Some specification languages, such as VDM-SL, allow expressions whose values are not fully determined. This may be convenient in… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1989
1989
VVSL is a VDM specification language of the “British School” with modularisation constructs allowing sharing of hidden state… (More)
Is this relevant?
1988
1988
The Vienna Development Method (VDM) is based upon iterative refinement of formal specifications written in the model-oriented… (More)
Is this relevant?
Highly Cited
1978
Highly Cited
1978
  • The Vienna Development Method: The Meta-Language
  • 1978
If you really want to be smarter, reading can be one of the lots ways to evoke and realize. Many people who like reading will… (More)
Is this relevant?