Site de Nancy
Responsable de l’orientation : Didier GALMICHE
L’orientation Méthodes Formelles pour les Logiciels Sûrs vise à donner aux étudiants une formation solide et approfondie aux concepts et principes fondamentaux pour la conception de logiciels sûrs, fiables et robustes ainsi qu’aux méthodes formelles et outils informatiques associés actuels ou en cours d’élaboration. Pour développer de tels logiciels il est nécessaire d’approfondir les différentes activités qui constituent le cycle de vie d’un logiciel, leurs enchaînements et leurs interactions.
Semestre 9
Unités d’enseignement fondamentales
Unités d’enseignement |
Crédits | CM | TD | TP |
Génie logiciel avancé | 2 | 16 | 8 | – |
Modélisation & vérification de systèmes informatiques | 4 | 32 | 16 | – |
Logiques non-classiques et preuves | 2 | 16 | 8 | – |
Preuves de programmes | 2 | 16 | 8 | – |
Situation intégratrice | 3 | – | 36 | – |
Gestion de projet | 3 | 18 | 8 | – |
Anglais | 2 | 24 |
Unités d’enseignement d’approfondissement (6 au choix)
Unités d’enseignement |
Crédits | CM | TD | TP |
Modèles de calculs | 2 | 16 | 8 | – |
Preuve de programmes avancée | 2 | 16 | 8 | – |
Procédures de décision pour la preuve de programmes | 2 | 16 | 8 | – |
Sémantique, preuves et types | 2 | 16 | 8 | – |
Ingénierie des données | 2 | 16 | 8 | – |
Sécurité des protocoles | 2 | 16 | 8 | – |
Infrastructures virtualisées | 2 | 16 | 8 | – |
Sécurité web | 2 | 16 | 8 | – |
Semestre 10
Crédits | CM | TD | TP | |
Stage | 30 | – | – | – |