Testes de programas podem ser uma maneira muito
Testes de programas podem ser uma maneira muito eficaz para demonstrar a presença de erros, mas é irremediavelmente insuficiente para mostrar a sua ausência.
#ausencia#presenca#edsgerdijkstraCiência da Computação está tão relacionada aos computadores
Ciência da Computação está tão relacionada aos computadores quanto a Astronomia aos telescópios, Biologia aos microscópios, ou Química aos tubos de ensaio. A Ciência não estuda ferramentas. Ela estuda…
#ciencias#ciencia#edsgerdijkstraA introdução de abstrações adequadas é a nossa
A introdução de abstrações adequadas é a nossa única ajuda mental para reduzir o apelo à enumeração, para organizar e dominar a complexidade.
#complexidade#edsgerdijkstra#ajuda