A type-theoretic framework for certified model transformations

DOI10.1007/978-3-642-19829-8_8zbMATH Open1325.68059OpenAlexW1496759536MaRDI QIDQ2999313FDOQ2999313

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

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

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)