Universidad del Valle Biblioteca Digital

Biblioteca Digital Universidad del Valle > Patrimonio Documental Universidad del Valle > Revistas > Energía y Computación > Vol. 06 no. 1, 1997 / Energía y Computación >

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10893/1306

Título : Comprobación probabilística de resultados de programas
Autores: Díaz Frias, Juan Francisco
Maca, Mauricio
Uzuriaga, Vivian
Palabras clave : Comprobación probabilística
Fecha de publicación: 13-oct-2011
Resumen: Este artículo presenta una visión global del tema comprobación probabilística de resultados de programas, resaltando la necesidad introducir la noción de comprobación en el contexto de desarrollo y depuración de software e ilustrando con un ejemplo sencillo la utilidad de esta teoría.
URI: http://hdl.handle.net/10893/1306
Aparece en las colecciones: Vol. 06 no. 1, 1997 / Energía y Computación

Texto completo:

Archivo Descripción Tamaño Formato
Comprobacion probabilistica de resultados.pdf1.89 MBAdobe PDFDescargar aquí
Ver estadísticas

Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
Creative Commons

Los ítems de Biblioteca Digital están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.

 

Biblioteca Mario Carvajal
biblioteca@univalle.edu.co
Teléfonos +57 2 3212950 - Fax 3212977
Universidad del Valle - Ciudad Universitaria
Calle 13 # 100-00 Cali, Colombia
    Biblioteca San Fernando
biblioteca@univalle.edu.co
Teléfonos +57 2 5185633 - Fax 5581951
Universidad del Valle - Sede San Fernando
Calle 4a.B # 36-00
Cali, Colombia
    Biblioteca Colección Clínica
biblioteca@univalle.edu.co
Teléfonos +57 2 5576113
Hospital Universitario del Valle
Calle 5a # 36-08
Cali, Colombia
DSpace Software Copyright © 2002-2008 MIT and Hewlett-Packard