VDM-Europe Symposium 1987 on VDM '87: VDM---a formal method at work
VDM-Europe Symposium 1987 on VDM '87: VDM---a formal method at work
The Z notation: a reference manual
The Z notation: a reference manual
Developing user interfaces: ensuring usability through product & process
Developing user interfaces: ensuring usability through product & process
The GOMS family of user interface analysis techniques: comparison and contrast
ACM Transactions on Computer-Human Interaction (TOCHI)
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Proceedings of the third international conference on Computer-aided design of user interfaces
Model-Based Design and Evaluation of Interactive Applications
Model-Based Design and Evaluation of Interactive Applications
Declarative interface models for user interface construction tools: the MASTERMIND approach
Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction
A Tool Suite for Integrating Task and System Models through Scenarios
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
Bringing Robustness to End-User Programming
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
| Hi-index | 0.00 |
The approach presented in this contribution is the collaboration of interface builders and model based systems in order to define a method and an environment for building safe interactive applications. We concentrate particularly on the integration of a task model, and we describe the interactive tools that allow editing and evaluating this model.