The Handbook of Formal Methods in Human-Computer Interaction

✍ Scribed by Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque (eds.)

• Publisher: Springer International Publishing
• Year: 2017
• Tongue: English
• Leaves: 573
• Series: Human–Computer Interaction Series
• Edition: 1
• Category: Library

✦ 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.

✦ Table of Contents

Front Matter....Pages i-xiv
Front Matter....Pages 1-1
State of the Art on Formal Methods for Interactive Systems....Pages 3-55
Topics of Formal Methods in HCI....Pages 57-64
Trends and Gaps....Pages 65-88
Case Studies....Pages 89-121
Front Matter....Pages 123-123
Visual and Formal Modeling of Modularized and Executable User Interface Models....Pages 125-160
Combining Models for Interactive System Modelling....Pages 161-182
Activity Modelling for Low-Intention Interaction....Pages 183-210
Modelling the User....Pages 211-245
Physigrams: Modelling Physical Device Characteristics Interaction....Pages 247-271
Formal Description of Adaptable Interactive Systems Based on Reconfigurable User Interface Models....Pages 273-294
Front Matter....Pages 295-295
Learning Safe Interactions and Full-Control....Pages 297-317
Reasoning About Interactive Systems in Dynamic Situations of Use....Pages 319-341
Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex Systems....Pages 343-377
The Specification and Analysis of Use Properties of a Nuclear Control System....Pages 379-403
Formal Analysis of Multiple Coordinated HMI Systems....Pages 405-431
Front Matter....Pages 433-433
Domain-Specific Modelling for Human–Computer Interaction....Pages 435-463
Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment....Pages 465-504
A Public Tool Suite for Modelling Interactive Applications....Pages 505-528
Formal Modelling of App-Ensembles....Pages 529-547
Dealing with Faults During Operations: Beyond Classical Use of Formal Methods....Pages 549-575

✦ Subjects

User Interfaces and Human Computer Interaction;Software Engineering;Mathematical Logic and Formal Languages