Software Engineering Institute de Carnegie Mellon University (Pittsburgh, Estados Unidos) publicó en mayo de 2013 el documento de investigación “PSP-VDC: An adaptation of the PSP that incorporates verified design by contract” de la Prof. Silvana Moreno, Asistente del Grupo de Ingeniería de Software del Instituto de Computación de la Facultad de Ingeniería de la Universidad de la República, el Dr. Álvaro Tasistro, Coordinador Académico del Master en Ingeniería (por Investigación) y Catedrático de Teoría de la Computación de la Facultad de Ingeniería, el Dr. Diego Vallespir, Profesor Grado 3 y Coordinador del Grupo de Ingeniería de Software del Instituto de Computación de la Facultad de Ingeniería de la Universidad de la República, y el Dr. William Nichols, Senior Member of Technical Staff de Software Engineering Institute de Carnegie Mellon University.