A classification and survey of 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 family of software products that …
both in industry and in academia. A software product line is a family of software products that …
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 …
Feature-oriented software product lines
The idea for this book arose from a series of lectures on modern programming paradigms,
feature-oriented programming, and software product lines that are continuously held at the …
feature-oriented programming, and software product lines that are continuously held at the …
The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability
Abstract Reasoning about the correctness of parallel and distributed systems requires
automated tools. By now, the mCRL2 toolset and language have been developed over a …
automated tools. By now, the mCRL2 toolset and language have been developed over a …
Cool features and tough decisions: a comparison of variability modeling approaches
Variability modeling is essential for defining and managing the commonalities and
variabilities in software product lines. Numerous variability modeling approaches exist today …
variabilities in software product lines. Numerous variability modeling approaches exist today …
Predicting performance via automated feature-interaction detection
Customizable programs and program families provide user-selectable features to allow
users to tailor a program to an application scenario. Knowing in advance which feature …
users to tailor a program to an application scenario. Knowing in advance which feature …
Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking
The premise of variability-intensive systems, specifically in software product line
engineering, is the ability to produce a large family of different systems efficiently. Many such …
engineering, is the ability to produce a large family of different systems efficiently. Many such …
Variability-aware parsing in the presence of lexical macros and conditional compilation
In many projects, lexical preprocessors are used to manage different variants of the project
(using conditional compilation) and to define compile-time code transformations (using …
(using conditional compilation) and to define compile-time code transformations (using …
Strategies for product-line verification: case studies and experiments
Product-line technology is increasingly used in mission-critical and safety-critical
applications. Hence, researchers are develo** verification approaches that follow different …
applications. Hence, researchers are develo** verification approaches that follow different …
Symbolic model checking of software product lines
We study the problem of model checking software product line (SPL) behaviours against
temporal properties. This is more difficult than for single systems because an SPL with n …
temporal properties. This is more difficult than for single systems because an SPL with n …