The Handbook of Formal Methods in Human-Computer Interaction

The Handbook of Formal Methods in Human-Computer Interaction
Author :
Publisher : Springer
Total Pages : 577
Release :
ISBN-10 : 9783319518381
ISBN-13 : 3319518380
Rating : 4/5 (380 Downloads)

Book Synopsis The Handbook of Formal Methods in Human-Computer Interaction by : Benjamin Weyers

Download or read book The Handbook of Formal Methods in Human-Computer Interaction written by Benjamin Weyers and published by Springer. This book was released on 2017-04-24 with total page 577 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


The Handbook of Formal Methods in Human-Computer Interaction Related Books

The Handbook of Formal Methods in Human-Computer Interaction
Language: en
Pages: 577
Authors: Benjamin Weyers
Categories: Computers
Type: BOOK - Published: 2017-04-24 - Publisher: Springer

GET EBOOK

This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of wh
Handbook of Human-Computer Interaction
Language: en
Pages: 1202
Authors: M.G. Helander
Categories: Computers
Type: BOOK - Published: 2014-06-28 - Publisher: Elsevier

GET EBOOK

This Handbook is concerned with principles of human factors engineering for design of the human-computer interface. It has both academic and practical purposes;
Formal Methods for an Informal World
Language: en
Pages: 180
Authors: Antonio Cerone
Categories: Computers
Type: BOOK - Published: 2023-11-04 - Publisher: Springer Nature

GET EBOOK

This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal Wor
Formal Methods for Software Engineering
Language: en
Pages: 538
Authors: Markus Roggenbach
Categories: Computers
Type: BOOK - Published: 2022-06-22 - Publisher: Springer Nature

GET EBOOK

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a fo
Human-Computer Interaction – INTERACT 2023
Language: en
Pages: 665
Authors: José Abdelnour Nocera
Categories: Computers
Type: BOOK - Published: 2023-09-25 - Publisher: Springer Nature

GET EBOOK

The four-volume set LNCS 14442 -14445 constitutes the proceedings of the 19th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2023,