Workshop on formal methods in human computer interaction.
Benjamin WeyersJudy BowenAlan J. DixPhilippe A. PalanquePublished in: EICS (2015)
Keyphrases
- human computer interaction
- formal methods
- software engineering
- human computer
- model checking
- artificial intelligence
- knowledge based systems
- formal specification
- human computer interface
- user interface
- human factors
- hand gestures
- facial expression recognition
- eye tracking
- gesture recognition
- interface design
- selected papers
- interactive systems
- interaction design
- communication systems
- reverse engineering
- object oriented