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
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
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
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
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 1-2 de 2.
anterior
1
següent
Registres trobats:
Data de publicació
Títol
Autor(s)
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
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
Opcions relacionades
Autor
2
Clarisó, Robert
2
Lara Jaramillo, Juan de
Matèria
1
Arquitectura dirigida per models
1
Arquitectura dirigida por modelos
1
backwards reasoning
1
desarrollo dirigido por modelos
1
desenvolupament dirigit per models
.
següent >
Data de publicació
1
2015
1
2010