Connaître l'évolution et les principes des méthodes d'analyse et jeter un regard critique sur les activités de prédéveloppement et de définition des exigences.

Modèles du cycle de vie du logiciel. Stratégies de définition et d'élaboration des exigences. Concepts et méthodes de modélisation pour la spécification de systèmes logiciels : méthodes et techniques d'identification, de préparation et de validation des exigences. Normes et outils d'analyse des besoins, de spécification des exigences (analyse structurée, analyse objet). Rôle du prototypage. Langages formels pour la description et l'analyse de systèmes logiciels : automates d'états finis et réseaux de Pétri.

Leçons magistrales, travaux pratiques, laboratoires, exercices.