Metodología y herramienta para Lógica de Programación : Enfoque didáctico con diseño de curso

Simple item page
dc.contributor.advisorTasistro Souto, Álvaro Daniel
dc.contributor.advisorMichelini Jorge, Juan Pedro
dc.contributor.tribunalBelletti Longarzo, Cecilia
dc.contributor.tribunalSzasz Cerutti, Nora Adriana
dc.creatorFerreiro Perdomo, Valeria
dc.date.issued2023
dc.descriptionIncluye bibliografía y anexos.
dc.description.abstractEl 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.format.extent124 p. tbls.
dc.identifier.citationFerreiro 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.languageEspañol.
dc.publisherUniversidad ORT Uruguay
dc.relation.otherhttps://sisbibliotecas.ort.edu.uy/bib/94191
dc.subjectPROYECTOS-ID
dc.subjectINGENIERÍA DE SOFTWARE
dc.subjectVERIFICACIÓN AUTOMÁTICA
dc.subjectMÉTODOS FORMALES
dc.subjectLENGUAJES DE PROGRAMACIÓN-DAFNY
dc.titleMetodología y herramienta para Lógica de Programación
dc.title.subtitleEnfoque didáctico con diseño de curso
dc.typeTrabajo final de carrera
ort.thesis.careerFI - Ingeniería en Sistemas - ID
ort.thesis.degreegrantorFacultad de Ingeniería
ort.thesis.degreelevelCarrera Universitaria
ort.thesis.degreenameIngeniero en Sistemas
ort.thesis.degreetypeProyecto
ort.thesis.noteProyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingeniería
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Material completo.pdf
Size:
2.44 MB
Format:
Adobe Portable Document Format
Description:
description
Download
Collections
Trabajos finales de carrera de grado