Encyclopedia

Vienna Development Method

(programming, specification)

(VDM) A program development method based on formal specification using the Vienna Development Method Specification Language (VDM-SL).

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

Mentioned in

References in periodicals archive

We used Two-Level Grammar (TLG) to construct a bridge between a NL requirements specification and a formal specification (in our case the Vienna Development Method VDM).

RUNNABLE NATURAL LANGUAGE SPECIFICATION USING TWO LEVEL GRAMMAR

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.