Vienna Development Method (VDM)
(brand of FM)1 × Belgium
1 × Ireland
2 × The Netherlands
34 ×#specification
15 ×#development
14 ×#using
9 ×#refinement
7 ×#formal method
7 ×#named
7 ×#semantics
7 ×#tutorial
5 ×#approach
5 ×#object-oriented
Vocabulary: 287 words
147 papers in 5 issues:
- 1991
Proceedings of the Fourth International Symposium on Vienna Development Method: Formal Software Development. Volume 1: Conference Contributions (VDM Europe (1) 1991)- Proceedings of the Fourth International Symposium on Vienna Development Method: Formal Software Development. Volume 2: Tutorials (VDM Europe (2) 1991)
- 1990
- Proceedings of the Third International Symposium on Vienna Development Method and Z: Formal Methods in Software Development (VDM Europe 1990)
- 1988
- Proceedings of the Second European Symposium on Vienna Development Method: The Way Ahead (VDM Europe 1988)
- 1987
- Proceedings of the First European Symposium on Vienna Development Method: A Formal Method at Work (VDM Europe 1987)
- 1978
- The Vienna Development Method: The Meta-Language (VDM 1978)
1 × Ireland
2 × The Netherlands
34 ×#specification
15 ×#development
14 ×#using
9 ×#refinement
7 ×#formal method
7 ×#named
7 ×#semantics
7 ×#tutorial
5 ×#approach
5 ×#object-oriented
Vocabulary: 287 words
Proceedings of the Fourth International Symposium on Vienna Development Method: Formal Software Development. Volume 1: Conference Contributions (VDM Europe (1) 1991)Proceedings of the Fourth International Symposium on Vienna Development Method: Formal Software Development. Volume 2: Tutorials (VDM Europe (2) 1991)Proceedings of the Third International Symposium on Vienna Development Method and Z: Formal Methods in Software Development (VDM Europe 1990)Proceedings of the Second European Symposium on Vienna Development Method: The Way Ahead (VDM Europe 1988)Proceedings of the First European Symposium on Vienna Development Method: A Formal Method at Work (VDM Europe 1987)The Vienna Development Method: The Meta-Language (VDM 1978)