Graphical animation of behavior models
Proceedings of the 22nd international conference on Software engineering
Writing Effective Use Cases
Task Descriptions as Functional Requirements
IEEE Software
Requirements Engineering in the Health Care Domain
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
Supporting Human Activities - Exploring Activity-Centered Computing
UbiComp '02 Proceedings of the 4th international conference on Ubiquitous Computing
Context-descriptive prototypes and their application to medicine administration
DIS '04 Proceedings of the 5th conference on Designing interactive systems: processes, practices, methods, and techniques
A case study of coloured Petri nets in object-oriented analysis and design
Nordic Journal of Computing
On Generating EFSM Models from Use Cases
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Requirements Modeling and Validation Using Bi-layer Use Case Descriptions
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Middleware for management of end-user programming of clinical activities in a pervasive environment
WMUPS '09 Proceedings of the 2009 Workshop on Middleware for Ubiquitous and Pervasive Systems
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Using colored petri nets and tools to support mobile terminal and network software development
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Emotion-aware assistive system for humanistic care based on the orange computing concept
Applied Computational Intelligence and Soft Computing - Special issue on Awareness Science and Engineering
REUBI: A Requirements Engineering method for ubiquitous systems
Science of Computer Programming
Applying model-driven engineering to a method for systematic treatment of NFRs in AmI systems
Journal of Ambient Intelligence and Smart Environments - Intelligent agents in Ambient Intelligence and smart environments
| Hi-index | 0.00 |
The authors introduce executable use cases and describe how they were applied in requirements engineering for a new pervasive health care system for hospitals in Denmark. EUCs combine prose, formal models, and animation to represent new work processes and their proposed computer support. The representation enables stakeholders to interactively investigate system requirements in the context of the envisioned work processes.