Log In
Or create an account ->
Imperial Library
Home
About
News
Upload
Forum
Help
Login/SignUp
Index
Cover
Frontmatter
1. Introduction
1. State of the Art on Formal Methods for Interactive Systems
2. Topics of Formal Methods in HCI
3. Trends and Gaps
4. Case Studies
2. Modeling, Execution and Simulation
5. Visual and Formal Modeling of Modularized and Executable User Interface Models
6. Combining Models for Interactive System Modelling
7. Activity Modelling for Low-Intention Interaction
8. Modelling the User
9. Physigrams: Modelling Physical Device Characteristics Interaction
10. Formal Description of Adaptable Interactive Systems Based on Reconfigurable User Interface Models
3. Analysis, Validation and Verification
11. Learning Safe Interactions and Full-Control
12. Reasoning About Interactive Systems in Dynamic Situations of Use
13. Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex Systems
14. The Specification and Analysis of Use Properties of a Nuclear Control System
15. Formal Analysis of Multiple Coordinated HMI Systems
4. Future Opportunities and Developments
16. Domain-Specific Modelling for Human–Computer Interaction
17. Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment
18. A Public Tool Suite for Modelling Interactive Applications
19. Formal Modelling of App-Ensembles
20. Dealing with Faults During Operations: Beyond Classical Use of Formal Methods
← Prev
Back
Next →
← Prev
Back
Next →