Software diversity: state of the art and perspectives
Diversity is prevalent in modern software systems to facilitate adapting the software to
customer requirements or the execution environment. Diversity has an impact on all phases …
customer requirements or the execution environment. Diversity has an impact on all phases …
Delta-oriented programming of software product lines
Feature-oriented programming (FOP) implements software product lines by composition of
feature modules. It relies on the principles of stepwise development. Feature modules are …
feature modules. It relies on the principles of stepwise development. Feature modules are …
Type checking annotation-based product lines
Software product line engineering is an efficient means of generating a family of program
variants for a domain from a single code base. However, because of the potentially high …
variants for a domain from a single code base. However, because of the potentially high …
Abstract delta modeling
Delta modeling is an approach to facilitate automated product derivation for software product
lines. It is based on a set of deltas specifying modifications that are incrementally applied to …
lines. It is based on a set of deltas specifying modifications that are incrementally applied to …
Virtual separation of concerns: toward preprocessors 2.0
C Kästner - 2012 - degruyter.com
Bedingte Kompilierung ist ein einfaches und häufig benutztes Mittel zur Implementierung
von Variabilität in Softwareproduktlinien, welches aber aufgrund negativer Auswirkungen …
von Variabilität in Softwareproduktlinien, welches aber aufgrund negativer Auswirkungen …
[PDF][PDF] Analysis strategies for software product lines
Software-product-line engineering has gained considerable momentum in recent years,
both in industry and in academia. A software product line is a set of software products that …
both in industry and in academia. A software product line is a set of software products that …
Pure delta-oriented programming
I Schaefer, F Damiani - Proceedings of the 2nd International Workshop …, 2010 - dl.acm.org
Delta-oriented programming (DOP) is a modular approach for implementing software
product lines. Delta modules generalize feature modules by allowing removal of …
product lines. Delta modules generalize feature modules by allowing removal of …
Compositional type-checking for delta-oriented programming
Delta-oriented programming is a compositional approach to flexibly implementing software
product lines. A product line is represented by a code base and a product line declaration …
product lines. A product line is represented by a code base and a product line declaration …
Compositional type checking of delta-oriented software product lines
Delta-oriented programming is a compositional approach to flexibly implementing software
product lines. A product line is represented by a code base and a product line declaration …
product lines. A product line is represented by a code base and a product line declaration …
A Liskov principle for delta-oriented programming
R Hähnle, I Schaefer - … Symposium On Leveraging Applications of Formal …, 2012 - Springer
In formal verification of software product families one not only analyses programs, but must
act on the artifacts and components which are reused to obtain software products. As the …
act on the artifacts and components which are reused to obtain software products. As the …