L’orientation MFLS du Master Informatique (Ingénierie Logicielle) 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. Ce Master 2 permet de renforcer les compétences des étudiants IA2R parcours SIR dans toutes les activités rencontrées durant le cycle de vie d’un logiciel. Ce Master propose une ouverture sur l’initiation aux activités de recherche.
► En savoir plus : https://licence-master-informatique.formation.univ-lorraine.fr/master/m2-parcours-il/m2-parcours-il-orientation-methodes-formelles-pour-des-logiciels-surs-mf2s/
