Examinando por Autor "Maca, Mauricio"

Mostrando 1 - 1 de 1
  • Miniatura
    PublicaciónAcceso abierto
    Comprobación probabilística de resultados de programas.
    (2011-10-13) Díaz Frias, Juan Francisco; Maca, Mauricio; Uzuriaga, Vivian
    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.