Informations générales

La mailing-liste de ce cours est : . (on peut s'incrire ici ). Le cours se déroule le vendredi de 8h30 à 10h30 en amphi 6C sous la responsabilité de Mihaela Sighireanu et Yann Régis-Gianas.

Les travaux dirigés ont lieu le vendredi de 10h30 à 12h30 en salle 473F et sont encadrés par Constantin Enea et Mihaela Sighireanu. La page des travaux dirigés est ici .

Plan du cours

Introduction générale
- Qu'est-ce que le génie logiciel?
- Processus de développement
- Gestion de projet
- Qualité
- Déploiement
Spécification
- Système objet
- Système séquentiel et modulaire
- Système réactif
- Qualité
- Déploiement
Conception
- Architecture logicielle
- Exemples d'architecture pour différents systèmes
Développement
- Méthode de développement
- Programmation par composants
- Programmation par contrat
- Programmation générique
Vérification, validation et preuve
- Plannification
- Relecture de code
- Méthode automatique
- Outils
Configuration et deploiement