The Handbook of Formal Methods in Human-Computer Interaction

Benjamin Weyers

ISBN 10: 3319518372 / ISBN 13: 9783319518374

Published by Springer-Verlag Gmbh, 2017

About this Item

Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783319518374

Bibliographic Details

Title: The Handbook of Formal Methods in ...

Publisher: Springer-Verlag Gmbh

Publication Date: 2017

Binding: Buch

Condition: Neu

About this title

Synopsis:

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.

Review:

“Human-computer interaction (HCI), as a discipline, is overwhelmingly experimental. One quick look at the proceedings ... the leading conference in the domain, will make this clear: almost all papers report on carefully crafted, well-designed experiments. ... I enjoyed reading the book ... .” (Jacques Carette, Computing Reviews, January, 22 , 2018)