Attempto Controlled English - Not Just Another Logic Specification Language.
Norbert E. FuchsUta SchwertelRolf SchwitterPublished in: LOPSTR (1998)
Keyphrases
- specification language
- formal specification
- description language
- programming language
- model checker
- english language
- machine translation
- natural language
- language learning
- software environment
- logic programming
- answer questions
- linear temporal logic
- requirements specification
- modal logic
- symbolic execution
- optimal solution
- distributed systems
- general purpose
- databases