Model-Driven Engineering in the Heterogeneous Tool Set

DOI10.1007/978-3-319-15075-8_5zbMath1335.68152OpenAlexW1789853042MaRDI QIDQ2797864

Nora Szasz, Daniel Calegari, Till Mossakowski

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)

Uses Software

• Hets

Cites Work

• Unnamed Item
• Unnamed Item
• Logical foundations of CafeOBJ
• Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl
• Generalized Theoroidal Institution Comorphisms
• A Heterogeneous Approach to UML Semantics
• Institutions: abstract model theory for specification and programming
• Institution-Based Semantics for MOF and QVT-Relations

This page was built for publication: Model-Driven Engineering in the Heterogeneous Tool Set