Separation Of Concerns in Multi-language Specifications.
Robertas DamaseviciusVytautas StuikysPublished in: Informatica (2002)
Keyphrases
- specification language
- operational semantics
- formal language
- conceptual models
- natural language
- language learning
- real time
- artificial intelligence
- high level
- programming language
- finite state machines
- formal specification
- formal descriptions
- formal languages
- conceptual graphs
- multi agent
- information retrieval
- databases