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.
| ISBN: | 9783319847542 |
| Publication date: | 8th May 2018 |
| Author: | Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque |
| Publisher: | Springer an imprint of Springer International Publishing |
| Format: | Paperback |
| Pagination: | 575 pages |
| Series: | Human-Computer Interaction Series |
| Genres: |
Human–computer interaction Software Engineering Mathematical theory of computation |
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.
The Handbook of Formal Methods in Human-Computer Interaction features in the following genres: Human–computer interaction, Software Engineering, Mathematical theory of computation
The Handbook of Formal Methods in Human-Computer Interaction is available in Paperback, Hardback
The Handbook of Formal Methods in Human-Computer Interaction was written by Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque and published by Springer an imprint of Springer International Publishing
The Handbook of Formal Methods in Human-Computer Interaction has 575 pages
Yes it is part of Human-Computer Interaction Series series
£251.99