Master sciences, technologies, santé mention informatique spécialité logiciels : méthodes formelles et ingénierie

La spécialité Logiciels : Méthodes Formelles et Ingénierie (LMFI) propose un parcours à vocation professionnelle, Ingénierie Logicielle (IL), et un second à vocation recherche, Méthodes Formelles (MF), avec un haut niveau d'enseignement méthodologique, technologique et métier, focalisé sur les aspects fondamentaux liés à la modélisation, le développement et la validation/certification de systèmes informatiques. En ce qui concerne les aspects appliqués, elle focalise sur les services et applications Web et leur sécurité, sur la construction et la collaboration de composants distribués, en insistant sur l'utilisation d'outils de développement formel dans le processus de développement de ces applications.

Les enseignements proposés couvrent des compétences à la fois larges et pointues, rendues indispensables par la complexité grandissante des applications logicielles. La formation vise à faire acquérir la maîtrise de concepts, de méthodes formelles et de techniques de pointe (objets, composants, distribution, services, ingénierie des connaissances, etc.) ainsi que l'acquisition de compétences nécessaire à la gestion de projet et de la qualité (méthodes agiles, certification, validation, etc.).

La spécialité Logiciels : Méthodes Formelles et Ingénierie (LMFI) offre une formation approfondie, fondamentale et appliquée, fournissant les concepts et les outils méthodologiques, technologiques et métiers nécessaires à la conception, développement et déploiement de logiciels de grande taille, hétérogènes et distribués. Les compétences fournies concernent aussi bien les métiers de la recherche que ceux de l'ingénierie :

• Bonne connaissance des méthodologies permettant la conception et le développement de logiciels de grande taille qui correspondent aux besoins des leurs utilisateurs, sont fiables et évolutives
• Bonne connaissance des outils mathématiques et informatiques de modélisation formelle, d'analyse et de vérification des programmes et systèmes matériels parallèles et réactifs, c'est à dire qui interagissent de manière continue avec leur environnement
• Bonne connaissance des concepts et mécanismes autour de la sécurité des systèmes à la fois pour l'aspect applicatif/ressources (sécurisation des ressources et des services) et pour les aspects transport (échange de messages - protocoles) et réseau
• Bonne connaissance des méthodes et les outils de validation et de leur interaction avec les techniques de vérifications dans le processus de développement de logiciels critiques
• Bonne connaissance des concepts, des techniques et de l'architecture des systèmes de gestion des bases de données distribuées
• Bonne connaissance des méthodes scientifiques pour analyser des masses de données, les exploiter, en extraire des informations et produire des synthèses pertinentes
• Bonne connaissance du monde de l'entreprise
• Capacité à gérer des projets informatiques
• Capacité à explorer une nouvelle problématique et à développer des approches de modélisation et de résolution adaptées voire innovante
• Capacité à communiquer (notamment en anglais)

La spécialité Logiciels : Méthodes Formelles et Ingénierie (LMFI) propose :

• un parcours à vocation professionnelle, Ingénierie Logicielle (IL)
• un parcours à vocation recherche, Méthodes Formelles (MF)

• Ministère de l'enseignement supérieur de la recherche et de l'innovation

• Université de Lorraine

  1ère habilitation	Début validité	Fin validité
  	01/09/2013	31/08/2018

• Master sciences, technologies, santé mention informatique spécialité logiciels : théories, méthodes et ingénierie (Imfi) (https://www.intercariforef.org/formations/certification-77590.html)