A theory of software product line refinement

DOI10.1016/j.tcs.2012.01.031zbMath1254.68072OpenAlexW1975520397MaRDI QIDQ714875

Paulo Borba, Rohit Gheyi, Leopoldo Teixeira

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

refinementsoftware evolutionsoftware product linesrefactoring

Mathematics Subject Classification ID

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

Related Items (2)

Multi-level Model Product Lines ⋮ Language family engineering with product lines of multi-level models

Uses Software

• PVS
• Z

Cites Work

• Generic semantics of feature diagrams
• Algebraic reasoning for object-oriented programming
• Proof of correctness of data representations
• The laws of Occam programming
• A Theory of Software Product Line Refinement
• Laws of programming
• Software Product Line Engineering
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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