Repositori Institucional (O2): Buscar

Buscar

Resultados 1-10 de 10.

Anterior
1
Siguiente

Registros encontrados:

Fecha de publicación	Título	Autor(es)
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
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
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)
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
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
2009-01-02	Verifying UML/OCL operation contracts	Cabot, Jordi; Clarisó, Robert; Riera Terrén, Daniel; Universitat Oberta de Catalunya (UOC)
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)
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)
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
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)