Highly-configurable systems are such systems which are not developed for single scenario.
However, perhaps they have variable functionality and they are developed for hybrid …

Almost every sufficiently complex software system today is configurable. Conditional
compilation is a simple variability-implementation mechanism that is widely used in open …

Variability models are broadly used to specify the configurable features of highly
customizable software. In practice, they can be large, defining thousands of features with …

Automated analysis of variability models is crucial for managing software system variants,
customized for different market segments or contexts of use. As most approaches for …

A configurable system enables users to derive individual system variants based on a
selection of configuration options. To cope with the often huge number of possible …

The configuration space of some systems is so large that it cannot be computed. This is the
case with the Linux Kernel, which provides almost 19,000 configurable options described …

Mass customization enables the creation of personalized products that fulfill the features
desired by specific customers. In this context, variability models are used to specify which …

Abstract Software Product Lines (SPLs) are families of related software systems that provide
different combinations of features. Extensive research and application attest to the significant …

The Linux kernel is a highly configurable software system. The aim of this paper is to
develop a formal method for the analysis of the configuration space. We first develop a Linux …

To compete in the global marketplace, manufacturers try to differentiate their products by
focusing on individual customer needs. Fulfilling this goal requires companies to shift from …