Product lines are widely used to manage families of products that share a common base of
features. Typically, not every combination (configuration) of features is valid. Feature models …

Feature models are commonly used to specify the valid configurations of a product line. In
industry, feature models are often complex due to a large number of features and …

Challenging domains of the future such as Smart Cities, Cloud Computing, or Industry 4.0
expose highly variable systems with colossal configuration spaces. The automated analysis …

Cross-tree constraints give feature models maximal expressive power since any
interdependency between features can be captured through arbitrary propositional logic …

Feature models are commonly used to specify the valid configurations of product lines. As
industrial feature models are typically complex, researchers and practitioners employ …

The planning, realization, and release of a Software Product Line (SPL) are driven by
features. Therefore, many high-level decisions about the evolution of an SPL are made at …

Family-based model checking of product families is a technique to verify multiple products
simultaneously by model checking the variational model. This technique is useful for design …

Un árbol de características generalizado (GFT) es un modelo de variabilidad en el que las
restricciones textuales han sido eliminadas manteniendo la semántica del modelo. La …

Cross-tree constraints give feature models maximal expressive power since any
interdependency between features can be captured through arbitrary propositional logic …