Responsable du parcours-type : Didier GALMICHE
La conception de logiciels est devenue une activité de plus en plus complexe par la taille des systèmes informatiques, leur composition hétérogène, leur exécution distribuée. Il est plus que jamais essentiel de maîtriser cette complexité afin d’éviter des erreurs de conception et de programmation aux conséquences désastreuses. La production de logiciels doit donc reposer sur des concepts maîtrisés et des techniques et méthodes rigoureuses.
Dans ce contexte, l’objectif du parcours-type Ingénierie des Logiciels au travers de ses orientations est de préparer les étudiants aux techniques et méthodes rigoureuses pour l’ingénierie logicielle ainsi qu’aux méthodes formelles pour la sécurité et la sûreté des programmes et des systèmes informatiques.
La première année (M1) est un socle commun sur les deux sites, la spécialisation ne se fait qu’à partir de la deuxième année.
Orientation « Ingénierie Logicielle (IL) »
Responsable de l’orientation (site de Nancy) : Horatiu Cirstea
L’orientation Ingénierie Logicielle 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é. 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 données, etc.) ainsi que l’acquisition de compétences nécessaire à la gestion de projet et de la qualité (méthodes agiles, certification, validation, etc.).
Orientation “Méthodes Formelles pour des Logiciels Sûrs (MFLS)”
Responsable de l’orientation (site de Nancy) : Didier GALMICHE
L’orientation Méthodes Formelles pour des Systèmes 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.
Compétences scientifiques et techniques spécifiques au parcours IL
- Concevoir et développer des systèmes logiciels sûrs et sécurisés
- Intégrer des méthodes et techniques formelles de modélisation, d’analyse, de vérification et de validation dans le processus de développement de logiciels critiques
- Mettre en service et maintenir les applications informatiques
- Gérer toutes les étapes d’un projet de développement, depuis l’étude des besoins jusqu’à la mise en production
- Maîtriser des technologies en évolution constante, les méthodes, les outils de conception et de développement de logiciels et de bases de données
Pré-requis spécifiques au parcours IL
Bonne connaissances en
- Algorithmique, Calculabilité et Complexité
- Analyse et Conception des Logiciels
- Logique, Sémantique et Vérification
- Bases de données
- Applications distribuées et Web
Projet professionnel en adéquation avec la formation.