2

Reporte técnico

Estado del arte de verificación de transformación de modelos

Autor(es): López, Horacio; Varesi, Fernando; Viñolo, Marcelo; Calegari, Daniel; Luna, Carlos
Año: 2010
Institución: Universidad de la República
3

Reporte técnico

Estado del arte de testing de transformaciones de modelos

Autor(es): López, Leonardo; Pintos, Leonardo; Calegari, Daniel; Luna, Carlos
Año: 2011
Institución: Universidad de la República
5

Reporte técnico

A type-theoretic framework for certified model transformations

Autor(es): Calegari, Daniel; Luna, Carlos; Szasz, Nora; Tasistro, Álvaro
Año: 2010
Institución: Universidad ORT Uruguay

Resultados agrupados

Quitar Filtros
Tipo: Reporte técnico Autor: Luna, Carlos Autor: Calegari, Daniel
Año de publicación