Informatique Fiabilité et sécurité informatique (FSI)

[18-19]-M- Sécurité Internet Réseaux (Emmanuel Godard)

Méthodologie et outils pour la sécurisation des SI

[18-19]-Analyse-de-programmes (Denis Lugiez)

Méthodes d'analyses de programmes.

[18-19]-S2-Fiabilité Logicielle - (Denis Lugiez)

Introduction aux principes et techniques destinées à améliorer la qualité du code. L'essentiel du cours porte sur les méthodes et environnement de tests et leur utilisation dans le cadre du développement.