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
The Library Replies
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
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-20 of 29 (Search time: 0.003 seconds).
previous
1
2
3
next
Item hits:
Issue Date
Title
Author(s)
2018-01-01
On watermarking for collaborative model-driven engineering
Martínez Pérez, Salvador
;
Gérard, Sébastien
;
Cabot, Jordi
;
CEA-LIST: Laboratory for Integration of Systems and Technology
;
Universitat Oberta de Catalunya (UOC)
2017-11
A model-based approach to gamify the learning of modeling
Cosentino, Valerio
;
Gérard, Sébastien
;
Cabot, Jordi
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-06-01
A UML profile for OData web APIs
Ed-douibi, Hamza
;
Canovas Izquierdo, Javier Luis
;
Cabot, Jordi
;
Universitat Oberta de Catalunya (UOC)
2016-12
CEUR Workshop Proceedings: Preface
Brucker, Achim D.
;
Cabot, Jordi
;
Sánchez-Barbudo Herrera, Adolfo
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-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
2016-10
Community-based software development for MDE tools
Cabot, Jordi
;
Canovas Izquierdo, Javier Luis
;
Cosentino, Valerio
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
2016-11-01
Lightweight and static verification of UML executable models
Planas, Elena
;
Cabot, Jordi
;
Gómez Seoane, Cristina
;
Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
;
Universitat Politècnica de Catalunya (UPC)
Discover
Author
10
Canovas Izquierdo, Javier Luis
5
Cosentino, Valerio
4
Bruneliere, Hugo
4
Clarisó, Robert
4
Gómez Llana, Abel
.
next >
Subject
5
Enginyeria de programari
5
Ingeniería de software
5
OCL
5
Software engineering
5
UML
.
next >
Date issued
3
2019
3
2018
9
2017
8
2016
3
2015
1
2011
2
2010
Type of publication
18
Article
12
info:eu-repo/semantics/submittedV...
7
Conference object
3
info:eu-repo/semantics/acceptedVe...
3
info:eu-repo/semantics/publishedV...
.
next >