Refinement via consistency checking in MDA

MaRDI QIDQ2863838zbMATH OpenFDO

Authors Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105050954?np=y

zbMATH Keywords

consistencyrefinementtraceabilitymodel-driven architecture

Mathematics Subject Classification ID

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

Recommendations

• Refinement of UML collaborations
• Refinement and verification in component-based model-driven design
• Formal Methods for Components and Objects
• A model-based development approach for model transformations
• Refinement

Cited in

(4)

• Pattern-based genetic model refinements in MDA
• Refinement of UML collaborations
• Promoting models
• scientific article; zbMATH DE number 1982203 (Why is no real title available?)

This page was built for publication: Refinement via consistency checking in MDA

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