120 search results - page 6 / 24 » Software Architecture Decomposition Using Attributes |
CGO
2007
IEEE
14 years 2 months ago
2007
IEEE
The increasing complexity of hardware features for recent processors makes high performance code generation very challenging. In particular, several optimization targets have to b...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
JOT
2010
13 years 6 months ago
2010
The selection of software architecture style is an important decision of design stage, and has a significant impact on various system quality attributes. To determine software arc...
SOFTVIS
2006
ACM
14 years 1 months ago
2006
ACM
Understanding complex software systems requires getting insight in how system properties, such as performance, trust, reliability, or structural attributes, correspond to the syst...
VAMOS
2007
Springer
14 years 2 months ago
2007
Springer
Software products often need to vary in terms of functionality, but also in terms of quality attributes. We describe KumbangSec, which in an approach for modelling functional and ...