1. Repositori Institucional (O2)

Buscar


Filtros actuales:

Comenzar nueva busqueda
Añadir filtros:

Usa los filtros para afinar la busqueda.

 | 
Resultados 1-9 de 9.
  • Anterior
  • 1
  • Siguiente
Registros encontrados:
Fecha de publicaciónTítuloAutor(es)
2022-05-30A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class DiagramsGOMEZ GUTIERREZ, JUAN ANTONIO; Clarisó, Robert; Cabot, Jordi; Universitat Oberta de Catalunya
2017-11-27Smart bound selection for the verification of UML/OCL class diagramsClarisó, Robert; González Pérez, Carlos Alberto; Cabot, Jordi; University of Luxembourg; Universitat Oberta de Catalunya (UOC); Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
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
2009-01-02Verifying UML/OCL operation contractsCabot, Jordi; Clarisó, Robert; Riera Terrén, Daniel; Universitat Oberta de Catalunya (UOC)
2005-01-02Computing the Relevant Instances That May Violate an OCL ConstraintCabot, Jordi; Teniente López, Ernest; Universitat Oberta de Catalunya (UOC); Universitat Politècnica de Catalunya (UPC)
2006-01-02Incremental Evaluation of OCL ConstraintsCabot, Jordi; Teniente López, Ernest; Universitat Oberta de Catalunya (UOC); Universitat Politècnica de Catalunya (UPC)
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)
2019-03-19A Tool-Supported Approach for Building the Architecture and Roadmap in MegaM@Rt2 ProjectSadovykh, Andrey; Bagnato, Alessandra; Truscan, Dragos; Pierini, Pierluigi; Bruneliere, Hugo; Gómez Águila, Abel; Cabot, Jordi; Avila Garcia, Orlando; Afzal, Wasif

Opciones relacionadas