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 Environmental Management and Governance by
Cover of the book Cloud-Based Cyber-Physical Systems in Manufacturing by
Cover of the book A Brain-Focused Foundation for Economic Science by
Cover of the book Converging Clinical and Engineering Research on Neurorehabilitation II by
Cover of the book Employers’ Economics versus Employees’ Economy by
Cover of the book More than Fighting for Peace? by
Cover of the book Urban Sustainability through Smart Growth by
Cover of the book Nonregular Nanosystems by
Cover of the book Cutaneous Adnexal Neoplasms by
Cover of the book Resetting the Political Culture Agenda: From Polis to International Organization by
Cover of the book Decision Support Systems III - Impact of Decision Support Systems for Global Environments by
Cover of the book Aluminum Matrix Composites Reinforced with Alumina Nanoparticles by
Cover of the book Knowledge Management in Organizations by
Cover of the book Second International Handbook of Urban Education by
Cover of the book Beverage Impacts on Health and Nutrition 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