Browsing by Author "Fogel Herrnstadt, Eitan"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Programación basada en invariantes
    (Universidad ORT Uruguay, 2016) Milieris Caban, Alejandro; Fogel Herrnstadt, Eitan; Tasistro Souto, Álvaro Daniel; Vallespir Ligugnana, Diego; Salvetto De León, Pedro Fernando
    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.