Abstract is missing.
- State of the Art on Formal Methods for Interactive SystemsRaquel Oliveira Prates, Philippe A. Palanque, Benjamin Weyers, Judy Bowen, Alan J. Dix. 3-55 [doi]
- Topics of Formal Methods in HCIJudy Bowen, Alan Dix, Philippe A. Palanque, Benjamin Weyers. 57-64 [doi]
- Trends and GapsAlan Dix, Benjamin Weyers, Judy Bowen, Philippe A. Palanque. 65-88 [doi]
- Case StudiesBenjamin Weyers, Michael D. Harrison, Judy Bowen, Alan Dix, Philippe A. Palanque. 89-121 [doi]
- Visual and Formal Modeling of Modularized and Executable User Interface ModelsBenjamin Weyers. 125-160 [doi]
- Combining Models for Interactive System ModellingJudy Bowen, Steve Reeves. 161-182 [doi]
- Activity Modelling for Low-Intention InteractionAlan Dix. 183-210 [doi]
- Modelling the UserPaul Curzon, Rimvydas Ruksenas. 211-245 [doi]
- Physigrams: Modelling Physical Device Characteristics InteractionAlan Dix, Masitah Ghazali. 247-271 [doi]
- Formal Description of Adaptable Interactive Systems Based on Reconfigurable User Interface ModelsBenjamin Weyers. 273-294 [doi]
- Learning Safe Interactions and Full-ControlGuillaume Maudoux, Charles Pecheur, Sébastien Combéfis. 297-317 [doi]
- Reasoning About Interactive Systems in Dynamic Situations of UseJudy Bowen, Annika Hinze. 319-341 [doi]
- Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex SystemsMatthew L. Bolton, Ellen J. Bass. 343-377 [doi]
- The Specification and Analysis of Use Properties of a Nuclear Control SystemMichael D. Harrison, Paolo M. Masci, José Creissac Campos, Paul Curzon. 379-403 [doi]
- Formal Analysis of Multiple Coordinated HMI SystemsGuillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta. 405-431 [doi]
- Domain-Specific Modelling for Human-Computer InteractionSimon Van Mierlo, Yentl Van Tendeloo, Bart Meyers, Hans Vangheluwe. 435-463 [doi]
- Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development EnvironmentCamille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Racim Fahssi, Arnaud Hamon. 465-504 [doi]
- A Public Tool Suite for Modelling Interactive ApplicationsMarco Manca, Fabio Paternò, Carmen Santoro. 505-528 [doi]
- Formal Modelling of App-EnsemblesJohannes Pfeffer, Leon Urbas. 529-547 [doi]
- Dealing with Faults During Operations: Beyond Classical Use of Formal MethodsCamille Fayollas, Philippe A. Palanque, Jean-Charles Fabre, Célia Martinie, Yannick Déléris. 549-575 [doi]