ENSERB 3ème année Année 97/98
Méthodes Formelles dans l'Ingénierie du Logiciel
Ventilation des notes
Etude de risques (10 points)
0
0,5
1
1,5
2
2,5
3
3,5
4
4,5
5
5,5
6
6,5
7
7,5
8
8,5
9
9,5
10
#
Moyenne
Modélisation et vérification (10 points)
0
0,5
1
1,5
2
2,5
3
3,5
4
4,5
5
5,5
6
6,5
7
7,5
8
8,5
9
9,5
10
#
2
2
3
3
3
1
1
Moyenne
2,4
L'examen (20 points)
de 0 à 5
Note
#
0
0.5
1
1.5
2
2.5
3
3.5
4
4.5
de 5 à 10
Note
#
5
5.5
6
6.5
7
7.5
8
8.5
9
9.5
de 10 à 15
Note
#
10
10.5
11
11.5
12
12.5
13
13.5
14
14.5
de 15 à 20
Note
#
15
15.5
16
16.5
17
17.5
18
18.5
19
19.5
20 et plus
Note
#
20
Moyenne
Alain Griffault