A Decision-making Specification Language for Verifiable User-interface Adaptation Logic.
Anthony SavidisMargherita AntonaConstantine StephanidisPublished in: Int. J. Softw. Eng. Knowl. Eng. (2005)
Keyphrases
- specification language
- user interface
- decision making
- programming language
- formal specification
- description language
- model checker
- decision makers
- logic programming
- symbolic execution
- software environment
- artificial intelligence
- modal logic
- fuzzy logic
- multi agent systems
- linear temporal logic
- model checking
- object oriented
- database