The Handbook of Formal Methods in Human-Computer Interaction

Nonfiction, Computers, Advanced Computing, Programming, User Interfaces, Software Development, General Computing
Cover of the book The Handbook of Formal Methods in Human-Computer Interaction by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319518381
Publisher: Springer International Publishing Publication: April 24, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319518381
Publisher: Springer International Publishing
Publication: April 24, 2017
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Reliability and Availability of Quality Control Based on Wavelet Computer Vision by
Cover of the book Teaching Postdramatic Theatre by
Cover of the book The Politics of Palm Oil Harm by
Cover of the book Research on e-Learning and ICT in Education by
Cover of the book Surrogate Motherhood Families by
Cover of the book Mathematical Cultures by
Cover of the book Regional Powers and Contested Leadership by
Cover of the book Mobile e-Health by
Cover of the book Dynamics of Partial Differential Equations by
Cover of the book Communism and Nationalism in Postwar Cyprus, 1945-1955 by
Cover of the book Civil Wars and Third-Party Interventions in Africa by
Cover of the book Artificial Intelligence and Soft Computing by
Cover of the book Integrating Landscapes: Agroforestry for Biodiversity Conservation and Food Sovereignty by
Cover of the book Dimensional Analysis and Self-Similarity Methods for Engineers and Scientists by
Cover of the book Contesting British Chinese Culture by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy