VDM

views updated

VDM Abbrev. for Vienna Development Method. A notation and methodology for writing formal specifications, based on the Vienna Definition Method developed at the IBM Laboratory in Vienna in the 1960s for the definition of programming languages. See constructive specification.

More From encyclopedia.com