29 search results - page 1 / 6 » Modeling and Composing Scenario-Based Requirements with Aspe... |
RE
2004
Springer
13 years 10 months ago
2004
Springer
There has been significant recent interest, within the Aspect-Oriented Software Development (AOSD) community, in representing crosscutting concerns at various stages of the softwa...
FM
2009
Springer
13 years 2 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
AOSD
2010
ACM
13 years 9 months ago
2010
ACM
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...
RE
2004
Springer
13 years 10 months ago
2004
Springer
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
TAOSD
2010
13 years 2 months ago
2010
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...