1. Repositori Institucional (O2)

Buscar


Filtros actuales:
Comenzar nueva busqueda
Añadir filtros:

Usa los filtros para afinar la busqueda.

 | 
Resultados 11-18 de 18.
Registros encontrados:
Fecha de publicaciónTítuloAutor(es)
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
2016-12-11Constraint programming for type inference in flexible model-driven engineeringZolotas, Athanasios; Clarisó, Robert; Matragkas, Nicholas; Kolovos, Dimitrios S.; Paige, Richard F.; University of York; Universitat Oberta de Catalunya. Estudis d'Informàtica, Multimèdia i Telecomunicació; University of Hull
2019-01-12Strategy in the Making: Assessing the Execution of a Strategic Information Systems Plan.Rodríguez, José-Ramón; Clarisó, Robert; Marco-Simó, Josep Maria
2014-10Experiences in digital circuit design courses: a self-study platform for learning supportBaneres, David; Clarisó, Robert; Jorba, Josep; Serra, Montse; Universitat Oberta de Catalunya (UOC)
2018-04-30Informe de l'Observatori Tecnològic dels Estudis d'Informàtica, Multimèdia i Telecomunicació. 2017Clarisó, Robert; Córcoles, César; Gómez Cardosa, Desirée; Jorba, Josep; Perez-Navarro, Antoni; Vergoñós Pascual, Laura; Vila, Irma

Opciones relacionadas