26 search results - page 1 / 6 » HiLA: High-Level Aspects for UML State Machines |
MODELS
2009
Springer
13 years 11 months ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...
MOMM
2009
ACM
13 years 9 months ago
2009
ACM
Modeling adaptivity is a challenging task for two reasons: 1) adaptation is usually strongly interwoven with the general functionality of the web application, separation of concer...
TVLSI
2008
13 years 4 months ago
2008
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...
MODELS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Separation of Concerns (SoC) is an important issue to reduce the complexity of software. Recent advances in programming language research show that Aspect-Oriented Progra...
MODELS
2007
Springer
13 years 11 months ago
2007
Springer
We propose a method for describing architectural aspects in UML and show how binding specifications are used to compose aspects with base models. UML classes, parts, ports, and c...