5
Icône-2.4 : Ingénierie logicielle : concepts et applications (72h = 18/6/48)
Compétences
L'objectif de cette UE est de fournir les méthodes permettant de maîtriser la conception et le développement
d’architectures logicielles de qualité :
Donner les connaissances théoriques, techniques et pratiques fondamentales du génie logiciel
Donner une vue d'ensemble des approches formelles et semi-formelle de conception des systèmes
critiques
Donner les clefs pour comprendre et appliquer les méthodes formelles dans le cycle de vie du logiciel
Maîtriser les concepts et les outils mathématiques qui permettent de modéliser et d'analyser le
comportement d'un système informatique
Thèmes enseignés :
Méthodes de génie logiciel et approches de processus de développement d'un logiciel de qualité (Cycles
de vie du logiciel, analyse, modélisation pour les différentes phases de conception, méthodes de test...) :
problèmes liés au développement du logiciel, principe du génie logiciel, Modèles de cycle de vie du
logiciel, méthodes de conception d’un logiciel de qualité et normes de qualité d’un logiciel, tester
pendant le cycle de vie logiciel à différents niveaux (composants, intégration, système) et de différentes
manières (fonctionnels / non fonctionnels : techniques statiques et revues de code, techniques « boites
noires », techniques « boite blanches »)
Conception d'un logiciel à base de composants : Conception d’architectures, techniques d’assemblage
de composants logiciels
Approches formelles de vérification, de preuve et de test : introduction aux méthodes formelles, modèles
et logiques associées, techniques algorithmiques d’analyse et de vérification et de preuve : «model-
checking», preuve de modèle, méthode de constructions automatiques de séquences de test à partir
d’un modèle
Pré-requis
Maîtrise de la programmation et des concepts de modélisation UML Bonne connaissance des systèmes
informatiques Connaissance des paradigmes de logique
Icône-2.5 : Stage en entreprise – projet industriel (3 mois)
Compétences
Cette EC doit permettre à l'étudiant de : - soit rencontrer le monde industriel autour d'une stage court - soit
d'intégrer un laboratoire de recherche
Unités Transversales
Icône-2.1 : Enseignement transversaux (72h)
- Anglais (24h)
- Gestion juridique et propriété industrielle (24h)
- Méthodologie, processus et innovation (24h)