The Handbook of Formal Methods in Human-Computer Interaction /
| Corporate Author: | |
|---|---|
| Other Authors: | , , , |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edition: | 1st ed. 2017. |
| Series: | Human-Computer Interaction Series,
|
| Subjects: |
Table of Contents:
- Foreword
- Part I: Introduction
- State of the Art in Formal Methods in HCI
- Topics of formal methods in HCI
- Trends and Gaps
- Case Studies
- Part II: Modeling, Execution and Simulation
- Visual and Formal Modeling of Modularized and Executable User Interface Models
- Combining Models for Interactive System Modelling
- Activity Modelling for Low-Intention Interaction
- Modelling the User Physigrams - Modeling Physical Device Characteristics Interaction
- Formal Description of Adaptive Interactive Systems based on Executable User Interface Models
- Part II:Analysis, Validation and Verification
- Learning Safe Interactions and Full-Control
- Reasoning About Interactive Systems in Dynamic Situations of Use Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human
- Behavior in the Verification of Complex Systems
- The Specification and Analysis of Use Properties of a Nuclear
- Control System
- Formal Analysis of Multiple Coordinated HMI Systems
- Part IV: Future Opportunities and Developments
- Domain-Specific Modelling for Human-Computer Interaction
- Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment
- A Public Tool Suite for Modelling Interactive Applications
- Formal Modeling of App-Ensembles
- Dealing with Faults during Operations: Beyond Classical Use of Formal Methods. .