Overview

VDM


Show Summary Details

Quick Reference

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.

Subjects: Computing.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.