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 …

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 …

In this paper, we present a feature-oriented requirements modelling language (FORML) for
modelling the behavioural requirements of a software product line. FORML aims to support …

Analyzing software product lines is difficult, due to their inherent variability. In the past,
several strategies for product-line analysis have been proposed, in particular, product …