A strategy for model construction and integration in MDA

zbMATH Open1100.68556MaRDI QIDQ5490385FDOQ5490385

Authors: Jing Liu, Jifeng He, Huaikou Miao 

Publication date: 4 October 2006

Recommendations

• FM 2005: Formal Methods
• scientific article; zbMATH DE number 2086957
• Formal concepts for an integrated internal model of the UML
• scientific article; zbMATH DE number 2016069
• Theoretical Aspects of Computing - ICTAC 2004

zbMATH Keywords

modelcomponentformal methodUTPmodel driven architecture (MDA)

Mathematics Subject Classification ID

Theory of software (68N99)

Cited In (3)

• Definition and use of computation independent models in an MDA-based groupware development process
• FM 2005: Formal Methods
• An approach to MDA-ComDeValCo framework

This page was built for publication: A strategy for model construction and integration in MDA

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