IN201 :: 3 - programmation par contrat

Objectifs

• comprendre la programmation par contrat;
• la mettre en oeuvre avec JML.

Pré-requis

• les cours des deux premières séances.

Contenu du cours

• programmation par contrat;
• préconditions, postconditions et invariants;
• présentation de JML;
• implantation d'une classe en TP.

Documents fournis

• transparents du cours;
• l'énoncé du TP;
• la documentation de l'API Java sur le site d'Oracle;
• la documentation des classes fournies;
• une archive contenant les sources des classes à décompresser par jar xvf sources-TP3.jar.

Corrigé

• le corrigé du TP;
• la trace de l'exécution de NombresPremiersEntier pour les 20 premiers entiers;
• les sources des classes au format HTML;
• une archive contenant toutes les sources.