Skip navigation
Universitat Oberta de Catalunya
ES
català
español
english
Universitat Oberta
de Catalunya
Inicio
Explora
Todo el repositorio
Buscar elementos por:
Autor
Título
Fecha Publicación
Materia
La Biblioteca responde
Identifícate
Identifícate
Alertas
Editar perfil
Repositori Institucional (O2)
Buscar por Autor
Ir a:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
O introducir las primeras letras:
Ordenar por:
Título
Fecha de publicación
Fecha de envío
En orden:
Ascendente
Descendente
Resultados por página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autor/Registro:
Todo
1
5
10
15
20
25
30
35
40
45
50
Mostrando resultados 78 a 97 de 101
< Anterior
Siguiente >
Fecha de publicación
Título
Autor(es)
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)
2017-01-11
Sports on demand
Barros Táboas, Rubén
;
Universitat Oberta de Catalunya
;
Ceballos Villach, Jordi
;
Almirall López, Jordi
;
Clarisó, Robert
2018-01-25
SportTrack
Pérez Martínez, Pedro
;
Universitat Oberta de Catalunya
;
Clarisó, Robert
;
Ceballos Villach, Jordi
;
Almirall López, Jordi
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-01
Student projects empowering mobile learning in higher education
Rius, Àngels
;
Masip Rodó, David
;
Clarisó, Robert
;
Universitat Oberta de Catalunya (UOC)
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
2017-09
Tecnologia i desenvolupament en dispositius mòbils, setembre 2017
Prieto Blázquez, Josep
;
Ramírez Vique, Roberto
;
Morillo Pozo, Julián David
;
Domingo Prieto, Marc
;
Salvador Calvo, Javier
;
Boltà Torrell, Helena
;
Clarisó, Robert
2018-02
Tècniques avançades de l'enginyeria de programari, febrer 2018
Duran Muñoz, Francisco Javier
;
Fernández González, Jorge
;
Polo Llana, Isabel
;
Polo Usaola, Macario
;
Troya Castilla, Javier
;
Vallecillo Moreno, Antonio
;
Clarisó, Robert
2012-09-01
Tècniques avançades de l'enginyeria de programari, setembre 2012
Duran Muñoz, Francisco Javier
;
Fernández González, Jorge
;
Polo Usaola, Macario
;
Troya Castilla, Javier
;
Vallecillo Moreno, Antonio
;
Universitat Oberta de Catalunya
;
Caballé, Santi
;
Clarisó, Robert
2012-09-01
Técnicas avanzadas de ingeniería de software, septiembre 2012
Duran Muñoz, Francisco Javier
;
Fernández González, Jorge
;
Polo Usaola, Macario
;
Troya Castilla, Javier
;
Vallecillo Moreno, Antonio
;
Universitat Oberta de Catalunya
;
Caballé, Santi
;
Clarisó, Robert
2006-11-24
The octahedron abstract domain (extended version)
Clarisó, Robert
;
Cortadella Fortuny, Jordi
;
Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
2016-06-17
TonAsesor
Corral Valenzuela, Antonio José
;
Universitat Oberta de Catalunya
;
Orenga Serisuelo, Joan Vicent
;
Clarisó, Robert
2019-09-13
Towards a framework for assessing IT strategy execution
Rodríguez Bermúdez, José Ramón
;
Clarisó, Robert
;
Marco-Simó, Josep Maria
;
Universitat Oberta de Catalunya (UOC)
2012-09-01
Trabajo de fin de grado informática, septiembre 2012
Marín-Amatller, Antoni
;
Universitat Oberta de Catalunya
;
Clarisó, Robert
2013-02
Trabajo final de máster, febrero 2013
Rodríguez Bermúdez, José Ramón
;
Marín-Amatller, Antoni
;
Clarisó, Robert
;
Universitat Oberta de Catalunya
2012-09-01
Treball de fi de grau informàtica, setembre 2012
Marín-Amatller, Antoni
;
Universitat Oberta de Catalunya
;
Clarisó, Robert
2013-02
Treball final de màster, febrer 2013
Rodríguez Bermúdez, José Ramón
;
Marín-Amatller, Antoni
;
Clarisó, Robert
;
Universitat Oberta de Catalunya
2021-11-09
User-driven diverse scenario exploration in model finders
Clarisó, Robert
;
Cabot, Jordi
;
Universitat Oberta de Catalunya
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
2008
Verification of UML/OCL class diagrams using constraint programming
Cabot, Jordi
;
Clarisó, Robert
;
Riera Terrén, Daniel
;
Universitat Oberta de Catalunya