5 à 7 de l'objet

Rendez-vous technologiques mensuels

Informer - Echanger - Apporter des solutions

Assertions à la Eiffel

Chaque méthode est enrichie par

une précondition et
une postcondition

montant déposer(montant somme){require somme > 0}{ensure solde = old solde + somme};

Diapositive précédente Diapositive suivante Revenir à la première diapositive Afficher la version graphique

Avec le concours de l'AFEIT - du Technopôle Brest Iroise - du Club Objet de l'Ouest
de TNI et l'ENST Bretagne
Contactez le webmaster
Site hébergé par l'ENST Bretagne