Metodología de Programación con Dafny y KeY
dc.contributor.advisor | Tasistro Souto, Álvaro Daniel | |
dc.contributor.tribunal | Olsina Santos, Luis Antonio | |
dc.contributor.tribunal | Luna García, Carlos Daniel | |
dc.creator | Hernández Lorenzo, Matías Sebastián | |
dc.creator | Drago Ciliano, Gianfranco | |
dc.date.issued | 2022 | |
dc.description | Incluye bibliografía y anexos. | |
dc.description.abstract | El 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.extent | 124 p. tbls. | |
dc.identifier.citation | Herná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.language | Español. | |
dc.publisher | Universidad ORT Uruguay | |
dc.relation.other | https://sisbibliotecas.ort.edu.uy/bib/93737 | |
dc.subject | PROYECTOS-ID | |
dc.subject | INGENIERÍA DE SOFTWARE | |
dc.subject | VERIFICACIÓN AUTOMÁTICA | |
dc.subject | MÉTODOS FORMALES | |
dc.subject | LENGUAJES DE PROGRAMACIÓN-DAFNY | |
dc.title | Metodología de Programación con Dafny y KeY | |
dc.type | Trabajo final de carrera | |
ort.thesis.career | FI - Ingeniería en Sistemas - ID | |
ort.thesis.degreegrantor | Facultad de Ingeniería | |
ort.thesis.degreelevel | Carrera Universitaria | |
ort.thesis.degreename | Ingeniero en Sistemas | |
ort.thesis.degreetype | Proyecto | |
ort.thesis.note | Proyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingeniería |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Material completo.pdf
- Size:
- 707.28 KB
- Format:
- Adobe Portable Document Format
- Description:
- description