[specification language] The Meta-IV (pronounced like `metaphor`) was an early version of the specification language of the Vienna Development Method formal method for the development of computer-based systems. ==History== One of the first occurrences of Meta-IV in print appears to be `Programming in the Meta-language: A Tutorial`. Dines Bj...
Found on
No exact match found