The Handbook of Formal Methods in Human-Computer Interaction

Part I. Introduction

1. State of the Art on Formal Methods for Interactive Systems
Raquel Oliveira, Philippe Palanque, Benjamin Weyers, Judy Bowen, Alan Dix

2. Topics of Formal Methods in HCI
Judy Bowen, Alan Dix, Philippe Palanque, Benjamin Weyers

3. Trends and Gaps
Alan Dix, Benjamin Weyers, Judy Bowen, Philippe Palanque

4. Case Studies
Benjamin Weyers, Michael D. Harrison, Judy Bowen, Alan Dix, Philippe Palanque

Part II. Modeling, Execution and Simulation

5. Visual and Formal Modeling of Modularized and Executable User Interface Models
Benjamin Weyers

6. Combining Models for Interactive System Modelling
Judy Bowen, Steve Reeves

7. Activity Modelling for Low-Intention Interaction
Alan Dix

8. Modelling the User
Paul Curzon, Rimvydas Rukšėnas

9. Physigrams: Modelling Physical Device Characteristics Interaction
Alan Dix, Masitah Ghazali

10. Formal Description of Adaptable Interactive Systems Based on Reconfigurable User Interface Models
Benjamin Weyers

Part III. Analysis, Validation and Verification

11. Learning Safe Interactions and Full-Control
Guillaume Maudoux, Charles Pecheur, Sébastien Combéfis

12. Reasoning About Interactive Systems in Dynamic Situations of Use
Judy Bowen, Annika Hinze

13. Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex Systems
Matthew L. Bolton, Ellen J. Bass

14. The Specification and Analysis of Use Properties of a Nuclear Control System
Michael D. Harrison, Paolo M. Masci, José Creissac Campos, Paul Curzon

15. Formal Analysis of Multiple Coordinated HMI Systems
Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta

Part IV. Future Opportunities and Developments

16. Domain-Specific Modelling for Human–Computer Interaction
Simon Van Mierlo, Yentl Van Tendeloo, Bart Meyers, Hans Vangheluwe

17. Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment
Camille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Racim Fahssi, Arnaud Hamon

18. A Public Tool Suite for Modelling Interactive Applications
Marco Manca, Fabio Paternò, Carmen Santoro

19. Formal Modelling of App-Ensembles
Johannes Pfeffer, Leon Urbas

20. Dealing with Faults During Operations: Beyond Classical Use of Formal Methods
Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, Célia Martinie, Yannick Déléris

Keywords: Computer Science, User Interfaces and Human Computer Interaction, Software Engineering, Mathematical Logic and Formal Languages