Debugging Larch Shared Language Specifications.

Stephen J. Garland John V. Guttag James J. Horning

Published in: IEEE Trans. Software Eng. (1990)

Keyphrases

specification language
programming language
operational semantics
formal language
language learning

natural language
formal specification
formal descriptions
high level

language processing
general purpose
machine learning
finite state machines

uml class diagrams
computational linguistics
modeling language
information systems