Tasistro Souto, Álvaro DanielMilieris Caban, AlejandroFogel Herrnstadt, Eitan2017-06-142017-06-142016Fogel Herrnstadt, E. (2016). Programación basada en invariantes: un enfoque didáctico (Proyecto). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/3241http://hdl.handle.net/20.500.11968/3241Incluye bibliografía y anexosEl objetivo del trabajo fue generar material didáctico para el aprendizaje de la derivación de algoritmos en estilo imperativo, a partir de pre y postcondiciones, basado en el uso de invariantes. Para tal fin, se proponen: una notación para expresar las especificaciones y los algoritmos anotados con sus invariantes y variantes, métodos de resolución de problemas mediante iteración, y técnicas de derivación concreta de invariantes a partir de postcondiciones. Asimismo se efectúa un relevamiento del estado del arte de la enseñanza de la programación basada en invariantes en educación terciaria.124 p. diagrs., tblsPROGRAMACIÓN-ENSEÑANZAPROYECTOS-IDPROGRAMACIÓN BASADA EN INVARIANTESTrabajo final de carrera