Metodología de Programación con Dafny y KeY

dc.contributor.advisorTasistro Souto, Álvaro Daniel
dc.contributor.tribunalOlsina Santos, Luis Antonio
dc.contributor.tribunalLuna García, Carlos Daniel
dc.creatorHernández Lorenzo, Matías Sebastián
dc.creatorDrago Ciliano, Gianfranco
dc.date.issued2022
dc.descriptionIncluye bibliografía y anexos.
dc.description.abstractEl siguiente proyecto es una investigación que presenta el diseño de una metodología para la especificación y derivación de algoritmos iterativos expresados en código imperativo, utilizando las herramientas mecánicas KeY y Dafny para sus respectivas implementaciones. El enfoque metodológico pretende ayudar didácticamente a los lectores que están comenzando en el área de la verificación formal, para que estos puedan tener un pensamiento orientado a invariantes al momento de realizar algoritmos. A lo largo del proyecto se muestran diversos algoritmos; por ejemplo de división entera, potenciación, operaciones con arrays, búsquedas y ordenamiento, entre otros, utilizando la metodología diseñada y su correspondiente implementación en las dos herramientas KeY y Dafny. Como conclusión se obtiene una metodología propuesta que puede ser implementada en las materias Estructuras de Datos y Algoritmos 2 y en Lógica de la Programación, ambas de la carrera de Ingeniería en Sistemas de Universidad ORT Uruguay.
dc.format.extent124 p. tbls.
dc.identifier.citationHernández Lorenzo, M. S., & Drago Ciliano, G. (2022). Metodología de Programación con Dafny y KeY (Proyecto). Universidad ORT Uruguay, Facultad de Ingeniería.
dc.languageEspañol.
dc.publisherUniversidad ORT Uruguay
dc.relation.otherhttps://sisbibliotecas.ort.edu.uy/bib/93737
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 de Programación con Dafny y KeY
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
Loading...
Thumbnail Image
Name:
Material completo.pdf
Size:
707.28 KB
Format:
Adobe Portable Document Format
Description:
description