Opening book details…
Can I read Formal Aspects of Human-computer Interaction on EtoBox?
Formal Aspects of Human-computer Interaction by Gregory D. Abowd is a book available to read on EtoBox.
What is Formal Aspects of Human-computer Interaction about?
Our efforts are focussed toward retaining the mathematical grounding of previous formalisms while providing additional insight and direction for design practice. We introduce a unifying framework for the informal description of a user, a system and the interface that sits between them. This interaction framework provides the context for our research and motivates the properties of interaction that we wish to formalize. We adopt the view of an interactive system as a collection of agents based on
- Author
- Gregory D. Abowd
- Publisher
- Oxford [Oxfordshire]: Oxford University Computing Laboratory, Programming Research Group
- Published
- 1991
- Language
- EN
- ISBN
- 9780902928756
- Updated
- 2026-03-25
More by Gregory D. Abowd
Browse all works by Gregory D. Abowd
Similar books
- The Handbook of Formal Methods in Human-Computer Interaction (Human–Computer Interaction Series) — Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque (2017)
- Interaction Design: Beyond Human - Computer Interaction — Rogers, Yvonne; Sharp, Helen; Preece, Jenny, 1949- (2011)
- Human-Computer Interaction — Maurtua I.
- Human-Computer Interaction : Psychonomic Aspects — Gerrit C. van der Veer, Gijsbertus Mulder (auth.), Drs. Gerrit C. van der Veer, Professor Dr. (1988)
- Human-Computer Interaction — Zoran Gacovski (2019)
- Fundamentals of Human-Computer Interaction — Andrew F. Monk (1985)