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 …

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 …

[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 …

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 …

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 …

On type checking delta-oriented product lines

F Damiani, M Lienhardt - International Conference on Integrated Formal …, 2016 - Springer
Abstract A Software Product Line (SPL) is a set of similar programs generated from a
common code base. Delta Oriented Programming (DOP) is a flexible approach to implement …

[HTML][HTML] On checking delta-oriented product lines of statecharts

M Lienhardt, F Damiani, L Testa, G Turin - Science of Computer …, 2018 - Elsevier
Abstract A Software Product Line (SPL) is a set of programs, called variants, which are
generated from a common artifact base. Delta-Oriented Programming (DOP) is a flexible …