An approach to MDA-ComDeValCo framework

MaRDI QIDQ2839583zbMATH OpenFDO

Authors Simona Motogna, Ioan Lazăr, Bazil Pârv

Publication date 11 July 2013

Published in Creative Mathematics and Informatics (Search for Journal in Brave)

zbMATH Keywords

executable modelrepository

Mathematics Subject Classification ID

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

Recommendations

• Formal Methods for Components and Objects
• A strategy for model construction and integration in MDA
• FM 2005: Formal Methods

Cited in

(2)

• scientific article; zbMATH DE number 1342010 (Why is no real title available?)
• scientific article; zbMATH DE number 1946730 (Why is no real title available?)

Describes a project that uses

Uses Software

• ComDeValCo

This page was built for publication: An approach to MDA-ComDeValCo framework

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