News

Research Papers from the School of Engineering

September 7, 2009
The School of Engineering published Research Paper No. 7, "Extended UML Strategy Charts and Product Lines," and No. 8, "Experiment with a Type-Theoretic Approach to the Verification of Model Transformations."

"Extended UML strategy charts and product lines" wasauthored by Ariel González, a lecturer at the National University of Río Cuarto in Argentina, and Carlos Luna, Associate Professor of Computer Science at the School of Engineering.

"Experiment with a type-theoretic approach to the verification of model transformations" was prepared by Daniel Calegari, a lecturer at the Institute of Computing in the Faculty of Engineering at the University of the Republic; Carlos Luna, Associate Professor of Computer Science in the Faculty of Engineering; the Academic Coordinator of Systems Engineering, Dr. Nora Szasz, and the Professor of Computer Science, Dr. Álvaro Tasistro.