Modular soundness checking of feature model evolution plans

DOI10.1016/J.TCS.2025.115451MaRDI QIDQ6914027zbMATH OpenFDO

Authors Crystal Chang Din, Charaf Eddine Dridi, Ida Sandberg Motzfeldt, Violet Ka I. Pun, Volker Stolz, Ingrid Chieh Yu

Publication date 17 October 2025

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

modularitysoftware product lineevolution planninginterval-based feature models

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

This page was built for publication: Modular soundness checking of feature model evolution plans

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6914027)