A type-theoretic framework for certified model transformations

"We present a framework based on the Calculus of Inductive Constructions (CIC) and its associated tool the Coq proof assistant to allow certification of model transformations in the context of Model-Driven Engineering (MDE). The approached is based on a semi-automatic translation process from metamo...

Full description

Bibliographic Details

Main Author:	Calegari, Daniel (author)
Other Authors:	Luna, Carlos (author), Szasz, Nora (author), Tasistro, Álvaro (author)
Format:	report
Language:	English
Published:	2010
Subjects:	TEOREMA AUTOMÁTICO-DEMOSTRACIÓN TEORÍA DE TIPOS SOFTWARE-DESARROLLO INGENIERÍA DIRIGIDA POR MODELOS
Online Access:	http://hdl.handle.net/20.500.11968/2726
Tags:	Add Tag No Tags, Be the first to tag this record!