Preservación de Obligaciones de Prueba en Entornos Híbridos de Verificación

La producción de software confiable y eficiente requiere, al menos en parte, la automatización de su construcción. Para alcanzar este objetivo es indispensable estudiar a los programas y sus ejecuciones como objetos matemáticos. Los entornos de verificación de programas se basan cada vez más en méto...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Samborski-Forlese, Julián
Otros Autores: Barthe, Gilles
Formato: bachelorThesis tesis de grado publishedVersion
Lenguaje:Español
Publicado: Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario 2013
Materias:
Producción de software
Métodos Híbridos de verificación
Acceso en línea:http://hdl.handle.net/2133/2331
http://hdl.handle.net/2133/2331
Aporte de:
Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario

Ejemplares similares

Ejemplares similares