Buscar


Filtros actuales:

Comenzar nueva busqueda
Añadir filtros:

Usa los filtros para afinar la busqueda.

Resultados 1-8 de 8.
  • Anterior
  • 1
  • Siguiente
Registros encontrados:
Fecha de publicaciónTítuloAutor(es)
2017-06-20On the opportunities of scalable modeling technologies: An experience report on wind turbines control applications developmentGó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
2017-03-22Traceability mappings as a fundamental instrument in model transformationsDiskin, Zinovy; Gómez Llana, Abel; Cabot, Jordi; Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3); McMaster University
2007-01-02Tool Support for Model Checking of Web application designsBrambilla, Marco; Cabot, Jordi; Moreno Vergara, Nathalie; Universitat Oberta de Catalunya (UOC); Universidad de Málaga; Politecnico di Milano
2009-07-31A UML/OCL framework for the analysis of fraph transformation rulesCabot, 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-01-02Synthesis of OCL Pre-conditions for Graph Transformation RulesCabot, Jordi; Clarisó, Robert; Lara Jaramillo, Juan de; Guerra, Esther; Universitat Oberta de Catalunya (UOC); Universidad Carlos III de Madrid; Universidad Autónoma de Madrid
2009-01-02Verifying UML/OCL operation contractsCabot, Jordi; Clarisó, Robert; Riera Terrén, Daniel; Universitat Oberta de Catalunya (UOC)
2006-01-02Incremental Evaluation of OCL ConstraintsCabot, Jordi; Teniente López, Ernest; Universitat Oberta de Catalunya (UOC); Universitat Politècnica de Catalunya (UPC)
2007-05-14Transformation Techniques for OCL ConstraintsCabot, Jordi; Teniente López, Ernest; Universitat Oberta de Catalunya (UOC); Universitat Politècnica de Catalunya (UPC)