Le programmeur devrait faire ...

A. Turing :


"Le programmeur devrait faire un certain nombre d'assertions bien
déterminées qui pourraient être vérifiées individuellement. La correction de
l'ensemble du programme en découlerait alors aisément."

(ça a du passer à 100km au dessus de la tête de la plupart des autres
informaticiens de l'époque, je me mets à leur place; citée dans
l'allocution de T. Hoare à la réception du prix Turing : the emperor clothes

Merci à Marc qui me rappelle cette citation