An approach to formal verification of human-computer interaction.
Paul CurzonRimvydas RuksenasAnn BlandfordPublished in: Formal Aspects Comput. (2007)
Keyphrases
- human computer interaction
- formal verification
- model checking
- model checker
- automated verification
- user interface
- bounded model checking
- human factors
- augmented reality
- facial expression recognition
- human computer
- human activities
- gesture recognition
- interface design
- symbolic model checking
- hand gestures
- human computer interface
- artificial intelligence
- multimodal interfaces
- user interface design
- interaction design
- affective computing
- eye tracking
- software engineering
- relational databases
- interactive systems