A Controlled Language for the Specification of Contracts.
Gordon J. PaceMichael RosnerPublished in: CNL (Pre-Proceedings) (2009)
Keyphrases
- specification language
- formal language
- action language
- operational semantics
- programming language
- formal languages
- natural language
- modelling language
- language learning
- formal specification
- definition language
- description language
- supply chain
- high level
- conceptual models
- information systems
- english language
- moral hazard
- object oriented programming
- asynchronous circuits
- database
- case study
- artificial intelligence
- information retrieval