Novedades

Artículo de académicos presentado en "A Type-Theoretic Framework for Certified Model Transformations", Brasil

15/11/2010
El artículo "A Type-Theoretic Framework for Certified Model Transformations" fue aceptado para "13th Brazilian Symposium on Formal Methods" (SBMF 2010), que tuvo lugar del 8 al 12 de noviembre en Natal, Brasil.

El artículo fue elaborado por el Prof. Daniel Calegari, profesor adjunto del Instituto de Computación de la Facultad de Ingeniería de la Universidad de la República (UdelaR); el Lic. Carlos Luna, profesor adjunto del Instituto de Computación de la Facultad de Ingeniería de UdelaR y catedrático asociado de Teoría de la Computación de la Facultad de Ingeniería de la Universidad ORT Uruguay; la Dra. Nora Szasz, coordinadora académica de Ingeniería en Sistemas de la Universidad ORT Uruguay; y el Dr. Alvaro Tasistro, catedrático de Teoría de la Computación de la Facultad de Ingeniería de la Universidad ORT Uruguay.

El Dr. Tasistro presentó el artículo en el marco del congreso. El evento fue organizado por Informatics and Applied Mathematics Department of the Federal University of Rio Grande do Norte (UFRN).

Recursos académicos