A classification and survey of analysis strategies for software product lines

T Thüm, S Apel, C Kästner, I Schaefer… - ACM Computing Surveys …, 2014‏ - dl.acm.org
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 …

DeltaJ 1.5: delta-oriented programming for Java 1.5

J Koscielny, S Holthusen, I Schaefer… - Proceedings of the …, 2014‏ - dl.acm.org
Delta-oriented programming (DOP) is a modular, yet flexible approach to implement
software product lines. In DOP, a product line is implemented by a set of deltas, which are …

[HTML][HTML] Variability encoding: From compile-time to load-time variability

A von Rhein, T Thüm, I Schaefer, J Liebig… - Journal of Logical and …, 2016‏ - Elsevier
Many software systems today are configurable. Analyzing configurable systems is
challenging, especially as (1) the number of system variants may grow exponentially with …

Integrated management of variability in space and time in software families

C Seidl, I Schaefer, U Aßmann - Proceedings of the 18th International …, 2014‏ - dl.acm.org
Software product lines (SPLs) and software ecosystems (SECOs) encompass a family of
closely related software systems in terms of common and variable assets that are configured …

Managing control software variability in Cyber-Physical Production Systems: The V4rdiac approach

HS Fadhlillah, K Meixner, S Greiner… - Journal of Systems and …, 2025‏ - Elsevier
Abstract Cyber-Physical Production Systems (CPPSs) are highly configurable and versatile
production systems that utilize diverse hardware components through control software …

A comparison of product-based, feature-based, and family-based type checking

S Kolesnikov, A von Rhein, C Hunsen, S Apel - ACM SIGPLAN Notices, 2013‏ - dl.acm.org
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 …

Compositional feature-oriented systems

C Dubslaff - Software Engineering and Formal Methods: 17th …, 2019‏ - Springer
Feature-oriented systems describe system variants through features as first-class
abstractions of optional or incremental units of systems functionality. The choice how to treat …

Scaling size and parameter spaces in variability-aware software performance models (t)

M Kowal, M Tschaikowski… - 2015 30th IEEE/ACM …, 2015‏ - ieeexplore.ieee.org
In software performance engineering, what-if scenarios, architecture optimization, capacity
planning, run-time adaptation, and uncertainty management of realistic models typically …

[PDF][PDF] Product-line specification and verification with feature-oriented contracts

T Thüm - 2015‏ - Citeseer
Variability is ubiquitous in today's software development. While techniques to efficiently
implement software product lines are used for decades, verification techniques have been a …

Delta-oriented multi software product lines

F Damiani, I Schaefer, T Winkelmann - Proceedings of the 18th …, 2014‏ - dl.acm.org
Modern software systems outgrow the scope of traditional software product lines (SPLs)
resulting in multi software product lines (MSPLs) with many interconnected subsystem …