Keyphrases
- user interface
- human computer interaction
- user interface design
- user interaction
- bounded model checking
- real time
- information systems
- delay insensitive
- end users
- formal specification
- design principles
- written in natural language
- specification language
- user friendly
- model checking
- relational databases
- data structure
- similarity measure
- learning algorithm
- data sets