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

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Dobal, Pablo Federico
Otros Autores: Back, Ralph-Johan
Formato: bachelorThesis tesis de grado publishedVersion
Lenguaje:Español
Publicado: Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario 2013
Materias:
Especificaciones (Formales)
Invariantes
PVS
Socos
Métodos formales
Acceso en línea:http://hdl.handle.net/2133/2795
http://hdl.handle.net/2133/2795
Aporte de:
Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario
id I15-R121-2133-2795
record_format dspace
institution Universidad Nacional de Rosario
institution_str I-15
repository_str R-121
collection Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR)
language Español
orig_language_str_mv spa
topic Especificaciones (Formales)
Invariantes
PVS
Socos
Métodos formales
spellingShingle Especificaciones (Formales)
Invariantes
PVS
Socos
Métodos formales
Dobal, Pablo Federico
Enfoque práctico a la programación basada en invariantes y el editor Socos
topic_facet Especificaciones (Formales)
Invariantes
PVS
Socos
Métodos formales
description 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.
author2 Back, Ralph-Johan
author_facet Back, Ralph-Johan
Dobal, Pablo Federico
format bachelorThesis
tesis de grado
publishedVersion
author Dobal, Pablo Federico
author_sort Dobal, Pablo Federico
title Enfoque práctico a la programación basada en invariantes y el editor Socos
title_short Enfoque práctico a la programación basada en invariantes y el editor Socos
title_full Enfoque práctico a la programación basada en invariantes y el editor Socos
title_fullStr Enfoque práctico a la programación basada en invariantes y el editor Socos
title_full_unstemmed Enfoque práctico a la programación basada en invariantes y el editor Socos
title_sort enfoque práctico a la programación basada en invariantes y el editor socos
publisher Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario
publishDate 2013
url http://hdl.handle.net/2133/2795
http://hdl.handle.net/2133/2795
work_keys_str_mv AT dobalpablofederico enfoquepracticoalaprogramacionbasadaeninvariantesyeleditorsocos
bdutipo_str Repositorios
_version_ 1764820413671538688

Ejemplares similares