A rational design process: How and why to fake it
IEEE Transactions on Software Engineering
Cognitive walkthroughs: a method for theory-based evaluation of user interfaces
International Journal of Man-Machine Studies
Challenging Universal Truths of Requirements Engineering
IEEE Software
Multidisciplinary modelling in HCI design…in theory and in practice
CHI '95 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Software Engineering: Theory and Practice
Software Engineering: Theory and Practice
Model-Based Design and Evaluation of Interactive Applications
Model-Based Design and Evaluation of Interactive Applications
Analyzing human-computer interaction as distributed cognition: the resources model
Human-Computer Interaction
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
Representations for an iterative resource-based design approach
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
| Hi-index | 0.00 |
The paper investigates the co-evolution of models and implementations of interactive systems within the model-based design paradigm. A view of implementations as pure results of top-down model refinements is rejected. On the one hand, models inform or even drive further design and implementation steps. On the other hand, implementation ideas emerge during the iterative development process. They can be evaluated and further explored by models. In particular, selective modeling allows to focus attention on certain aspects of the interaction. Higher-Order Processes Specifications (HOPS) describe interactive systems from different viewpoints and at different levels of granularity. The HOPS tool is used to suggest techniques for intertwining modeling and implementation activities. Object-oriented implementations in Java can be assigned to HOPS models. Their animation results in model-guided prototyping open for both empirical and analytical evaluation.