Heterogeneous verification of model transformations

Esta tesis trata sobre la verificación formal en el contexto de la Ingeniería Dirigida por Modelos (MDE por sus siglas en inglés). El paradigma propone un ciclo de vida de la ingeniería de software basado en una abstracción de su complejidad a través de la definición de modelos y en un proceso de co...

Full description

Bibliographic Details

Main Author:	Calegari García, Daniel (author)
Format:	doctoralThesis
Language:	English
Published:	2014
Subjects:	Ingeniería Dirigida por Modelos Verificación Métodos formales Teoría de Instituciones MOF QVT-Relations Heterogeneous Tool Set Model-Driven engineering Formal methods Theory of institutions
Online Access:	http://hdl.handle.net/20.500.12008/2906
Tags:	Add Tag No Tags, Be the first to tag this record!