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 …

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 …

Product-line technology is increasingly used in mission-critical and safety-critical
applications. Hence, researchers are developing verification approaches that follow different …

In product line engineering individual products are derived from the domain artifacts of the
product line. The reuse of the domain artifacts is constraint by the product line variability …

Context: Software product line engineering has proven to be an efficient paradigm to
developing families of similar software systems at lower costs, in shorter time, and with …

Formal specification and verification techniques have been used successfully to detect
feature interactions. We investigate whether feature-based specifications can be used for …

Software-product-line engineering has gained considerable momentum in recent years,
both in industry and in academia. A software product line is a set of software products that …

Software Product Line (SPL) engineering is a software engineering paradigm that exploits
the commonality between similar software products to reduce life cycle costs and time-to …

Modularity of feature representations has been a long standing goal of feature-oriented
software development. While some researchers regard feature modules and corresponding …

Abstract [Context and motivation] Safety critical software systems pervade almost every facet
of our lives. We rely on them for safe air and automative travel, healthcare diagnosis and …