El artículo “PSPDC: An Adaptation of the PSP to Incorporate Verified Design by Contract” del Dr. Álvaro Tasistro, Catedrático de Teoría de la Computación y Coordinador Académico del Master en Ingeniería, la Prof. Silvana Moreno y el Prof. Diego Vallespir, docentes del Instituto del Computación de la Facultad de Ingeniería de la Universidad de la República, fue aceptado en julio de 2012 para su presentación en “TSP Symposium 2012”. El evento, que tendrá lugar del 17 hasta 20 setiembre de 2012 en St. Petersburg (Florida, Estados Unidos), es organizado por Software Engineering Institute de Carnegie Mellon University. El tema del simposio es Delivering Agility with Discipline.