Metodología para la construcción de software correcto

Simple item page
dc.contributor.advisorTasistro Souto, Álvaro Danieles
dc.contributor.tribunalMoreno, Silvanaes
dc.contributor.tribunalSzasz Cerutti, Nora Adrianaes
dc.creatorFerreira Lozano, Nicolás
dc.date.accessioned2018-07-18T08:01:16Z
dc.date.available2018-07-18T08:01:16Z
dc.date.issued2018es
dc.descriptionIncluye bibliografía y anexoses
dc.description.abstractEn los últimos diez años han aparecido herramientas para la verificación formal de programas que están entre los verificadores completamente automáticos y los verificadores que aceptan entrada del usuario en todos los pasos de prueba. Estas herramientas, conocidas como verificadores auto-active, acercan la verificación formal a una mayor audiencia en parte porque el usuario interactúa con el verificador a nivel del lenguaje de programación. Aun así, el programador convencional que quiera echar un vistazo y experimentar los beneficios de la verificación formal antes de profundizar en el tema, deberá invertir una considerable cantidad de tiempo en aprender teorías, técnicas y herramientas, muchas de las cuales están dispersas. Por otra parte, la criticidad de los sistemas que aparecerán en el futuro demandará profesionales con conocimientos en métodos formales, razón por la cual parece importante elaborar material didáctico en esta disciplina. En este trabajo se propone acercar gradualmente al programador convencional a la verificación formal. Para ello, se presentan problemas que posteriormente se resuelven utilizando teorías, técnicas y herramientas que seleccionadas alivian algunas dificultades iniciales.es
dc.format.extent117 p. diagrs. tbls.es
dc.identifier.citationFerreira Lozano, N. (2018). Metodología para la construcción de software correcto (Proyecto). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/3793es
dc.identifier.urihttp://hdl.handle.net/20.500.11968/3793
dc.languageEspañol.es
dc.publisherUniversidad ORT Uruguayes
dc.relation.otherhttps://bibliotecas.ort.edu.uy/bibid/87412es
dc.subjectLENGUAJES DE PROGRAMACIÓN-DAFNYes
dc.subjectPROYECTOS-IDes
dc.subjectVERIFICACIÓN FORMALes
dc.titleMetodología para la construcción de software correctoes
dc.typeTrabajo final de carreraes
ort.thesis.careerFI - Ingeniería en Sistemas - IDes
ort.thesis.degreegrantorFacultad de Ingenieríaes
ort.thesis.degreelevelCarrera Universitariaes
ort.thesis.degreenameIngeniero en Sistemases
ort.thesis.degreetypeProyectoes
ort.thesis.noteProyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingenieríaes
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Material completo.pdf
Size:
11.39 MB
Format:
Adobe Portable Document Format
Description:
description
Download
Collections
Trabajos finales de carrera de grado