M2 – Parcours IL – Orientation « Méthodes Formelles pour des Logiciels Sûrs » MFLS

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 des Systèmes Informatiques 2 16 8
Vérification algorithmique 2 16  8  –
Logiques non-classiques et preuves 2 16 8
Preuves de programmes 2 16 8
Intégration Méthodologique 2 36  –
Gestion de projet 2 12 12
Professionnalisation 2 12 12
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 données et extraction des connaissances 2 16 8  –
Sécurité des Protocoles 2 16 8  –
Cryptographie avancée 2 16 8  –

Semestre 10

Titre Crédits CM TD TP
Stage 30  –