A Language for Role Specifications.
Viktor KuncakPatrick LamMartin C. RinardPublished in: LCPC (2001)
Keyphrases
- specification language
- programming language
- operational semantics
- high level
- formal language
- linguistic knowledge
- conceptual models
- formal descriptions
- formal specification
- artificial intelligence
- databases
- representation language
- finite state machines
- modeling language
- language learning
- english language
- natural language
- semantic constraints