1. Repositori Institucional (O2)

Buscar


Filtros actuales:

Comenzar nueva busqueda
Añadir filtros:

Usa los filtros para afinar la busqueda.

 | 
Resultados 1-10 de 12.
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
2008Verification of UML/OCL class diagrams using constraint programmingCabot, Jordi; Clarisó, Robert; Riera Terrén, Daniel; Universitat Oberta de Catalunya
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
2017-06-01A UML profile for OData web APIsEd-douibi, Hamza; Canovas Izquierdo, Javier Luis; Cabot, Jordi; Universitat Oberta de Catalunya (UOC)
2016-12CEUR Workshop Proceedings: PrefaceBrucker, Achim D.; Cabot, Jordi; Sánchez-Barbudo Herrera, Adolfo
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)
2011-06Two basic correctness properties for ATL transformations: Executability and coveragePlanas, Elena; Cabot, Jordi; Gómez Seoane, Cristina; Universitat Oberta de Catalunya (UOC); Universitat Politècnica de Catalunya (UPC); Institut National de Recherche en Informatique et en Automatique (Inria)
2016-10-07UMLtoGraphDB: Mapping conceptual schemas to graph databasesDaniel, Gwendal; Sunyé, Gerson; Cabot, Jordi; Institut National de Recherche en Informatique et en Automatique (Inria); Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)

Opciones relacionadas