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

Méthodes d'analyses de programmes.

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.