The evolution of variant-rich systems is a challenging task. To support developers, the
research community has proposed a range of different techniques over the last decades …

The specification of a family of software products may include documents written in natural
language. Automatically extracting knowledge from these documents is a challenging …

QFLan offers modeling and analysis of highly reconfigurable systems, like product lines,
which are characterized by combinatorially many system variants (or products) that can be …

Feature Models (FMs) are a mechanism to model variability among a family of closely
related software products, ie a software product line (SPL). Analysis of FMs using formal …

Managing design-time uncertainty, ie, uncertainty that developers have about making
design decisions, requires creation of “uncertainty-aware” software engineering …

Software product lines are commonly adopted in industry to manage the development of
complex families of software systems. Software engineering activities use models at their …

Today's software systems are too complex to ensure security after the fact–security has to be
built into systems by design. To this end, model-based techniques such as UMLsec support …

Engineering Cyber-Physical Production Systems (CPPSs) involves several different
disciplines, where team members range from mechanical, electrical, and automation …

Applying program analyses to Software Product Lines (SPLs) has been a fundamental
research problem at the intersection of Product Line Engineering and software analysis …

Software engineering uses models throughout most phases of the development process.
Models are defined using modelling languages. To make these languages applicable to a …