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...

Täydet tiedot

Bibliografiset tiedot

Päätekijä:	Calegari García, Daniel (author)
Aineistotyyppi:	doctoralThesis
Kieli:	englanti
Julkaistu:	2014
Aiheet:	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
Linkit:	http://hdl.handle.net/20.500.12008/2906
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!