Exigences du logiciel: définition, typologie. Cycle de l'ingénierie des exigences: élicitation, analyse et validation, spécification, vérification. Prototypage. Techniques d'élicitation. Analyse des exigences: classification, modélisation conceptuelle, allocation, négociation, évaluation du risque. Validation des exigences: revues et inspections, tests d'acceptation. Techniques de spécification. Caractéristiques de qualité des exigences et vérification. Modélisation des exigences et méthodes agiles. Gestion des exigences. Études de cas.