Browsing by Author
Showing results 1 to 5 of 5
Issue Date | Title | Author(s) |
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 |