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
La Biblioteca respon
Identificaʹt
Identifica't
Alertes
Editar perfil
Repositori Institucional (O2)
Cerca
Cerca:
Tot l'O2
Recerca
Articles cientÍfics
per
Filtres actuals:
Títol
Autor
Matèria
Data de publicació
Tipus de publicació
Igual
Conté
ID
No igual a
No conté
No és ID
Títol
Autor
Matèria
Data de publicació
Tipus de publicació
Igual
Conté
ID
No igual a
No conté
No és ID
Començar nova cerca
Afegir filtres:
Fes servir filtres per afinar els resultats de la cerca.
Títol
Autor
Matèria
Data de publicació
Tipus de publicació
Igual
Conté
ID
No igual a
No conté
No és ID
Resultats 11-20 de 24.
anterior
1
2
3
següent
Registres trobats:
Data de publicació
Títol
Autor(s)
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)
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)
2016-10
NeoEMF: a multi-database model persistence framework for very large models
Daniel, Gwendal
;
Sunyé, Gerson
;
Benelallam, Amine
;
Tisi, Massimo
;
Vernageau, Yoann
;
Gómez Águila, Abel
;
Cabot, Jordi
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)
Opcions relacionades
Autor
9
Canovas Izquierdo, Javier Luis
5
Cosentino, Valerio
4
Clarisó, Robert
4
Gómez Llana, Abel
4
Lara Jaramillo, Juan de
.
següent >
Matèria
5
OCL
4
Enginyeria de programari
4
Ingeniería de software
4
Software engineering
3
Application program interfaces (C...
.
següent >
Data de publicació
1
2019
3
2018
9
2017
7
2016
2
2015
2
2010
Tipus de publicació
18
Article
12
info:eu-repo/semantics/submittedV...
5
Objecte de conferència
3
info:eu-repo/semantics/acceptedVe...
2
info:eu-repo/semantics/publishedV...
.
següent >