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 …

Although a feature model can represent commonalities and variabilities in a very concise
taxonomic form, features in a feature model are merely symbols. Mapping features to other …

In product line engineering, systems are developed in families and differences between
family members are expressed in terms of features. Formal modelling and verification is an …

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 …

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 …

Written by foremost experts in the field, Engineering Modeling Languages provides end-to-
end coverage of the engineering of modeling languages to turn domain knowledge into …

Feature modeling has been proposed as an approach for describing variable requirements
for software product lines. In this paper, we explore the relationship between feature models …

Nowadays, process oriented software systems, like many business information systems,
don't exist only in one single version, which covers the whole target market. Instead, many …

We present SNIP, an efficient model checker for software product lines (SPLs). Variability in
software product lines is generally expressed in terms of features, and the number of …

Software product line engineering introduces two new dimensions into the traditional
engineering of software-based systems: the variability modeling and the product derivation …