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

A informática está para os computadores assim como a astronomia está para os telescópios

A Ciência não estuda ferramentas. Ela estuda como nós as utilizamos, e o que descobrimos com elas

A arte de programar consiste em organizar e dominar a complexidade