| |
| Première année |
| - 3MMSALG:Soutien en algorithmique et programmation | 0.0 | 16.5 |
| - 3MMBPI:Bases de la programmation impérative | 5.0 | 145.5 |
| - 3MMALGO:Algorithmique et structures de données | 3.0 | 78.0 |
| - 3MMPLC:Projet logiciel en C | 4.0 | 248.0 |
| Deuxième année |
| - 4MMPOO6:Programmation orientée objet | 1.5 | 22.5 |
| - 4MMPGL6:Projet génie logiciel | 5.0 | 191.25 |
| - 4MMACOL:Analyse et conception objet de logiciels | 2.0 | 26.0 |
| - 4MMMP3:Modélisation et programmation | 1.5 | 36.0 |
| Troisième année |
| - 5MMTSL6:Test des systèmes logiciels | 1.5 | 18.0 |
| - 5MMMVSC7:Modèles et langages pour le model checking (en anglais) | 1.5 | 18.0 |
| - WMMF9M50:Stratégies systématiques en .NET | 4.0 | 30.0 |
| - 5MMVSE7:Validation des systèmes embarqués | 1.5 | 18.0 |
| - 5MMPCPD:Projet de couverture de produits dérivés | 2.0 | 24.0 |
