Vienna Development Method


Vienna Development Method

(programming, specification)(VDM) A program developmentmethod based on formal specification using the Vienna Development Method Specification Language (VDM-SL).