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 Séminaire de Probabilités XLVI by
Cover of the book EcoJustice, Citizen Science and Youth Activism by
Cover of the book Philosophy in Educational Research by
Cover of the book Landslide Science for a Safer Geoenvironment by
Cover of the book Incorporating Sustainability in Management Education by
Cover of the book Climate Driven Retreat of Mount Baker Glaciers and Changing Water Resources by
Cover of the book Intelligent Computing by
Cover of the book Experimental and Applied Mechanics, Volume 4 by
Cover of the book Data Analysis in Bi-partial Perspective: Clustering and Beyond by
Cover of the book Integrated Reservoir Studies for CO2-Enhanced Oil Recovery and Sequestration by
Cover of the book Technologies and Applications for Smart Charging of Electric and Plug-in Hybrid Vehicles by
Cover of the book Echo and Meaning on Early Modern English Stages by
Cover of the book Local Times and Excursion Theory for Brownian Motion by
Cover of the book Oral Infections and General Health by
Cover of the book Edge Computing – EDGE 2018 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