Enfoque práctico a la programación basada en invariantes y el editor Socos

DSpace/Manakin Repository

Show simple item record

dc.contributor.advisor Back, Ralph-Johan
dc.contributor.advisor Eriksson, Johannes
dc.contributor.advisor Preoteasa, Viorel
dc.contributor.author Dobal, Pablo Federico
dc.date.accessioned 2013-12-04T13:00:02Z
dc.date.available 2013-12-04T13:00:02Z
dc.date.issued 2011-11-30
dc.identifier.uri http://hdl.handle.net/2133/2795
dc.description.abstract En este trabajo se presentan las ideas detrás de una prometedora técnica para la construcción de software, esto es la programación basada en invariantes (IBP). Este trabajo expone el marco de trabajo teórico y práctico en el cual IBP es soportado. De la misma manera se presenta la herramienta Socos. Socos permite la construcción de programas utilizando IBP. Finalmente un conjunto de programas son construidos utilizando IBP y Socos y se prueba su correctitud utilizando PVS. También se presentan algunos detalles de implementación de la nueva versión de la herramienta Socos. es
dc.language.iso spa es
dc.publisher Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario es
dc.rights openAccess es
dc.subject Especificaciones (Formales) es
dc.subject Invariantes es
dc.subject PVS es
dc.subject Socos es
dc.subject Métodos formales es
dc.title Enfoque práctico a la programación basada en invariantes y el editor Socos
dc.type bachelorThesis
dc.type tesis de grado
dc.type publishedVersion
dc.description.peerreviewed Peer reviewed es
dc.relation.publisherversion http://www.fceia.unr.edu.ar/lcc/t523/ es
dc.description.affiliation Fil: Dobal, Pablo Federico. Tesista del Departamento de Ciencias de la Computación. Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario; Argentina.


Files in this item

This item appears in the following Collection(s)

Show simple item record

My Account


Search DSpace


Advanced Search

Browse

Statistics