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
Buscar:
Todo el 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
por
Filtros actuales:
Título
Autor
Asunto
Fecha publicado
Tipo de publicación
Igual a
Contiene
ID
No igual a
No contiene
No es ID
Título
Autor
Asunto
Fecha publicado
Tipo de publicación
Igual a
Contiene
ID
No igual a
No contiene
No es ID
Título
Autor
Asunto
Fecha publicado
Tipo de publicación
Igual a
Contiene
ID
No igual a
No contiene
No es ID
Título
Autor
Asunto
Fecha publicado
Tipo de publicación
Igual a
Contiene
ID
No igual a
No contiene
No es ID
Comenzar nueva busqueda
Añadir filtros:
Usa los filtros para afinar la busqueda.
Título
Autor
Asunto
Fecha publicado
Tipo de publicación
Igual a
Contiene
ID
No igual a
No contiene
No es ID
Resultados 1-10 de 10.
Anterior
1
Siguiente
Registros encontrados:
Fecha de publicación
Título
Autor(es)
2017-09-01
Model-based analysis of Java EE web security misconfigurations
Martínez Pérez, Salvador
;
Cosentino, Valerio
;
Cabot, Jordi
;
AtlanMod
;
Universitat Oberta de Catalunya (UOC)
2015-08-07
Backwards reasoning for model transformations: method and applications
Clarisó, Robert
;
Cabot, Jordi
;
Guerra, Esther
;
Lara Jaramillo, Juan de
;
Universitat Oberta de Catalunya (UOC)
;
Universidad Autónoma de Madrid
2016-07
JSONDiscoverer: Visualizing the schema lurking behind JSON documents
Canovas Izquierdo, Javier Luis
;
Cabot, Jordi
;
Universitat Oberta de Catalunya (UOC)
2016-10-01
Analysis of co-authorship graphs of CORE-ranked software conferences
Canovas Izquierdo, Javier Luis
;
Cosentino, Valerio
;
Cabot, Jordi
2017-06-20
Example-driven web API specification discovery
Ed-douibi, Hamza
;
Canovas Izquierdo, Javier Luis
;
Cabot, Jordi
;
Universitat Oberta de Catalunya (UOC)
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)
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-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)
2018-03-19
Distributing relational model transformation on MapReduce
Benelallam, Amine
;
Gómez Llana, Abel
;
Tisi, Massimo
;
Cabot, Jordi
;
Université de Rennes 1
;
Institut Mines-Télécom
;
Universitat Oberta de Catalunya (UOC)
Opciones relacionadas
Autor
2
Gómez Llana, Abel
2
Lara Jaramillo, Juan de
1
Afzal, Wasif
1
Benelallam, Amine
1
Bruneliere, Hugo
.
< anterior
siguiente >
Materia
3
OCL
2
Application program interfaces (C...
2
Enginyeria de programari
2
enginyeria dirigida per models
2
Ingeniería de software
.
siguiente >
Fecha de publicación
2
2018
3
2017
3
2016
1
2015
1
2010