Projets informatiques : méthodes et outils (1)
GLG206
Objectifs pédagogiques :
Le but de cette UE est d'obtenir les compétences afin de maîtriser le développement de systèmes informatiques complexes. Le cours met l'accent sur l'intégration des différentes techniques qui permettent de garantir la qualité de la réalisation : management de projet et agilité, intégration, expression des besoins, mise en oeuvre d'un système qualité, spécification formelle, vérification. Le cours suivra les phases du processus de développement mais n'entrera pas dans le détail sur les techniques de programmation.
Public et conditions d'accès :
L'objectif de l'UE GLG 206 est de former des analystes et des architectes projet de systèmes informatiques complexes. Cette UE s'articule fortement avec l'UE GLG 207 qu'il est fortement recommandé de suivre dans la continuité de celle-ci, ces deux UE formant un tout pédagogique, dans une même perspective métier.
Ce cours s'adresse à toute personne souhaitant renforcer ses connaissances dans les domaines du développement des systèmes complexes.
Ce cours est un complément de l'UE GLG 105 Génie Logiciel mais peut être suivi indépendamment.
Compétences :
A l'issue de ce cours, l'auditeur doit être capable de décrire et gérer les étapes de développement d'un système complexe. Il saura traduire en spécification formelle l'expression des besoins et des exigences.
Méthodes de validation :
Cette UE sera validée par un examen de 3h.
Contenu de la formation :
Aperçu des thèmes abordés dans le cours
Le cours comporte 3 volets :
1. Complexité des systèmes et des projets
- Exemples de systèmes complexes tirés de l'industrie ; taille et criticité; le rôle fondamental de la maîtrise d'ouvrage dans l'ingénierie des systèmes complexes
- Notion de processus de développement, rôle clé de l'intégration, fédération de systèmes, systèmes de systèmes
- Cycles de développement des systèmes complexes à l'aide de modèles de processus ; cycles de processus unifié (UP) ; méthodes agiles (SCRUM, XP,...)
- Processus d'intégration ; VVT guidée par les modèles ; VVT pilotée par le développement (TDD)
2. Expression des besoins
- Analyse vs. expression des besoins, besoins vs. exigences, rôle des acteurs et de la maitrise d'oeuvre
- Exigences fonctionnelles et non fonctionnelles, rappels sur la norme ISO/CEI 9126
3. Spécification formelle des systèmes complexes
- Aspects statiques et dynamiques d'un système
- Techniques de spécification et preuve formelles : orientées modèles et preuves (B), orientés comportement (LOTOS)
Bibliographie :
- Jacques PRINTZ: Le Génie logiciel (Que sais-je n°2956, PUF).
- Jean-Raymond Abrial: The B-Book: Assigning Programs to Meanings, Cambridge University Press, 2005
- Michael Yoeli, Rakefet Kol: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS, 2008
- Stéphane Badreau, Jean-Louis Boulanger: Ingénierie des exigences, 2014
- Henrik Kniberg: Scrum and Xp from the Trenches 2nd Edition (Anglais) – 24 novembre 2015
Cette UE apparaît dans les diplômes et certificats suivants :
- CYC9106A : Diplôme d'ingénieur Spécialité informatique parcours Cybersécurité
- CYC9101A : Diplôme d'ingénieur Spécialité informatique parcours Architecture et ingénierie des systèmes et des logiciels (AISL)
