Steps toward a partnership: ethnography and system design
Requirements engineering
The Muse method for usability engineering
The Muse method for usability engineering
Design-oriented human-computer interaction
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
UML Distilled: A Brief Guide to the Standard Object Modeling Language
UML Distilled: A Brief Guide to the Standard Object Modeling Language
Exploring design as a research activity
CHI '07 Extended Abstracts on Human Factors in Computing Systems
HOPS: A Prototypical Specification Tool for Interactive Systems
Interactive Systems. Design, Specification, and Verification
Using task models for cascading selective undo
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
| Hi-index | 0.00 |
Most current model-based design approaches tend to be specifi cation -driven. Using task models solely at the specification level, contradicts the very idea inherent to task-based design. This paper suggests to look for improvements of the situation at different levels of artifact use. First, HOPS is introduced as a general specification formalism for the interaction paradigm which also allows advanced task modeling. Second, we propose to apply formal modeling in different modes during the different stages of a design process. "Task sketching" is elaborated more deeply. And third, a combination with complementary techniques is recommended to embed the development of formal system specifications in a reflective conversation between all stake holders. An example is used throughout the paper to illustrate our ideas.