SITIO DE TEST - SITIO DE TEST - SITIO DE TEST - SITIO DE TEST - SITIO DE TEST - SITIO DE TEST - SITIO DE TEST - SITIO DE TEST - SITIO DE TEST

Examinando por Autor "Dobal, Pablo Federico"

Mostrando 1 - 1 de 1
  • Miniatura
    ÍtemAcceso Abierto
    Enfoque práctico a la programación basada en invariantes y el editor Socos
    (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2011-11-30) Dobal, Pablo Federico; Back, Ralph-Johan; Eriksson, Johannes; Preoteasa, Viorel
    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.