Skip navigation
Universitat Oberta de Catalunya
EN
català
español
english
Universitat Oberta
de Catalunya
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Issue Date
Subject
Help
Log in
Log in
Receive email
updates
Edit Profile
Repositori Institucional (O2)
Search
Search:
All the O2
Recerca
Tecnología y comunicación
Informàtica, tecnologia i multimèdia
Congressos UOC
Articles
Capítols o parts de llibres
Conferències
Tesis doctorales (Bioinformatics)
Trabajos de investigación
for
Current filters:
Title
Author
Subject
Date Issued
Type of publication
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Type of publication
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 11-18 of 18 (Search time: 0.004 seconds).
previous
1
2
next
Item hits:
Issue Date
Title
Author(s)
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)
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
2021-11-09
User-driven diverse scenario exploration in model finders
Clarisó, Robert
;
Cabot, Jordi
;
Universitat Oberta de Catalunya
2016-12-11
Constraint programming for type inference in flexible model-driven engineering
Zolotas, 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-12
Strategy in the Making: Assessing the Execution of a Strategic Information Systems Plan.
Rodríguez, José-Ramón
;
Clarisó, Robert
;
Marco-Simó, Josep Maria
2014-10
Experiences in digital circuit design courses: a self-study platform for learning support
Baneres, David
;
Clarisó, Robert
;
Jorba, Josep
;
Serra, Montse
;
Universitat Oberta de Catalunya (UOC)
2018-04-30
Informe de l'Observatori Tecnològic dels Estudis d'Informàtica, Multimèdia i Telecomunicació. 2017
Clarisó, Robert
;
Córcoles, César
;
Gómez Cardosa, Desirée
;
Jorba, Josep
;
Perez-Navarro, Antoni
;
Vergoñós Pascual, Laura
;
Vila, Irma
Discover
Author
9
Cabot, Jordi
4
Guerra, Esther
4
Lara Jaramillo, Juan de
3
Riera Terrén, Daniel
2
Jorba, Josep
.
next >
Subject
8
OCL
4
verificació i validació
4
verificación y validación
4
verification and validation
3
aprenentatge virtual
.
next >
Date issued
2
2020 - 2022
12
2010 - 2019
4
2006 - 2009
Type of publication
9
Article
6
Conference object
5
info:eu-repo/semantics/submittedV...
4
info:eu-repo/semantics/acceptedVe...
3
info:eu-repo/semantics/publishedV...
.
next >