ENGLISH

The Handbook of Formal Methods in Human-Computer Interaction

By Philippe Palanque (eds.) , Alan Dix , Benjamin Weyers , Judy Bowen

Book information

Publisher
Springer International Publishing
Year
2017
ISBN
978-3-319-51837-4, 978-3-319-51838-1
DOI
10.1007/978-3-319-51838-1
Language
english
Format
PDF
Filesize
19 MB (19968257 bytes)
Series
Human–Computer Interaction Series
Edition
1
Pages
XIV, 575\573
Time added
2017-06-25 01:07:36
User Interfaces and Human Computer Interaction;Sof

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.

Similar books