Abstract specification of user interfaces.
Ole LauridsenPublished in: CHI 95 Conference Companion (1995)
Keyphrases
- user interface
- high level
- state machines
- knowledge level
- higher level
- specification language
- low level
- formal specification
- state machine
- human computer interaction
- conceptual model
- user friendly
- graphical user interfaces
- multi user
- computer vision
- genetic algorithm
- transition systems
- real time
- abstract interpretation
- interaction model
- user interaction
- multiscale
- machine learning
- data sets