Task Protocol Specification: a Workstation Independent Specification Technique for Human-Computer Interaction.
Paul M. MullinsSiegfried TreuPublished in: ACM SIGCHI Bull. (1991)
Keyphrases
- human computer interaction
- protocol specification
- formal specification
- communication protocols
- human computer
- user interface
- human computer interface
- eye tracking
- gesture recognition
- hand gestures
- human factors
- formal methods
- software engineering
- human activities
- interface design
- user interface design
- interaction design
- multimodal interfaces
- information processing systems
- databases
- knowledge based systems
- query language
- process algebra
- knowledge base