1. Repositori Institucional (O2)

Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-10 of 13 (Search time: 0.006 seconds).
Item hits:
Issue DateTitleAuthor(s)
2019-09-16A feasibility study on using classifying terms in alloy. A case studyClarisó, Robert; Gogolla, Martin; Universitat Oberta de Catalunya (UOC); University of Bremen
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
2013-03-26Proceedings of the 6th International Symposium on Frontiers of Information Systems and Network Applications (FINA-2013)Colomina Torregrosa, Ignacio; Arnedo-Moreno, Joan; Clarisó, Robert
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)
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
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
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
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
2018-09Extracting software product line feature models from natural language specificationsSreekumar, Anjali; Planas, Elena; Clarisó, Robert

Discover