Debugging Larch Shared Language Specifications.
Stephen J. GarlandJohn V. GuttagJames J. HorningPublished 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