Formal Methods in Human-Computer Interaction, by Philippe Palanque and Fabio Paterno (Editors), Springer-Verlag, 1998 (Book Review).
Harold W. ThimblebyPublished in: Softw. Test. Verification Reliab. (1998)
Keyphrases
- human computer interaction
- formal methods
- springer verlag
- software engineering
- knowledge based systems
- computer society
- human computer interface
- model checking
- user interface
- artificial intelligence
- human computer
- formal specification
- gesture recognition
- interface design
- eye tracking
- database
- formal specification language
- hand gestures
- human factors
- interactive systems
- modeling language
- development lifecycle
- knowledge acquisition