Metodología y herramienta para Lógica de Programación : Enfoque didáctico con diseño de curso
Loading...
Date
2023
Authors
Publisher
Universidad ORT Uruguay
DOI
ISSN
ISBN
URI
Abstract
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.
En
Thesis note
Proyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingeniería
Thesis degree name
Ingeniero en Sistemas
124 p. tbls.
Notes
Incluye bibliografía y anexos.
Subject
PROYECTOS-ID, INGENIERÍA DE SOFTWARE, VERIFICACIÓN AUTOMÁTICA, MÉTODOS FORMALES, LENGUAJES DE PROGRAMACIÓN-DAFNY
Type
Trabajo final de carrera
Access the full text
Citation
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.