Buscar por Autor
Mostrando resultados 1 a 5 de 5
| 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 |
| 2017-06-20 | On the opportunities of scalable modeling technologies: An experience report on wind turbines control applications development | Gómez Llana, Abel; Mendialdua, Xabier; Bergmann, Gábor; Cabot, Jordi; Debreceni, Csaba; Garmendia, Antonio; Kolovos, Dimitrios S.; Lara Jaramillo, Juan de; Trujillo, Salvador; Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3); IK4-IKERLAN; Budapest University of Technology and Economics; Universidad Autónoma de Madrid; University of York |
| 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 |
