e/Meta-IV (specification language)

Information
has gloss	eng: 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.
lexicalization	eng: Meta-IV
instance of	c/Formal specification languages