Ingénierie des besoins. Méthodes de spécification formelle. Principes, méthodes et notations de conception. Description et styles d'architectures logicielles. Composantes logicielles, patrons de conception et cadres d'application.
- Enseignant: Pascal Archambault
- Enseignant: Imen Jaoua
- Enseignant: An Li
- Enseignant: Eugene Syriani