A theory of software product line refinement
From MaRDI portal
Publication:714875
DOI10.1016/J.TCS.2012.01.031zbMATH Open1254.68072OpenAlexW1975520397MaRDI QIDQ714875FDOQ714875
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
Recommendations
Cites Work
- Title not available (Why is that?)
- Laws of programming
- Title not available (Why is that?)
- Proof of correctness of data representations
- Software Product Line Engineering
- Generic semantics of feature diagrams
- Algebraic reasoning for object-oriented programming
- Title not available (Why is that?)
- The laws of Occam programming
- Title not available (Why is that?)
- An abstract equivalence notion for object models
- A theory of software product line refinement
- Title not available (Why is that?)
Cited In (10)
- A refinement relation for families of timed automata
- Title not available (Why is that?)
- Title not available (Why is that?)
- A theory of software product line refinement
- Title not available (Why is that?)
- Modular soundness checking of feature model evolution plans
- Behavioural inheritance in the UML to model software product lines
- Multi-level model product lines. Open and closed variability for modelling language families
- Language family engineering with product lines of multi-level models
- Compositional type checking of delta-oriented software product lines
Uses Software
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)
