Metodología y herramienta para Lógica de Programación
Enfoque didáctico con diseño de curso
Resumen:
El siguiente proyecto plantea una metodología para la especificación y derivación de algoritmos para Lógica de Programación de la carrera de Ingeniería en Sistemas de Universidad ORT Uruguay. Se utiliza Dafny como herramienta de verificación formal para la implementación respectiva. La metodología aplicada tiene un enfoque didáctico, permitiendo a un estudiante con base en programación funcional desarrollarse en el área de verificación formal. También permite asegurar en el ámbito de la programación imperativa, la corrección de un algoritmo, en relación a una especificación dada a través de precondiciones, postcondiciones, por medio de una derivación basada en invariantes. Cabe destacar que, todos los algoritmos de este documento fueron verificados automáticamente por Dafny.
| 2023 | |
|
PROYECTOS-ID INGENIERÍA DE SOFTWARE VERIFICACIÓN AUTOMÁTICA MÉTODOS FORMALES LENGUAJES DE PROGRAMACIÓN-DAFNY |
|
| Español | |
| Universidad ORT Uruguay | |
| RAD | |
| http://hdl.handle.net/20.500.11968/6435 | |
| Acceso abierto |
| _version_ | 1807261359870574592 |
|---|---|
| author | Ferreiro Perdomo, Valeria |
| author_facet | Ferreiro Perdomo, Valeria |
| author_role | author |
| bitstream.checksum.fl_str_mv | c49c45386901717fe5f6e52d78ee9421 522b3fd2503a9a0ce025dcb389cc6f28 |
| bitstream.checksumAlgorithm.fl_str_mv | MD5 MD5 |
| bitstream.url.fl_str_mv | https://rad.ort.edu.uy/bitstreams/5cfd3b44-3db5-4187-ade2-978ca9522aaa/download https://rad.ort.edu.uy/bitstreams/26ed0137-8da3-4845-8567-9f59d0b3781c/download |
| collection | RAD |
| dc.contributor.advisor.none.fl_str_mv | Tasistro Souto, Álvaro Daniel Michelini Jorge, Juan Pedro |
| dc.contributor.tribunal.none.fl_str_mv | Belletti Longarzo, Cecilia Szasz Cerutti, Nora Adriana |
| dc.creator.none.fl_str_mv | Ferreiro Perdomo, Valeria |
| dc.date.issued.none.fl_str_mv | 2023 |
| dc.description.abstract.none.fl_txt_mv | El siguiente proyecto plantea una metodología para la especificación y derivación de algoritmos para Lógica de Programación de la carrera de Ingeniería en Sistemas de Universidad ORT Uruguay. Se utiliza Dafny como herramienta de verificación formal para la implementación respectiva. La metodología aplicada tiene un enfoque didáctico, permitiendo a un estudiante con base en programación funcional desarrollarse en el área de verificación formal. También permite asegurar en el ámbito de la programación imperativa, la corrección de un algoritmo, en relación a una especificación dada a través de precondiciones, postcondiciones, por medio de una derivación basada en invariantes. Cabe destacar que, todos los algoritmos de este documento fueron verificados automáticamente por Dafny. |
| dc.description.none.fl_txt_mv | Incluye bibliografía y anexos. |
| dc.format.extent.none.fl_str_mv | 124 p. tbls. |
| dc.identifier.citation.none.fl_str_mv | Ferreiro Perdomo, V. (2023). Metodología y herramienta para Lógica de Programación: Enfoque didáctico con diseño de curso (Proyecto). Universidad ORT Uruguay, Facultad de Ingeniería. |
| dc.identifier.uri.none.fl_str_mv | http://hdl.handle.net/20.500.11968/6435 |
| dc.language.iso.none.fl_str_mv | Español. spa |
| dc.publisher.none.fl_str_mv | Universidad ORT Uruguay |
| dc.relation.other.none.fl_str_mv | https://sisbibliotecas.ort.edu.uy/bib/94191 |
| 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.none.fl_str_mv | PROYECTOS-ID INGENIERÍA DE SOFTWARE VERIFICACIÓN AUTOMÁTICA MÉTODOS FORMALES LENGUAJES DE PROGRAMACIÓN-DAFNY |
| dc.title.none.fl_str_mv | Metodología y herramienta para Lógica de Programación Enfoque didáctico con diseño de curso |
| dc.type.none.fl_str_mv | Trabajo final de carrera 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_18403a789bf3f8084da6f28c243f9311 |
| identifier_str_mv | Ferreiro Perdomo, V. (2023). Metodología y herramienta para Lógica de Programación: Enfoque didáctico con diseño de curso (Proyecto). Universidad ORT Uruguay, Facultad de Ingeniería. |
| 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/6435 |
| publishDate | 2023 |
| publisher.none.fl_str_mv | Universidad ORT Uruguay |
| 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 DanielMichelini Jorge, Juan PedroBelletti Longarzo, CeciliaSzasz Cerutti, Nora AdrianaFerreiro Perdomo, Valeria2023Incluye bibliografía y anexos.El siguiente proyecto plantea una metodología para la especificación y derivación de algoritmos para Lógica de Programación de la carrera de Ingeniería en Sistemas de Universidad ORT Uruguay. Se utiliza Dafny como herramienta de verificación formal para la implementación respectiva. La metodología aplicada tiene un enfoque didáctico, permitiendo a un estudiante con base en programación funcional desarrollarse en el área de verificación formal. También permite asegurar en el ámbito de la programación imperativa, la corrección de un algoritmo, en relación a una especificación dada a través de precondiciones, postcondiciones, por medio de una derivación basada en invariantes. Cabe destacar que, todos los algoritmos de este documento fueron verificados automáticamente por Dafny.124 p. tbls.Ferreiro Perdomo, V. (2023). Metodología y herramienta para Lógica de Programación: Enfoque didáctico con diseño de curso (Proyecto). Universidad ORT Uruguay, Facultad de Ingeniería.http://hdl.handle.net/20.500.11968/6435Español.spaUniversidad ORT Uruguayhttps://sisbibliotecas.ort.edu.uy/bib/94191PROYECTOS-IDINGENIERÍA DE SOFTWAREVERIFICACIÓN AUTOMÁTICAMÉTODOS FORMALESLENGUAJES DE PROGRAMACIÓN-DAFNYMetodología y herramienta para Lógica de ProgramaciónEnfoque didáctico con diseño de cursoTrabajo 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/jpeg3237https://rad.ort.edu.uy/bitstreams/5cfd3b44-3db5-4187-ade2-978ca9522aaa/downloadc49c45386901717fe5f6e52d78ee9421MD53ORIGINALMaterial completo.pdfMaterial completo.pdfdescriptionapplication/pdf2554379https://rad.ort.edu.uy/bitstreams/26ed0137-8da3-4845-8567-9f59d0b3781c/download522b3fd2503a9a0ce025dcb389cc6f28MD5120.500.11968/64352024-07-22 16:15:52.594oai:rad.ort.edu.uy:20.500.11968/6435https://rad.ort.edu.uyUniversidadhttps://www.ort.edu.uy/https://rad.ort.edu.uy/server/oai/requestrodriguez_v@ort.edu.uyUruguayopendoar:39272024-07-22T16:15:52RAD - Universidad ORT Uruguayfalse |
| spellingShingle | Metodología y herramienta para Lógica de Programación Ferreiro Perdomo, Valeria PROYECTOS-ID INGENIERÍA DE SOFTWARE VERIFICACIÓN AUTOMÁTICA MÉTODOS FORMALES LENGUAJES DE PROGRAMACIÓN-DAFNY |
| status_str | publishedVersion |
| title | Metodología y herramienta para Lógica de Programación |
| title_full | Metodología y herramienta para Lógica de Programación |
| title_fullStr | Metodología y herramienta para Lógica de Programación |
| title_full_unstemmed | Metodología y herramienta para Lógica de Programación |
| title_short | Metodología y herramienta para Lógica de Programación |
| title_sort | Metodología y herramienta para Lógica de Programación |
| topic | PROYECTOS-ID INGENIERÍA DE SOFTWARE VERIFICACIÓN AUTOMÁTICA MÉTODOS FORMALES LENGUAJES DE PROGRAMACIÓN-DAFNY |
| url | http://hdl.handle.net/20.500.11968/6435 |
