Browsing Trabajos finales de carrera by Author "Vallespir Ligugnana, Diego"

Sort by: Order: Results:

  • Milieris Caban, Alejandro; Fogel Herrnstadt, Eitan (Universidad ORT Uruguay, 2016)
    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: ...