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
Ayuda
Identifícate
Identifícate
Alertas
Editar perfil
Repositori Institucional (O2)
Buscar
Buscar:
Todo el O2
Recerca
Tecnología y comunicación
Informació i comunicació
Informàtica, tecnologia i multimèdia
Tecnologías de la información y de redes
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
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 31-40 de 50.
Anterior
1
2
3
4
5
Siguiente
Registros encontrados:
Fecha de publicación
Título
Autor(es)
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)
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
2021-11-09
User-driven diverse scenario exploration in model finders
Clarisó, Robert
;
Cabot, Jordi
;
Universitat Oberta de Catalunya
2007
Deriving Operation Contracts from UML Class Diagrams
Cabot, Jordi
;
Gómez Seoane, Cristina
;
Universitat Oberta de Catalunya
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)
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
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
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)
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)
2019-09-25
Online division of labour: emergent structures in Open Source Software
Palazzi Nieves, Maria José
;
Cabot, Jordi
;
Canovas Izquierdo, Javier Luis
;
Solé-Ribalta, Albert
;
Borge-Holthoefer, Javier
;
Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
Opciones relacionadas
Autor
11
Canovas Izquierdo, Javier Luis
9
Clarisó, Robert
5
Cosentino, Valerio
5
Gómez Llana, Abel
5
Lara Jaramillo, Juan de
.
siguiente >
Materia
10
OCL
9
UML
6
model-driven engineering
6
UML (Computer science)
6
UML (Informàtica)
.
siguiente >
Fecha de publicación
11
2020 - 2024
29
2010 - 2019
10
2005 - 2009
Tipo de publicación
33
Artículo
12
Objeto de conferencia
12
info:eu-repo/semantics/submittedV...
9
info:eu-repo/semantics/acceptedVe...
8
info:eu-repo/semantics/publishedV...
.
siguiente >