Keyphrases
- user interface
- user interaction
- human computer interaction
- user interface design
- user experience
- databases
- high level
- interaction model
- data sets
- real time
- relational databases
- specification language
- direct manipulation
- formal verification
- formal specification
- design principles
- end users
- expert systems
- digital libraries
- search engine
- learning algorithm