Formal Methods in Human-Computer Interaction and Adaptive Instructional Systems.
Bruno EmondPublished in: HCI (31) (2021)
Keyphrases
- human computer interaction
- formal methods
- instructional systems
- software engineering
- human computer
- human computer interface
- human factors
- formal specification
- interface design
- eye tracking
- user interface
- artificial intelligence
- model checking
- hand gestures
- gesture recognition
- knowledge based systems
- learning environment
- adaptive systems
- multimodal interfaces
- development lifecycle
- modeling language
- databases