Traceability mappings as a fundamental instrument in model transformations

DOI10.1007/978-3-662-54494-5_14MaRDI QIDQ5215910zbMATH OpenOpenAlexFDO

Authors Zinovy Diskin, Abel Gómez, J. Cabot

Publication date 13 February 2020

Published in Fundamental Approaches to Software Engineering (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10609/78746

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2087589
• A model-based development approach for model transformations
• scientific article; zbMATH DE number 2016069
• Model transformations in MT
• On the Specification and Verification of Model Transformations

Cited in

(2)

• scientific article; zbMATH DE number 1903390 (Why is no real title available?)
• Termination and expressiveness of execution strategies for networks of bidirectional model transformations

This page was built for publication: Traceability mappings as a fundamental instrument in model transformations

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