| |
| First year (bachelor) |
| - 3MMSALG:Remedial course in algorithmic and basic programming | 0.0 | 16.5 |
| - 3MMBPI:Introduction to imperative programming | 5.0 | 145.5 |
| - 3MMALGO:Algorithms and data structures 2 | 3.0 | 78.0 |
| - 3MMPLC:Software project | 4.0 | 248.0 |
| Second year (master 1) |
| - 4MMPOO6:Object-Oriented Programming | 1.5 | 22.5 |
| - 4MMPGL6:Software engineering project | 5.0 | 191.25 |
| - 4MMACOL:Software analysis design | 2.0 | 26.0 |
| - 4MMMP3:Modelisation and programming | 1.5 | 36.0 |
| Third year (master 2) |
| - 5MMTSL6:Software testing | 1.5 | 18.0 |
| - 5MMMVSC7:Models and languages for model checking | 1.5 | 18.0 |
| - WMMF9M50:.NET Project | 4.0 | 30.0 |
| - 5MMVSE7:Validation of embedded systems | 1.5 | 18.0 |
| - 5MMPCPD:Project | 2.0 | 24.0 |
