Edsger Dijkstra

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. #edsgerdijkstra #edsger #dijkstra #testes #programas #podem #maneira #muito #eficaz #demonstrar #presena #erros #irremediavelmente

A introdução de abstrações adequadas é a nossa única ajuda mental para reduzir o apelo à enumeração, para organizar e dominar a complexidade. #edsgerdijkstra #edsger #dijkstra #introduo #abstraes #adequadas #nossa #nica #ajuda #mental #reduzir #apelo #enumerao

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 como nós as utilizamos, e o que descobrimos com elas. #edsgerdijkstra #edsger #dijkstra #cincia #estuda #computao #relacionada #computadores #quanto #astronomia #telescpios #biologia #microscpios