A type-theoretic framework for certified model transformations

DOI10.1007/978-3-642-19829-8_8MaRDI QIDQ2999313zbMATH OpenOpenAlexFDO

Authors Daniel Calegari, Carlos Luna, Nora Szasz, Álvaro Tasistro

Publication date 12 May 2011

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

Full work available at URL http://hdl.handle.net/20.500.11968/2726

Mathematics Subject Classification ID

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

Recommendations

• A framework for model transformation verification
• On the Specification and Verification of Model Transformations
• Modeling and verifying graph transformations in proof assistants
• A model-based development approach for model transformations
• ATL: A model transformation tool

Cited in

(3)

• A framework for model transformation verification
• Composition of Model Transformations: A Categorical Framework
• A new model transformation method and its application to extending a class of stability criteria of neutral type systems

Describes a project that uses

Uses Software

• Coq

This page was built for publication: A type-theoretic framework for certified model transformations

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