The School of Engineering published Research Paper No. 7,“Extended UML Statecharts and Product Lines,”by Carlos Luna and Prof. Ariel González, and No. 8,“Experiment with a type-theoretic approach to the verification of model transformations,” by Prof. Daniel Calegari, Carlos Luna, Dr. Nora Szasz, and Dr. Álvaro Tasistro.
Carlos Luna is a Professor of Computer Science at the School of Engineering. Ariel González is an Assistant Professor at the School of Exact Sciences at the National University of Río Cuarto, Argentina.
Daniel Calegari is a PEDECIBA-ORT doctoral student and Assistant Professor at the Institute of Computing in the School of Engineering at the University of the Republic. Nora Szasz is the Academic Coordinator of Systems Engineering, and Álvaro Tasistro is a Professor of Computer Science and Academic Coordinator of the Master’s in Research-Based Engineering.