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)
2008Verification of UML/OCL class diagrams using constraint programmingCabot, Jordi; Clarisó, Robert; Riera Terrén, Daniel; Universitat Oberta de Catalunya
2015-08-07Backwards reasoning for model transformations: method and applicationsClarisó, Robert; Cabot, Jordi; Guerra, Esther; Lara Jaramillo, Juan de; Universitat Oberta de Catalunya (UOC); Universidad Autónoma de Madrid
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)
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)
2010-08-15Verification and validation of declarative model-to-model transformations through invariantsCabot, 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
2021-11-09User-driven diverse scenario exploration in model findersClarisó, Robert; Cabot, Jordi; Universitat Oberta de Catalunya

Opciones relacionadas