Programación basada en invariantes

Abstract

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.