Vienna Development Method

VDM

A FormalLanguage based on DenotationalSemantics.

VDM is a generic term indicating different dialects and methodologies originated in the work of HeinzZemanek? in the ViennaIbmLaboratory?

Currently, VDM-SL (VDM specification language) is the ISO and BSI standard.

A VDM specification is built upon two models. The representational abstraction, equivalent to a data model, and the operational abstraction, equivalent to a program, that can be done in a declarative of in a imperative way.

Documented in "Systematic Software Development Using VDM" by C.B. Jones

Based around pre- and post- conditions. I assume BertrandMeyer was aware of this when he designed EiffelLanguage.

--PaulHudson (a VDM fan. Once worked in the same company as C. B. Jones, but no VDM used there :-()

VDM uses ThreeValuedLogic.

CategoryLogic