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
Docència
Docència
Docència
Docència
Institucional
Institucional
Institucional
Institucional
Recerca
Recerca
Recerca
Recerca
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-4 de 4.
Anterior
1
Siguiente
Registros encontrados:
Fecha de publicación
Título
Autor(es)
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-12-11
Constraint programming for type inference in flexible model-driven engineering
Zolotas, Athanasios
;
Clarisó, Robert
;
Matragkas, Nicholas
;
Kolovos, Dimitrios S.
;
Paige, Richard F.
;
University of York
;
Universitat Oberta de Catalunya. Estudis d'Informàtica, Multimèdia i Telecomunicació
;
University of Hull
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)
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
Opciones relacionadas
Autor
3
Cabot, Jordi
2
Guerra, Esther
2
Lara Jaramillo, Juan de
1
González Pérez, Carlos Alberto
1
Kolovos, Dimitrios S.
.
siguiente >
Materia
3
OCL
2
Enginyeria de programari
2
Ingeniería de software
2
Software engineering
1
Arquitectura dirigida per models
.
siguiente >
Fecha de publicación
1
2017
1
2016
1
2015
1
2010