2010 Yearbook - Universidad ORT Uruguay

30 Yearbook 2010 / School of Engineering Research Papers Luna, C. 'A type-theoretic framework for certified model transformations'. Research Paper No. 9. Montevideo, Universidad ORT Uruguay, Faculty of Engineering, 16p. Accessed March 10, 2011, from www.ort.edu.uy/fi/pdf/documento9fi.pdf Szasz, N. 'Behavioral refinements of UML-Statecharts'. Research Paper No. RT 10-13. Montevideo, PEDECIBA, Institute of Computing, Faculty of Engineering, University of the Republic, 24p. Accessed March 10, 2011, from http://www.fing.edu.uy/inco/pedeciba/bibliote/RT1013.pdf with Calegari, D.; Tasistro, A. and Szasz, N. with Vilanova, P. ACADEMIC PRODUCTION 2010