| |
| Première année |
| - 3MMALG11:Algorithmique et structures de données 1 | 6.0 | 196.5 |
| - 3MMPLC:Projet logiciel en C | 4.0 | 118.0 |
| - 3MMALG2:Algorithmique et structures de données 2 | 3.0 | 93.0 |
| Deuxième année |
| - 4MMMFTP:Modèles formels du temps et du parallelisme | 1.5 | 18.75 |
| - 4MMAPMA:Algorithmique et programmation - mise a niveau | 3.0 | 54.0 |
| - 4MMMP3:Modélisation et programmation | 1.5 | 36.0 |
| - 4MMSAP:Sémantique et analyse des programmes | 2.5 | 53.5 |
| - 4MMACVLS:Analyse, conception et validation de logiciels | 2.5 | 36.75 |
| - 4MMTLCMN:Théorie des languages et compilation - mise à niveau | 1.5 | 18.0 |
| - 4MMACVL:Analyse, conception et validation de logiciels | 2.5 | 36.75 |
| - 4MMPGL:Projet génie logiciel | 6.0 | 189.75 |
| - 4MMPOO:Programmation Orientée Objet | 2.0 | 18.5 |
| Troisième année |
| - 5MMVSE:Validation des systèmes embarqués | 2.0 | 18.0 |
| - WMMF111:Projet d'introduction à la plateforme.NET | 3.75 | 30.0 |
| - 5MMTLSFT:Test des logiciels, sureté de fonctionnement et tolérance aux fautes | 1.75 | 18.0 |
| - WMMF331:Calcul parallèle en finance | 1.75 | 18.0 |
| - 5MM253C3:HPC pour la modelisation (en anglais) | 1.75 | 18.0 |
| - 5MMMVSCT:Modélisation et vérification des systèmes concurrents et temps réel | 1.75 | 18.0 |
| - 5MMPMP:Projet de Modélisation et Programmation | 2.0 | 18.0 |
| - 5MMARC:Applications réparties et Cloud | 3.0 | 30.0 |
