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
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-1 de 1.
Anterior
1
Siguiente
Registros encontrados:
Fecha de publicación
Título
Autor(es)
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)
Opciones relacionadas
Autor
1
Planas, Elena
Materia
1
model driven engineering
1
normes ATL
1
reglas ATL
1
Software engineering
.
< anterior