Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Object-oriented software engineering
Object-oriented software engineering
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Computer
Engineering of Framework-Specific Modeling Languages
IEEE Transactions on Software Engineering
Patterns-Based Engineering: Successfully Delivering Solutions via Patterns
Patterns-Based Engineering: Successfully Delivering Solutions via Patterns
Challenges of Variability in Model-Driven and Transformational Approaches: A Systematic Survey
WICSA '11 Proceedings of the 2011 Ninth Working IEEE/IFIP Conference on Software Architecture
Hi-index | 0.00 |
Scenarios are useful in modeling external behavior of a system, and design patterns are useful in bridging from what is required to how to build it in a given context. Together, scenarios and design patterns, can be a basis for an effective approach to modeling and evaluating alternative designs of event-driven reactive systems. However, both techniques are informal and imprecise for purposes of evaluating implementations. Here we demo a tool based on a precise model of scenarios and design patterns that allows for executing and evaluating a system's implementation relative to required scenarios and design alternatives.