Model-driven engineering in the heterogeneous tool set

DOI10.1007/978-3-319-15075-8_5MaRDI QIDQ2797864zbMATH OpenOpenAlexFDO

Authors Daniel Calegari, Till Mossakowski, Nora Szasz

Publication date 1 April 2016

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-15075-8_5

zbMATH Keywords

verificationformal methodsmodel-driven engineering

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Institution-based semantics for MOF and QVT-relations
• Integrating Maude into Hets
• scientific article; zbMATH DE number 5994839
• A framework for model transformation verification
• Heterogeneous Logical Environments for Distributed Specifications

Cites work

• scientific article; zbMATH DE number 2172806 (Why is no real title available?)
• scientific article; zbMATH DE number 2086957 (Why is no real title available?)
• A Heterogeneous Approach to UML Semantics
• Designing domain specific languages -- a craftsman's approach for the railway domain using \textsc{Casl}
• Generalized Theoroidal Institution Comorphisms
• Institution-based semantics for MOF and QVT-relations
• Institutions: abstract model theory for specification and programming
• Logical foundations of CafeOBJ

Cited in

(3)

• Institution-based semantics for MOF and QVT-relations
• Unanticipated integration of development tools using the classification model
• Integrating Maude into Hets

Describes a project that uses

Uses Software

• Hets

This page was built for publication: Model-driven engineering in the heterogeneous tool set

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