A theory of software product line refinement

DOI10.1016/J.TCS.2012.01.031MaRDI QIDQ714875zbMATH OpenOpenAlexFDO

Authors Paulo Borba, Leopoldo Teixeira, Rohit Gheyi

Publication date 11 October 2012

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

Full work available at URL https://doi.org/10.1016/j.tcs.2012.01.031

zbMATH Keywords

refactoringrefinementsoftware evolutionsoftware product lines

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A theory of software product line refinement
• Refinements and product line architectures (abstract of invited talk)
• Improving software product line using an ontological approach

Cites work

• A theory of software product line refinement
• Algebraic reasoning for object-oriented programming
• An abstract equivalence notion for object models
• Easing the transition to software mass customization
• Generic semantics of feature diagrams
• scientific article; zbMATH DE number 3776831 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• Laws of programming
• Proof of correctness of data representations
• Refactoring: Improving the design of existing code
• Software Product Line Engineering
• The laws of Occam programming

Cited in

(11)

• Language family engineering with product lines of multi-level models
• Compositional type checking of delta-oriented software product lines
• Behavioural inheritance in the UML to model software product lines
• A theory of software product line refinement
• Product instantiation in software product lines: A case study
• Refinements and product line architectures (abstract of invited talk)
• Evolutionary introduction of software product lines
• Multi-level model product lines. Open and closed variability for modelling language families
• A refinement relation for families of timed automata
• Modular soundness checking of feature model evolution plans
• Modular soundness checking of feature model evolution plans

Describes a project that uses

Uses Software

• PVS
• Z

This page was built for publication: A theory of software product line refinement

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