A Type-Theoretic Framework for Certified Model Transformations

DOI10.1007/978-3-642-19829-8_8zbMath1325.68059OpenAlexW1496759536MaRDI QIDQ2999313

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

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)

Related Items (1)

A framework for model transformation verification

Uses Software

• Coq

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: A Type-Theoretic Framework for Certified Model Transformations