Institution-based semantics for MOF and QVT-relations :Extended version

En el paradigma de Ingeniería Dirigida por Modelos (Model-Driven Engineering, MDE), la calidad del software depende fuertemente de un proceso de construcción (semi)automático guiado por modelos y transformaciones de modelos, que debe ser confiable y robusto, dado que el menor error puede crecer e im...

Full description

Bibliographic Details

Main Author:	Calegari, Daniel (author)
Other Authors:	Szasz, Nora (author)
Format:	report
Published:	2013
Subjects:	MOF QVT-relations Semántica formal Teoría de instituciones Verificación formal
Online Access:	http://hdl.handle.net/20.500.12008/3472
Tags:	Add Tag No Tags, Be the first to tag this record!