Login / Signup
Early Foundations of Formal Modelling and Language Specification: Vienna Definition Language (VDL) and Vienna Development Method (VDM).
Heinz Zemanek
Published in:
IFIP Congress (2) (1994)
Keyphrases
</>
definition language
objective function
object oriented
dynamic programming
database applications
operational semantics
formal language