La programmation par contrat aurait évité l'explosion d'Ariane 5:
www.eiffel.com/doc/manuals/technology/co
T'as oublié les balises <troll>.
Tu ne réponds pas à la question. Les techniques de vérification, si elles ne sont pas obligatoires, on oublie toujours de les utiliser à un endroit ou un autre. Que ce soit du haut niveau (dbc) ou du bas niveau (assert) ne change rien au problème.
[^] # Re: Eiffel
Posté par Moby-Dik . En réponse à la dépêche SmallEiffel devient SmartEiffel. Évalué à 1.
www.eiffel.com/doc/manuals/technology/co
T'as oublié les balises <troll>.
Tu ne réponds pas à la question. Les techniques de vérification, si elles ne sont pas obligatoires, on oublie toujours de les utiliser à un endroit ou un autre. Que ce soit du haut niveau (dbc) ou du bas niveau (assert) ne change rien au problème.