show/hide this revision's text 1 [made Community Wiki]

In computer science, the Vienna Definition Language, or the related Vienna Development Method. (A tool for definining program semantics).