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 The Paradox of Diversity by
Cover of the book Histone Recognition by
Cover of the book Bacterial Fish Pathogens by
Cover of the book Software Technologies: Applications and Foundations by
Cover of the book The Rise of Radio Astronomy in the Netherlands by
Cover of the book Enhancing Energy Efficiency in Irrigation by
Cover of the book Large-Scale Scientific Computing by
Cover of the book Cuban American Political Culture and Civic Organizing by
Cover of the book Computational Methods and Clinical Applications in Musculoskeletal Imaging by
Cover of the book From Animals to Animats 14 by
Cover of the book High-Bandwidth Memory Interface by
Cover of the book Defining ‘Eastern Europe’ by
Cover of the book Biomimetic Research for Architecture and Building Construction by
Cover of the book Production and Breeding of Chilli Peppers (Capsicum spp.) by
Cover of the book Innovative Statistical Methods for Public Health Data 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