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 …

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 …

In the era of mobile devices and the Internet of things, software systems are ubiquitous. A
multitude of hardware specifics, fast development of applications, and the need of …

Almost every software system provides configuration options to tailor the system to the target
platform and application scenario. Often, this configurability renders the analysis of every …

A software product line is a set of different software products that share commonalities. For a
selection of features, specialized products of one domain can be generated automatically …

The advent of variability management and generator technology enables users to derive
individual variants from a variable code base based on a selection of desired configuration …

Feature modeling is widely used to systematically model features of variant-rich software
systems and their dependencies. By translating feature models into propositional formulas …

Highly-configurable systems allow users to tailor the software to their specific needs. Not all
combinations of configuration options are valid though, and constraints arise for technical or …

A software product line (SPL) encodes a potentially large variety of software products as
variants of some common code base. Up until now, re-using traditional static analyses for …

In plugin-based systems, plugin conflicts may occur when two or more plugins interfere with
one another, changing their expected behaviors. It is highly challenging to detect plugin …