Sciweavers

2276 search results - page 29 / 456
» Aspect-Oriented Requirements Engineering for Component-Based...
Sort
View
126
Voted
CBSE
2006
Springer
15 years 7 months ago
Verification of Component-Based Software Application Families
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
Fei Xie, James C. Browne
142
Voted
MOMPES
2007
IEEE
15 years 9 months ago
Adopting Computational Independent Models for Derivation of Architectural Requirements of Software Product Lines
The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. Th...
Alexandre Bragança, Ricardo Jorge Machado
CSMR
2003
IEEE
15 years 8 months ago
Supporting Evolution in Component-Based Development Using Component Libraries
Component-based software development (CBSD) is a very promising software engineering technique for improving reuse and maintenance. Nevertheless, there are still some difficultie...
Miro Casanova, Ragnhild Van Der Straeten, Viviane ...
132
Voted
ASWEC
2009
IEEE
15 years 8 months ago
Connector-Driven Process for the Gradual Evolution of Component-Based Software
Large, complex and long-lived software need to be upgraded at runtime. Addition, removal and replacement of a software component are the elementary evolution operations that have ...
Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Va...
137
Voted
KBSE
2006
IEEE
15 years 9 months ago
Detecting Precedence-Related Advice Interference
Aspect-Oriented Programming (AOP) has been proposed in literature to overcome modularization shortcomings such as the tyranny of the dominant decomposition. However, the new langu...
Maximilian Storzer, Florian Forster