Documentos de investigación


"A type-theoretic framework for certified model transformations" (documento de investigación número 9, Daniel Calegari, Carlos Luna, Nora Szasz, Álvaro Tasistro, julio 2010)

"Experiment with a type-theoretic approach to the verification of model transformations" (documento de investigación número 8, Daniel Calegari, Carlos Luna, Nora Szasz, Álvaro Tasistro, setiembre 2009)

"Extended UML Statecharts and Product Lines" (documento de investigación número 7, Carlos Luna, Ariel González, setiembre 2009)

"Especificación del comportamiento de líneas de productos mediante modelos de funcionalidades y máquinas de estados con variabilidades" (documento de investigación número 6, Carlos Luna, Ariel González, diciembre 2007)

"Estudio de modelos de error cuántico" (documento de investigación número 5, Efraín Buksman, André Fonseca, julio 2007)

"Simulación de errores cuánticos en el ambiente Scilab" (documento de investigación número 4, Efraín Buksman, André Fonseca, julio 2007)

"Propuesta de fórmulas para sistemas de segundo orden" (documento de investigación número 2, André Fonseca, agosto 2006)