Automated verification of model transformations based on visual contracts

The final publication is available at Springer via http://dx.doi.org/10.1007/s10515-012-0102-y

Detalles Bibliográficos
Autores:	Guerra Sánchez, Esther, Lara Jaramillo, Juan de, Wimmer, Manuel, Kappel, Gerti, Kusel, Angelika, Retschitzegger, Werner, Schönböck, Johannes, Schwinger, Wieland
Tipo de recurso:	artículo
Fecha de publicación:	2013
País:	España
Institución:	Universidad Autónoma de Madrid
Repositorio:	Biblos-e Archivo. Repositorio Institucional de la UAM
Idioma:	inglés
OAI Identifier:	oai:repositorio.uam.es:10486/662785
Acceso en línea:	http://hdl.handle.net/10486/662785 https://dx.doi.org/10.1007/s10515-012-0102-y
Access Level:	acceso abierto
Palabra clave:	Contract-based specification Model transformation Model-Driven Engineering QVT-relations Verification Informática

Descripción
Sumario:	The final publication is available at Springer via http://dx.doi.org/10.1007/s10515-012-0102-y