Fecha de publicación | Título | Autor(es) |
2019-09-16 | A feasibility study on using classifying terms in alloy. A case study | Clarisó, Robert; Gogolla, Martin; Universitat Oberta de Catalunya (UOC); University of Bremen |
2022-05-30 | A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams | GOMEZ GUTIERREZ, JUAN ANTONIO; Clarisó, Robert; Cabot, Jordi; Universitat Oberta de Catalunya |
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 |
2023-06-27 | Herramienta online para la creación y evaluación de especificaciones basadas en UML y OCL | Delgado Camacho, David Eduardo; García-Solórzano, David; Caballé, Santi; Font Sagristà, Vicenç |
2006-01-02 | Incremental Evaluation of OCL Constraints | Cabot, Jordi; Teniente López, Ernest; Universitat Oberta de Catalunya (UOC); Universitat Politècnica de Catalunya (UPC) |
2017-11-27 | Smart bound selection for the verification of UML/OCL class diagrams | Clarisó, 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) |
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 |
2007-05-14 | Transformation Techniques for OCL Constraints | Cabot, Jordi; Teniente López, Ernest; Universitat Oberta de Catalunya (UOC); Universitat Politècnica de Catalunya (UPC) |
2016-10-07 | UMLtoGraphDB: Mapping conceptual schemas to graph databases | Daniel, Gwendal; Sunyé, Gerson; Cabot, Jordi; Institut National de Recherche en Informatique et en Automatique (Inria); Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3) |
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 |
2009-01-02 | Verifying UML/OCL operation contracts | Cabot, Jordi; Clarisó, Robert; Riera Terrén, Daniel; Universitat Oberta de Catalunya (UOC) |