A language for configuring multi-level specifications.
Gillian HillSteven VickersPublished in: Theor. Comput. Sci. (2006)
Keyphrases
- specification language
- programming language
- operational semantics
- formal language
- natural language
- language learning
- information systems
- formal specification
- neural network
- object oriented programming
- finite state machines
- high level
- source code
- knowledge representation
- conceptual graphs
- description language
- language processing
- query language
- conceptual models
- machine learning
- data sets
- semantic constraints
- controlled natural language