Software product line engineering is about producing a set of related products that share
more commonalities than variabilities. Feature models are widely used for variability and …

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 …

Mass customization is the new frontier in business competition for both manufacturing and
service industries. To improve customer satisfaction, reduce lead-times and shorten costs …

A medium‐sized domain‐engineering process can contain thousands of features that all
have constraint dependency rules between them. Therefore, the validation of the content of …

This thesis explores the subject of automatic verification of product line models. This
approach is based on the hypothesis that to automatically verify product line models, they …

Software product lines are typically developed using model-based approaches. Models are
used to guide and automate key activities such as the derivation of products. The verification …

The history of software and system development shows that abstraction plays a major role in
making complexity manageable (Bosch 2000). Thus, abstracting the common and variable …

A feature model is a compact representation of the products of a software product line. The
automated extraction of information from feature models is a thriving topic involving …

There has been increasing interest in modeling software product lines (SPLs) using
architecture description languages (ADLs). However, sometimes it is required to reverse …

This study proposes a rule based method for detecting anomalies in SPL. By anomalies we
mean falseoptional features and wrong cardinality. Software Product Line (SPL) is an …