Edsger Dijkstra: "Quando tomamos a posição de que não é apenas a respo...

"Quando tomamos a posição de que não é apenas a responsabilidade do programador produzir um programa correto, mas também para demonstrar sua exatidão de maneira convincente, então as observações acima têm uma influência profunda na atividade do programador: o objeto que ele tem que produzir deve ser utilemente estruturado."

--- Edsger Dijkstra

#Posição #Objects #Responsabilidade #Influência #Atividade #Programadores #Produzir #Correção #Remarks #Programa #Convincing #Profundo

Versão em inglês

When we take the position that it is not only the programmer's responsibility to produce a correct program but also to demonstrate its correctness in a convincing manner, then the above remarks have a profound influence on the programmer's activity: the object he has to produce must be usefully structured.