Software engineering for human computer interaction: papers from a workshop on formal methods for the design of interactive systems, York, UK, 23rd July 1993.
Christopher JohnsonMichael HarrisonPublished in: ACM SIGCHI Bull. (1994)
Keyphrases
- interactive systems
- human computer interaction
- formal methods
- software engineering
- user interface
- human factors
- human computer interface
- user interface design
- human computer
- interaction design
- interface design
- artificial intelligence
- knowledge based systems
- eye tracking
- gesture recognition
- hand gestures
- formal specification
- model checking
- design patterns
- social intelligence
- software design
- affective computing
- machine learning
- natural human computer interaction
- design principles
- natural language
- reverse engineering
- software development
- interactive learning environments
- multimodal interfaces
- database