r—v—il remis à quy „rem˜l—y

Travail remis à Guy Tremblay
INF3140-10 : Devoir 2
À remettre au plus tard le mercredi 19 novembre 2008, 15h00
(Aucun travail accepté après lundi 24 novembre, 13h30)
Ne pas mettre dans une enveloppe
Nom
Prénom
Code permanent
Courriel
Nom
Prénom
Code permanent
Courriel
1. Fonctions sur des séquences
: traduction dèle des propriétés, compilation et fonctionnement corrects sur vos tests
.
TesterFonctionsSequences.java : bonne variété de tests, compilation
correcte, fonctionnement correct.
fonctions_sequences.Spec : traduction correcte des propriétés, vérication correcte par l'analyseur Spec.
FonctionsDictionnaires.java : traduction dèle des propriétés, compilation et fonctionnement corrects sur vos tests
.
FonctionsDictionnaires.java :
bonne spécication des postconditions, compilation correcte, fonctionnement correct.
fonctions_dictionnaires.Spec : traduction correcte des propriétés,
vérication correcte par l'analyseur Spec.
FonctionsSequences.java
30 pts
10 pts
et sur mes tests (privés)
2. Fonctions sur des dictionnaires
10 pts
10 pts
30 pts
10 pts
et sur les miens
Total
10 pts
10 pts
60 pts