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)

Full work available at URL https://doi.org/10.1016/J.TCS.2025.115451

zbMATH Keywords

evolution planninginterval-based feature modelsmodularitysoftware product line

Mathematics Subject Classification ID

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

Cites work

• A theory of software product line refinement
• Characterizing conflicts between rule application and rule evolution in graph transformation systems
• scientific article; zbMATH DE number 2090099 (Why is no real title available?)
• Modular soundness checking of feature model evolution plans
• On the essence and initiality of conflicts
• Software Product Line Engineering

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)