- Teacher: Clara BERTOLISSI
- Teacher: Francois xavier DUPE
- Teacher: Pacome PERROTIN
- Teacher: Renaud ALLIOD
- Teacher: Emmanuel GODARD
- Teacher: Yassine ILMI
Méthodologie et outils pour la sécurisation des SI
- Teacher: Roland AGOPIAN
- Teacher: Clara BERTOLISSI
- Teacher: Emmanuel GODARD
Méthodes d'analyses de programmes.
- Teacher: Denis LUGIEZ
Introduction aux méthodes permettant d'assurer la fiabilité du code.
-Cycle de vie du logiciel.
-Spécifications informelles et formelles.
-Tests: établissement de cahier de tests, constructions de suite de tests, automatisation du test.
Types de tests: unitaire, intégration, fonctionnel. Boite blanche boite noire.
-Méthodes formelles: modélisations de systèmes et propriétés, validation formelle.
- Teacher: Line JAMET-JAKUBIEC
- Teacher: Denis LUGIEZ
- Teacher: Emmanuel GODARD
- Teacher: Yassine ILMI
Méthodologie et outils pour la sécurisation des SI
- Teacher: Emmanuel GODARD