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

dc.contributorBack, Ralph-Johan
dc.contributorEriksson, Johannes
dc.contributorPreoteasa, Viorel
dc.creatorDobal, Pablo Federico
dc.date2013-12-04T13:00:02Z
dc.date2013-12-04T13:00:02Z
dc.date2011-11-30
dc.date2013-12-04T13:00:02Z
dc.date2013-12-04T13:00:02Z
dc.date2011-11-30
dc.date.accessioned2019-05-17T20:05:56Z
dc.date.available2019-05-17T20:05:56Z
dc.identifierhttp://hdl.handle.net/2133/2795
dc.identifierhttp://hdl.handle.net/2133/2795
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/2676592
dc.descriptionEn 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.
dc.descriptionFil: 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.
dc.formatapplication/pdf
dc.languagespa
dc.publisherFacultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario
dc.relationhttp://www.fceia.unr.edu.ar/lcc/t523/
dc.rightsopenAccess
dc.subjectEspecificaciones (Formales)
dc.subjectInvariantes
dc.subjectPVS
dc.subjectSocos
dc.subjectMétodos formales
dc.titleEnfoque práctico a la programación basada en invariantes y el editor Socos
dc.typeTesis
dc.typetesis de grado
dc.typeArtículos de revistas


Este ítem pertenece a la siguiente institución