L'organisation de ce parcours se résume ainsi:
Anglais obligatoire en première période (3 ECTS) | |||
Première période | (15 ECTS) | Deuxième période | (18 ECTS) |
Cours obligatoires | Cours obligatoires | ||
Modélisation et spécification | (3 ECTS) | Model-Checking | (3 ECTS) |
Programmation synchrone | (3 ECTS) | Analyse statique de programmes | (3 ECTS) |
Conception et programmation avancée | (3 ECTS) | Preuve de programmes | (3 ECTS) |
Méthodes de test | (3 ECTS) | ||
Cours optionnels | Cours optionnels | ||
Sécurité | (3 ECTS) | Vérification de la Sécurité | (3 ECTS) |
Ingénérie des protocoles | (3 ECTS) | Contrôle et ordonnancement | (3 ECTS) |
Protocoles des Services Internet | (3 ECTS) | Systèmes modulaires, embarqués et temps-réel | (3 ECTS) |
Troisième période | Quatrième période | ||
Projets | Stage en entreprise | (21 ECTS) |