"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
Aucun commentaire:
Enregistrer un commentaire