Experiment with a type-theoretic approach to the verification of model transformations

"This paper presents ongoing work on the application of constructive type theory for safe development in Model-Driven Engineering. In particular, we put into practice a certification framework based on the Calculus of Inductive Constructions (CIC) as follows: we first describe methods for representi...

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:	2009
Subjects:	TEORÍA DE TIPOS TEOREMA AUTOMÁTICO-DEMOSTRACIÓN SOFTWARE-DESARROLLO INGENIERÍA DIRIGIDA POR MODELOS
Online Access:	http://hdl.handle.net/20.500.11968/2727
Tags:	Add Tag No Tags, Be the first to tag this record!