Recommendations
Cites work
- 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?)
- scientific article; zbMATH DE number 1929900 (Why is no real title available?)
- scientific article; zbMATH DE number 2086572 (Why is no real title available?)
- A theory of software product line refinement
- Algebraic reasoning for object-oriented programming
- An abstract equivalence notion for object models
- Generic semantics of feature diagrams
- Laws of programming
- Proof of correctness of data representations
- Software Product Line Engineering
- The laws of Occam programming
Cited in
(10)- Compositional type checking of delta-oriented software product lines
- scientific article; zbMATH DE number 2000457 (Why is no real title available?)
- Modular soundness checking of feature model evolution plans
- scientific article; zbMATH DE number 2090105 (Why is no real title available?)
- A refinement relation for families of timed automata
- A theory of software product line refinement
- Language family engineering with product lines of multi-level models
- Behavioural inheritance in the UML to model software product lines
- scientific article; zbMATH DE number 2080279 (Why is no real title available?)
- Multi-level model product lines. Open and closed variability for modelling language families
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)
