Programación basada en invariantes
un enfoque didáctico
Supervisor(es): Tasistro Souto, Álvaro Daniel
Resumen:
El 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.
| 2016 | |
|
PROGRAMACIÓN-ENSEÑANZA PROYECTOS-ID PROGRAMACIÓN BASADA EN INVARIANTES |
|
| Español | |
| Universidad ORT Uruguay | |
| RAD | |
| http://hdl.handle.net/20.500.11968/3241 | |
| Acceso abierto |
