Artículo aceptado para su publicación en la revista Science of Computer Programming
27/03/2015
El artículo "Institution-based foundations for verification in the context of model-driven engineering", del cual una de las autoras es la Dra. Nora Szasz, coordinadora académica de Ingeniería en Sistemas, fue aceptado en marzo de 2015 para su publicación en la revista arbitrada Science of Computer Programming.
El artículo fue realizado junto al Ing. Daniel Calegari, profesor adjunto del Instituto de Computación de la Facultad de Ingeniería de la Universidad de la República.