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