Programación basada en invariantes
un enfoque didáctico
Resumen:
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.
| 2016 | |
|
PROGRAMACIÓN-ENSEÑANZA PROYECTOS-ID PROGRAMACIÓN BASADA EN INVARIANTES |
|
| Español | |
| Universidad ORT Uruguay | |
| RAD | |
| http://hdl.handle.net/20.500.11968/3241 | |
| Acceso abierto |
| _version_ | 1807261357940146176 |
|---|---|
| author | Milieris Caban, Alejandro |
| author2 | Fogel Herrnstadt, Eitan |
| author2_role | author |
| author_facet | Milieris Caban, Alejandro Fogel Herrnstadt, Eitan |
| author_role | author |
| bitstream.checksum.fl_str_mv | f723126e4c5bf14de7bbbe51d530a1d0 4ab5d52ca638dca68d20aeaee949584f |
| bitstream.checksumAlgorithm.fl_str_mv | MD5 MD5 |
| bitstream.url.fl_str_mv | https://rad.ort.edu.uy/bitstreams/450ae8b8-e50d-4905-8f98-12e4c64768f5/download https://rad.ort.edu.uy/bitstreams/44bce390-0b97-4c0e-90b8-e721df7cbf51/download |
| collection | RAD |
| dc.contributor.advisor.none.fl_str_mv | Tasistro Souto, Álvaro Daniel |
| dc.contributor.tribunal.es.fl_str_mv | Vallespir Ligugnana, Diego Salvetto De León, Pedro Fernando |
| dc.creator.none.fl_str_mv | Milieris Caban, Alejandro Fogel Herrnstadt, Eitan |
| dc.date.accessioned.none.fl_str_mv | 2017-06-14T14:46:31Z |
| dc.date.available.none.fl_str_mv | 2017-06-14T14:46:31Z |
| dc.date.issued.es.fl_str_mv | 2016 |
| dc.description.abstract.none.fl_txt_mv | 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. |
| dc.description.es.fl_txt_mv | Incluye bibliografía y anexos |
| dc.format.extent.es.fl_str_mv | 124 p. diagrs., tbls |
| dc.identifier.citation.es.fl_str_mv | 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 |
| dc.identifier.uri.none.fl_str_mv | http://hdl.handle.net/20.500.11968/3241 http://hdl.handle.net/20.500.11968/3241 |
| dc.language.iso.none.fl_str_mv | Español spa |
| dc.publisher.es.fl_str_mv | Universidad ORT Uruguay |
| dc.relation.other.es.fl_str_mv | https://bibliotecas.ort.edu.uy/bibid/83422 |
| dc.rights.none.fl_str_mv | info:eu-repo/semantics/openAccess |
| dc.source.none.fl_str_mv | reponame:RAD instname:Universidad ORT Uruguay instacron:Universidad ORT |
| dc.subject.es.fl_str_mv | PROGRAMACIÓN-ENSEÑANZA PROYECTOS-ID PROGRAMACIÓN BASADA EN INVARIANTES |
| dc.title.none.fl_str_mv | Programación basada en invariantes un enfoque didáctico |
| dc.type.es.fl_str_mv | Trabajo final de carrera |
| dc.type.none.fl_str_mv | info:eu-repo/semantics/bachelorThesis |
| dc.type.version.none.fl_str_mv | info:eu-repo/semantics/publishedVersion |
| description | Incluye bibliografía y anexos |
| eu_rights_str_mv | openAccess |
| format | bachelorThesis |
| id | RAD_e8d4b5665630ceb93a726904f6ccd1b5 |
| identifier_str_mv | 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 |
| instacron_str | Universidad ORT |
| institution | Universidad ORT |
| instname_str | Universidad ORT Uruguay |
| language | spa |
| language_invalid_str_mv | Español |
| network_acronym_str | RAD |
| network_name_str | RAD |
| oai_identifier_str | oai:rad.ort.edu.uy:20.500.11968/3241 |
| publishDate | 2016 |
| reponame_str | RAD |
| repository.mail.fl_str_mv | rodriguez_v@ort.edu.uy |
| repository.name.fl_str_mv | RAD - Universidad ORT Uruguay |
| repository_id_str | 3927 |
| spelling | Tasistro Souto, Álvaro DanielVallespir Ligugnana, DiegoSalvetto De León, Pedro FernandoMilieris Caban, AlejandroFogel Herrnstadt, Eitan2017-06-14T14:46:31Z2017-06-14T14:46:31Z2016Incluye bibliografía y anexosEl 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.124 p. diagrs., tblsFogel 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/3241http://hdl.handle.net/20.500.11968/3241http://hdl.handle.net/20.500.11968/3241EspañolspaUniversidad ORT Uruguayhttps://bibliotecas.ort.edu.uy/bibid/83422PROGRAMACIÓN-ENSEÑANZAPROYECTOS-IDPROGRAMACIÓN BASADA EN INVARIANTESProgramación basada en invariantesun enfoque didácticoTrabajo final de carrerainfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionreponame:RADinstname:Universidad ORT Uruguayinstacron:Universidad ORTinfo:eu-repo/semantics/openAccessFI - Ingeniería en Sistemas - IDFacultad de IngenieríaCarrera UniversitariaIngeniero en SistemasProyectoProyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de IngenieríaTHUMBNAILMaterial completo.pdf.jpgMaterial completo.pdf.jpgGenerated Thumbnailimage/jpeg3930https://rad.ort.edu.uy/bitstreams/450ae8b8-e50d-4905-8f98-12e4c64768f5/downloadf723126e4c5bf14de7bbbe51d530a1d0MD53ORIGINALMaterial completo.pdfMaterial completo.pdfdescriptionapplication/pdf1738624https://rad.ort.edu.uy/bitstreams/44bce390-0b97-4c0e-90b8-e721df7cbf51/download4ab5d52ca638dca68d20aeaee949584fMD5120.500.11968/32412024-07-22 15:56:53.765oai:rad.ort.edu.uy:20.500.11968/3241https://rad.ort.edu.uyUniversidadhttps://www.ort.edu.uy/https://rad.ort.edu.uy/server/oai/requestrodriguez_v@ort.edu.uyUruguayopendoar:39272024-07-22T15:56:53RAD - Universidad ORT Uruguayfalse |
| spellingShingle | Programación basada en invariantes Milieris Caban, Alejandro PROGRAMACIÓN-ENSEÑANZA PROYECTOS-ID PROGRAMACIÓN BASADA EN INVARIANTES |
| status_str | publishedVersion |
| title | Programación basada en invariantes |
| title_full | Programación basada en invariantes |
| title_fullStr | Programación basada en invariantes |
| title_full_unstemmed | Programación basada en invariantes |
| title_short | Programación basada en invariantes |
| title_sort | Programación basada en invariantes |
| topic | PROGRAMACIÓN-ENSEÑANZA PROYECTOS-ID PROGRAMACIÓN BASADA EN INVARIANTES |
| url | http://hdl.handle.net/20.500.11968/3241 |
