Buscar por Autor
Mostrando resultados 1 a 4 de 4
Fecha de publicación | Título | Autor(es) |
2009-07-31 | A UML/OCL framework for the analysis of fraph transformation rules | Cabot, Jordi; Clarisó, Robert; Lara Jaramillo, Juan de; Guerra, Esther; Universitat Oberta de Catalunya (UOC); Universidad Carlos III de Madrid; Universidad Autónoma de Madrid |
2015-08-07 | Backwards reasoning for model transformations: method and applications | Clarisó, Robert; Cabot, Jordi; Guerra, Esther; Lara Jaramillo, Juan de; Universitat Oberta de Catalunya (UOC); Universidad Autónoma de Madrid |
2010-01-02 | Synthesis of OCL Pre-conditions for Graph Transformation Rules | Cabot, Jordi; Clarisó, Robert; Lara Jaramillo, Juan de; Guerra, Esther; Universitat Oberta de Catalunya (UOC); Universidad Carlos III de Madrid; Universidad Autónoma de Madrid |
2010-08-15 | Verification and validation of declarative model-to-model transformations through invariants | Cabot, Jordi; Clarisó, Robert; Lara Jaramillo, Juan de; Guerra, Esther; Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3); Universidad Carlos III de Madrid; Universidad Autónoma de Madrid |