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 Standpipe Systems for Fire Protection by
Cover of the book Atlas of Upper Extremity Trauma by
Cover of the book Software Quality. The Future of Systems- and Software Development by
Cover of the book Soil Erosion and Sediment Flux in Northern Jordan by
Cover of the book Hybrid Artificial Intelligent Systems by
Cover of the book Coastal Change, Ocean Conservation and Resilient Communities by
Cover of the book Ultrasonic Nondestructive Evaluation Systems by
Cover of the book Neoliberalism, Economic Radicalism, and the Normalization of Violence by
Cover of the book Prospect in Pediatric Diseases Medicine by
Cover of the book The Political Twittersphere in India by
Cover of the book New Geometric Data Structures for Collision Detection and Haptics by
Cover of the book Research Advances in Industrial Engineering by
Cover of the book Learning Systems: From Theory to Practice by
Cover of the book Service Life Prediction of Exterior Plastics by
Cover of the book Text, Speech, and Dialogue 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