Comprobación probabilística de resultados de programas.
| dc.contributor.author | Díaz Frias, Juan Francisco | spa |
| dc.contributor.author | Maca, Mauricio | spa |
| dc.contributor.author | Uzuriaga, Vivian | spa |
| dc.date.accessioned | 2011-10-13T17:40:19Z | |
| dc.date.available | 2011-10-13T17:40:19Z | |
| dc.date.issued | 2011-10-13 | |
| dc.description.abstract | 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. | spa |
| dc.identifier.uri | https://hdl.handle.net/10893/1306 | |
| dc.language.iso | es | spa |
| dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
| dc.subject | Comprobación probabilística | spa |
| dc.title | Comprobación probabilística de resultados de programas. | spa |
| dc.type | Artículo de revista | spa |
| dspace.entity.type | Publication |