Programación basada en invariantes : un enfoque didáctico

Simple item page
dc.contributor.advisorTasistro Souto, Álvaro Danieles
dc.contributor.tribunalVallespir Ligugnana, Diegoes
dc.contributor.tribunalSalvetto De León, Pedro Fernandoes
dc.creatorMilieris Caban, Alejandro
dc.creatorFogel Herrnstadt, Eitan
dc.date.accessioned2017-06-14T14:46:31Z
dc.date.available2017-06-14T14:46:31Z
dc.date.issued2016es
dc.descriptionIncluye bibliografía y anexoses
dc.description.abstractEl 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.es
dc.format.extent124 p. diagrs., tblses
dc.identifier.citationFogel 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/3241es
dc.identifier.urihttp://hdl.handle.net/20.500.11968/3241
dc.languageEspañoles
dc.publisherUniversidad ORT Uruguayes
dc.relation.otherhttps://bibliotecas.ort.edu.uy/bibid/83422es
dc.subjectPROGRAMACIÓN-ENSEÑANZAes
dc.subjectPROYECTOS-IDes
dc.subjectPROGRAMACIÓN BASADA EN INVARIANTESes
dc.titleProgramación basada en invarianteses
dc.title.subtitleun enfoque didácticoes
dc.typeTrabajo final de carreraes
ort.thesis.careerFI - Ingeniería en Sistemas - IDes
ort.thesis.degreegrantorFacultad de Ingenieríaes
ort.thesis.degreelevelCarrera Universitariaes
ort.thesis.degreenameIngeniero en Sistemases
ort.thesis.degreetypeProyectoes
ort.thesis.noteProyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingenieríaes
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Material completo.pdf
Size:
1.66 MB
Format:
Adobe Portable Document Format
Description:
description
Download
Collections
Trabajos finales de carrera de grado