↓ Skip to main content

The Handbook of Formal Methods in Human-Computer Interaction

Overview of attention for book
Cover of 'The Handbook of Formal Methods in Human-Computer Interaction'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 State of the Art on Formal Methods for Interactive Systems
  3. Altmetric Badge
    Chapter 2 Topics of Formal Methods in HCI
  4. Altmetric Badge
    Chapter 3 Trends and Gaps
  5. Altmetric Badge
    Chapter 4 Case Studies
  6. Altmetric Badge
    Chapter 5 Visual and Formal Modeling of Modularized and Executable User Interface Models
  7. Altmetric Badge
    Chapter 6 Combining Models for Interactive System Modelling
  8. Altmetric Badge
    Chapter 7 Activity Modelling for Low-Intention Interaction
  9. Altmetric Badge
    Chapter 8 Modelling the User
  10. Altmetric Badge
    Chapter 9 Physigrams: Modelling Physical Device Characteristics Interaction
  11. Altmetric Badge
    Chapter 10 Formal Description of Adaptable Interactive Systems Based on Reconfigurable User Interface Models
  12. Altmetric Badge
    Chapter 11 Learning Safe Interactions and Full-Control
  13. Altmetric Badge
    Chapter 12 Reasoning About Interactive Systems in Dynamic Situations of Use
  14. Altmetric Badge
    Chapter 13 Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex Systems
  15. Altmetric Badge
    Chapter 14 The Specification and Analysis of Use Properties of a Nuclear Control System
  16. Altmetric Badge
    Chapter 15 Formal Analysis of Multiple Coordinated HMI Systems
  17. Altmetric Badge
    Chapter 16 Domain-Specific Modelling for Human–Computer Interaction
  18. Altmetric Badge
    Chapter 17 Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment
  19. Altmetric Badge
    Chapter 18 A Public Tool Suite for Modelling Interactive Applications
  20. Altmetric Badge
    Chapter 19 Formal Modelling of App-Ensembles
  21. Altmetric Badge
    Chapter 20 Dealing with Faults During Operations: Beyond Classical Use of Formal Methods
  22. Altmetric Badge
    Chapter 21 Erratum to: The Handbook of Formal Methods in Human-Computer Interaction
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
9 X users
facebook
1 Facebook page

Readers on

mendeley
41 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
The Handbook of Formal Methods in Human-Computer Interaction
Published by
Springer International Publishing, January 2017
DOI 10.1007/978-3-319-51838-1
ISBNs
978-3-31-951838-1, 978-3-31-951837-4
Editors

Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque

X Demographics

X Demographics

The data shown below were collected from the profiles of 9 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 41 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Estonia 1 2%
United States 1 2%
Unknown 39 95%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 9 22%
Student > Master 8 20%
Student > Bachelor 5 12%
Researcher 5 12%
Student > Doctoral Student 3 7%
Other 11 27%
Readers by discipline Count As %
Computer Science 20 49%
Engineering 7 17%
Psychology 4 10%
Unspecified 3 7%
Design 2 5%
Other 5 12%