19 search results - page 1 / 4 » Compositional model checking of software product lines using... |
ASE
2011
12 years 11 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...
ECOOP
2001
Springer
13 years 9 months ago
2001
Springer
Features are essential characteristic of applications within a product line. Features organized in different kinds of diagrams containing hierarchies of feature trees are closely ...
VAMOS
2007
Springer
13 years 10 months ago
2007
Springer
Using a product line approach allows companies realize significant improvements in time-to-market, cost, productivity, and quality. One fundamental problem in software product lin...
VAMOS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract--One of the design goals of Product Line Architectures (PLAs) is to remain stable while accommodating changes of stakeholder's requirements. However, the stability of...
JUCS
2008
13 years 4 months ago
2008
: The mining of generic software components from legacy systems can be used as an auxiliary technique to revitalize systems. This paper presents a software maintenance approach tha...