Imprimer

Supplément descriptif du certificat

Le Répertoire National des Certifications Professionnelles (RNCP) Code RNCP : 19806

Intitulé

MASTER : MASTER Master Informatique spécialité Logiciels:Méthodes Formelles et Ingénierie

Résumé du référentiel d'emploi ou éléments de compétence acquis

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.

Le parcours IL a pour objectif de former des spécialistes de niveau ingénieur en conception, développement et déploiement de logiciels de grande taille, hétérogènes et distribués. Plus particulièrement, ce parcours forme des experts capables d’analyser et de mettre en œuvre des produits logiciels tout en maîtrisant les coûts, la sécurité et la qualité.

Le parcours MF vise à donner aux futurs professionnels une formation solide  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.

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).

Secteurs d'activité ou types d'emplois accessibles par le détenteur de ce diplôme, ce titre ou ce certificat

PME / PMI ; Sociétés de service en informatique ; Sociétés de conseil ; Entreprises industrielles ; Départements d’étude, de recherche ou développement des entreprises, des administrations ou des établissements publics ou privés ; centre de recherche ; enseignement supérieur.

Consultant décisionnel (BI) ;

Analyste décisionnel (BI) ;

Administrateur d’entrepôts de données ;

Ingénieur en informatique responsable de projet décisionnel ;

Chercheur en Informatique (recherche fondamentale, recherche appliquée, recherche et développement) ; Ingénieur recherche et développement en informatique;

Cadre « Ingénieur informaticien » spécialisé dans l'utilisation de l'informatique pour aborder des problèmes industriels, économiques et sociaux.

Codes des fiches ROME les plus proches : 

  • K2108 : Enseignement supérieur
  • K2402 : Recherche en sciences de l'univers, de la matière et du vivant
  • H1206 : Management et ingénierie études, recherche et développement industriel
  • M1805 : Études et développement informatique
  • M1802 : Expertise et support en systèmes d'information
Autorité responsable de la certification Qualité du(es) signataire(s) de la certification
Université de Lorraine, Ministère de l'Enseignement Supérieur Président de l'université de Lorraine, Recteur de l'académie, chancelier des universités

Niveau et/ou domaine d'activité

I (Nomenclature de 1967)

7 (Nomenclature Europe)

Convention(s) : 

Code(s) NSF : 

110 Spécialités pluri-scientifiques

Formacode(s) : 

Liens avec d'autres certifications Accords européens ou internationaux

Le parcours MF est un des composants du programme de Master International DESEM (Erasmus Mundus Msc in Dependable Software Systems) proposé à partir de 2012 en collaboration avec National University of Ireland Maynooth (Irlande) et University of St Andrews (Ecosse).

Base légale

Référence du décret général : 

Arrêté du 25 avril 2002 publié au JO du 27 avril 2002, relatif au diplôme national de master

Référence arrêté création (ou date 1er arrêté enregistrement) : 

Arrêté du 2 juillet 2013 relatif aux habilitations de l’Université de Lorraine à délivrer des diplômes nationaux

Référence du décret et/ou arrêté VAE : 

Décret n° 2002-590 du 24 avril 2002 relatif à la validation des acquis de l’expérience par les établissements d’enseignement supérieur

Références autres : 

Modalités d'accès à cette certification

Descriptif des composantes de la certification : 

Le master mention Informatique de l'université de Lorraine propose une première année (M1) bi-localisée sur les sites de Metz et de Nancy, commune à toutes les spécialités.

La spécialité de M2 Méthodes Formelles et Ingénierie (LMFI), dispensée entièrement sur le site de Nancy, est structurée en deux parcours :

- Ingénierie Logicielle (IL),  à vocation professionnelle ;

- Méthodes Formelles (MF), à finalité recherche.

 

Descriptif général :

 - M1 (S7) :

Mise à niveau programmation – 0 ECTS

Anglais – 3 ECTS

Algorithmique et Complexité – 4 ECTS

Réseaux – 4 ECTS

Logique et Modèles de Calcul – 5 ECTS

Modèles de Perception, de Raisonnement et Facteurs humains – 5 ECTS

Optimisation Combinatoire – 5 ECTS

Analyse et Conception des Logiciels - 4 ECTS

 - M1 (S8) :

-Conception d'Architectures Distribuées – 4 ECTS

-Projet Initiation à la Recherche (projet en entreprise en cas de suivi de la formation par alternance) – 5 ECTS

-Anglais – 3 ECTS

-Communication – 2 ECTS

-8 UEs optionnelles au choix dans les spécialités suivantes (8 x 2 ECTS =16 ECTS) :

-Informatique générale

-Logiciels : méthodes formelles et ingénierie

- Interaction, perception, apprentissage, connaissance

- Services, sécurité des systèmes et des réseaux

-Informatique et Décision

 M2 (S9) :

Parcours professionnel :

Anglais (3 ECTS)

Gestion de projet (2 ECTS)

Projet de synthèse (Projet en entreprise en cas de suivi de la formation par alternance - 3 ECTS)

UE Fondamentales x 6 - 3 ECTS x 6= 18 ECTS

UE Disciplinaires Optionnelles x 2 – 2 ECTS x 2 = 4 ECTS

UE professionnelle (3 ECTS) + Stage (27 ECTS) = 30 ECTS

 Parcours recherche :

Anglais – 3 ECTS

UE Fondamentales x 5 - 5 ECTS x  5= 15 ECTS

UE Disciplinaires Optionnelles x 4 – 3 ECTS x 4 = 12 ECTS

UE professionnelle (3 ECTS) + Stage/projet de recherche (27 ECTS) = 30 ECTS

Validité des composantes acquises :  illimitée

Conditions d'inscription à la certification Oui Non Composition des jurys
Après un parcours de formation sous statut d'élève ou d'étudiant X

Enseignants et professionnels ayant contribué aux enseignements (loi n° 84-52 du 26/01/1984 modifiée sur l'enseignement supérieur)

En contrat d'apprentissage X

Pour le parcours IL:

Enseignants et professionnels ayant contribué aux enseignements (loi n° 84-52 du 26/01/1984 modifiée sur l'enseignement supérieur)

Après un parcours de formation continue X

Enseignants et professionnels ayant contribué aux enseignements (loi n° 84-52 du 26/01/1984 modifiée sur l'enseignement supérieur)

En contrat de professionnalisation X

Enseignants et professionnels ayant contribué aux enseignements (loi n° 84-52 du 26/01/1984 modifiée sur l'enseignement supérieur)

Par candidature individuelle X
Par expérience dispositif VAE X

Jury d’enseignants et de professionnels, selon composition votée par le Conseil d’administration de l’Université de Lorraine

Oui Non
Accessible en Nouvelle Calédonie X
Accessible en Polynésie Française X

Pour plus d'informations

Statistiques : 

http://www.insertion.univ-lorraine.fr

Autres sources d'information : 

Site de l’Université de Lorraine : www.univ-lorraine.fr > Etudier à l’UL> Offre de formation

Université de Lorraine

Lieu(x) de certification : 

Université de Lorraine

Lieu(x) de préparation à la certification déclarés par l'organisme certificateur : 

Faculté des sciences et technologies à Nancy

Historique de la certification : 

Ancien Master mention « informatique » - spécialité « Logiciels » de l’université Henri Poincaré – Faculté des Sciences et Technologies.