Génie logiciel I

3,0 credits · Premier cycle

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. Méthodes formelles pour la description et l'analyse de systèmes logiciels.