The Handbook of Formal Methods in Human-Computer Interaction /
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , , , |
| Formato: | eBook |
| Lenguaje: | English |
| Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edición: | 1st ed. 2017. |
| Colección: | Human–Computer Interaction Series,
|
| Materias: |
Tabla de Contenidos:
- 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. .