The Handbook of Formal Methods in Human-Computer Interaction
- ISBN-10
- 3319518380
- ISBN-13
- 9783319518381
- Category
- Computers
- Pages
- 575
- Language
- English
- Published
- 2017-04-24
- Publisher
- Springer
- Authors
- Alan Dix, Philippe Palanque, Benjamin Weyers
Description
This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems. World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scenarios and topics in HCI as well as presenting current trends and gaps in research and future opportunities and developments within this emerging field. The Handbook of Formal Methods in Human-Computer Interaction is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work.
Get the book
Similar books
-
The Handbook of Formal Methods in Human-Computer Interaction
By Alan Dix, Philippe Palanque, Benjamin WeyersThis book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering ...
-
Formal Methods in Human-Computer Interaction
By Michael Harrison, Harold Thimbleby, Professor of Pediatric Surgery and Director of the Fetal Treatment/Transplant Center Michael HarrisonCurator of Charleston Museum J Long, Ind M. D. Michael D. Harrison, Michael Harrison, Professor of Pediatric Surgery and Director of the Fetal Treatment/Transplant Center Michael Harrison, Harold Thimbleby.
-
Handbook of Human-Computer Interaction
By M.G. HelanderThe complete hypercard handbook. Toronto: Bantam Computer Books. Grosz, B.J., Sparck Jones, K., & Webber, BL. (1986). Introduction. In: B.J. Grosz, K. Sparck Jones, and PL. Webber, (Eds) Readings in natural language processing.
-
Formal Methods in Human-Computer Interaction
By Fabio Paterno, Philippe PalanqueThere are a number of ongoing problems with the design of Interactive Systems, due mainly to the inherent complexity of these systems (which are generally reactive, parallel and user-driven) and...
-
Formal Methods for Interactive Systems
By Alan DixThis essential book addresses the problems governing the usability of computer interfaces. These problems are approached from the angle of the mathematical modeling of interactive systems. By modeling various facets...
-
An Introduction to Human-Computer Interaction (Psychology Revivals)
By Paul BoothAssuming very little knowledge, the book provides an overview of the diverse research areas that were at the time only gradually building into a coherent and well-structured field.
-
Human-computer Interaction: Psychology, Task Analysis and Software Engineering
By Peter JohnsonThis text provides an overview of the fundamental aspects of cognitive psychology which introduce the reader to the theoretical and empirical findings about human memory, learning, knowledge representation and skill...
-
Research Methods in Human-Computer Interaction
By Jonathan Lazar, Jinjuan Heidi Feng, Harry HochheiserGrounded theory was first proposed by Glaser and Strauss (1967), who described a qualitative researchmethod that seeks todevelop theory that is“grounded in data systematically gathered and analyzed” (Myers, 2009).
-
Human Computer Interaction Handbook: Fundamentals, Evolving Technologies, and Emerging Applications, Third Edition
By Julie A. JackoWinner of a 2013 CHOICE Outstanding Academic Title Award The third edition of a groundbreaking reference, The Human-Computer Interaction Handbook: Fundamentals, Evolving Technologies, and Emerging Applications raises the bar for handbooks ...
-
People and Computers III
By British Computer Society. Human Computer Interaction Specialist Group. ConferenceThis book presents the proceedings of HCI '87, the major annual European conference on human computer interaction to be held in Exeter from 7-11 September 1987.