Programmer par contrats : promesse tenue ? (fr)

La programmation par contrats est une bonne idée du langage Eiffel. Le C# inclut lui aussi le paradigme. Java avait tenté avec les assertions. Qu'en attendre ? Peut on faire de la qualité avec les contrats ? Qu'est ce donc que la programmation par contrats ? C'est préciser dans une méthode un contrat d'utilisation.