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 45 a 60 de 60
< Anterior
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)
2015-08-11
Software modernization revisited: Challenges and prospects
Bruneliere, Hugo
;
Cabot, Jordi
;
Canovas Izquierdo, Javier Luis
;
Orue-Echevarria Arrieta, Leire
;
Strauss, Olivier
;
Wimmer, Manuel
;
Institut National de Recherche en Informatique et en Automatique (Inria)
;
Universitat Oberta de Catalunya (UOC)
;
Tecnalia
;
Fraunhofer-Institut für Arbeitswirtschaft und Organisation
;
Technische Universität Wien
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
2018-05-21
The MegaM@Rt2 ECSEL project: MegaModelling at Runtime - Scalable model-based framework for continuous development and runtime validation of complex systems
Afzal, Wasif
;
Bruneliere, Hugo
;
Di Ruscio, Davide
;
Sadovykh, Andrey
;
Mazzini, Silvia
;
Cariou, Eric
;
Truscan, Dragos
;
Cabot, Jordi
;
Gómez Llana, Abel
;
Gorroñogoitia, Jesús
;
Pomante, Luigi
;
Smrz, Pavel
;
Università degli Studi dell'Aquila
;
Brno University of Technology
;
Åbo Akademi University
;
Université de Pau et des Pays de l'Adour
;
Mälardalen University
;
Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
2010-02-16
Tipus Abstractes de Dades i Disseny per Contracte
Mariné Gallisà, Esteve
;
Universitat Oberta de Catalunya
;
Cabot, Jordi
2007-01-02
Tool Support for Model Checking of Web application designs
Brambilla, Marco
;
Cabot, Jordi
;
Moreno Vergara, Nathalie
;
Universitat Oberta de Catalunya (UOC)
;
Universidad de Málaga
;
Politecnico di Milano
2021-08-02
Towards a model-driven approach for multiexperience AI-based user interfaces
Planas, Elena
;
Daniel, Gwendal
;
Brambilla, Marco
;
Cabot, Jordi
;
Universitat Oberta de Catalunya (UOC)
;
Internet Interdisciplinary Institute (IN3)
2017-03-22
Traceability mappings as a fundamental instrument in model transformations
Diskin, Zinovy
;
Gómez Llana, Abel
;
Cabot, Jordi
;
Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
;
McMaster University
2007-05-14
Transformation Techniques for OCL Constraints
Cabot, Jordi
;
Teniente López, Ernest
;
Universitat Oberta de Catalunya (UOC)
;
Universitat Politècnica de Catalunya (UPC)
2011-06
Two basic correctness properties for ATL transformations: Executability and coverage
Planas, Elena
;
Cabot, Jordi
;
Gómez Seoane, Cristina
;
Universitat Oberta de Catalunya (UOC)
;
Universitat Politècnica de Catalunya (UPC)
;
Institut National de Recherche en Informatique et en Automatique (Inria)
2016-10-07
UMLtoGraphDB: Mapping conceptual schemas to graph databases
Daniel, Gwendal
;
Sunyé, Gerson
;
Cabot, Jordi
;
Institut National de Recherche en Informatique et en Automatique (Inria)
;
Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
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
2009-01-02
Verifying UML/OCL operation contracts
Cabot, Jordi
;
Clarisó, Robert
;
Riera Terrén, Daniel
;
Universitat Oberta de Catalunya (UOC)
2008-05-01
¿Podemos darle la vuelta a la enseñanza del desarrollo del software?
Marco-Simó, Josep Maria
;
Riera Terrén, Daniel
;
Caballé, Santi
;
Cabot, Jordi
;
Arnedo-Moreno, Joan
;
Rodríguez-González, M. Elena
;
Rius, Àngels
;
Marco-Galindo, Maria-Jesús
;
Guitart, Isabel