Show simple item record

dc.contributor.advisor Tasistro Souto, Álvaro Daniel es
dc.contributor.author Colmenero Zito, Guillermo es
dc.date.accessioned 2017-06-14T14:51:44Z
dc.date.available 2017-06-14T14:51:44Z
dc.date.issued 2016 es
dc.identifier.citation Colmenero Zito, G. (2016). Verificación formal de algoritmos fundamentales para la Industria (Proyecto). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://dspace.ort.edu.uy/handle/20.500.11968/3319 es
dc.identifier.uri http://hdl.handle.net/20.500.11968/3319
dc.description Incluye bibliografía es
dc.description.abstract En este trabajo se estudia una metodología formal para el desarrollo de programas, basada en la Lógica de Hoare, utilizando el lenguaje Dafny, que tiene un compilador-verificador para este formalismo. Se presenta el desarrollo formal de una serie de algoritmos fundamentales desarrollados utilizando el método del Invariante, y verificados formalmente con la herramienta antes mencionada. es
dc.format.extent 62 p. grafs es
dc.language Español es
dc.publisher Universidad ORT Uruguay es
dc.subject LENGUAJES DE PROGRAMACIÓN-DAFNY es
dc.subject PROYECTOS-ID es
dc.subject PROGRAMACIÓN BASADA EN INVARIANTES es
dc.title Verificación formal de algoritmos fundamentales para la Industria es
dc.type Trabajo final de carrera es
ort.thesis.degreegrantor Facultad de Ingeniería es
ort.thesis.degreelevel Carrera Universitaria es
ort.thesis.degreename Ingeniero en Sistemas es
ort.thesis.degreetype Proyecto es
ort.thesis.note Proyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingeniería es
dc.contributor.tribunal Moreno Negro, Silvana es
dc.contributor.tribunal Szasz Cerutti, Nora Adriana es
dc.relation.other https://bibliotecas.ort.edu.uy/bibid/84362 es
ort.thesis.career FI - Ingeniería en Sistemas - ID es


Files in this item

This item appears in the following Collection(s)

Show simple item record