Edsger Dijkstra: "As técnicas necessárias de raciocínio eficaz são bas...

"As técnicas necessárias de raciocínio eficaz são bastante formais, mas desde que a programação seja feita por pessoas que não os dominem, a crise de software permanecerá conosco e ser considerado uma doença incurável. E você sabe que as doenças incuráveis fazem: eles convidam as quacks e os charlatans, que, neste caso, assumem a forma de gurus de engenharia de software."

--- Edsger Dijkstra

Versão em inglês

The required techniques of effective reasoning are pretty formal, but as long as programming is done by people that don't master them, the software crisis will remain with us and will be considered an incurable disease. And you know what incurable diseases do: they invite the quacks and charlatans in, who in this case take the form of Software Engineering gurus.