Skip navigation
Universitat Oberta de Catalunya
CA
català
español
english
Universitat Oberta
de Catalunya
Inici
Explora
Tot el repositori
Browse Items by:
Autor
Títol
Data de publicació
Matèria
Ajuda
Identificaʹt
Identifica't
Alertes
Editar perfil
Repositori Institucional (O2)
Cerca per Autor
Salta 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
Introdueix les primeres lletres
Ordena per:
títol
data de publicació
data dʹenviament
En ordre:
Ascendent
Descendent
Resultats per pàgina
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autor/Registre:
Tot
1
5
10
15
20
25
30
35
40
45
50
Mostrant resultats 96 a 101 de 101
< anterior
Data de publicació
Títol
Autor(s)
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
2009-01-02
Verifying UML/OCL operation contracts
Cabot, Jordi
;
Clarisó, Robert
;
Riera Terrén, Daniel
;
Universitat Oberta de Catalunya (UOC)
2023-01
WarnApp - Gestión de incidencias
Navarro Torren, Carlos Joaquín
;
Clarisó, Robert
;
Ceballos Villach, Jordi
;
Almirall López, Jordi
2014-06-12
WebGraphEd, an open source graph drawing editor for the web
Ciberta i Tirado, Josep
;
Universitat Oberta de Catalunya
;
Baneres, David
;
Clarisó, Robert
2016-07-05
WindAlert
Raméntol Teys, David
;
Universitat Oberta de Catalunya
;
Ceballos Villach, Jordi
;
Clarisó, Robert