Programación basada en invariantes : un enfoque didáctico
Loading...
Date
2016
Publisher
Universidad ORT Uruguay
DOI
ISSN
ISBN
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.
En
Thesis note
Proyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingeniería
Thesis degree name
Ingeniero en Sistemas
124 p. diagrs., tbls
Notes
Incluye bibliografía y anexos
Subject
PROGRAMACIÓN-ENSEÑANZA, PROYECTOS-ID, PROGRAMACIÓN BASADA EN INVARIANTES
Type
Trabajo final de carrera
Access the full text
Citation
Fogel 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/3241