Le Parcours GL Génie Logiciel

Transcription

1 Le Parcours GL Génie Logiciel Contact Clémentine Nebut Abdelhak-Djamel Seriai Faculté des sciences UM2 Décembre 2010 Master IFPRU (FDS UM2) Parcours GL Décembre / 15

2 Processus de développement, architecture, systèmes d'information Technologies objet, composants, modèles, services Maîtrise du processus de développement Architectures et langages pour le génie logiciel Systèmes d'information et bases de données Master IFPRU (FDS UM2) Parcours GL Décembre / 15

3 Processus de développement, architecture, systèmes d'information Technologies objet, composants, modèles, services Maîtrise du processus de développement Architectures et langages pour le génie logiciel Ingénierie des modèles Conduite de projet Métaprogrammation, métamodélisation Archirectures. n-tiers SI BD Systèmes d'information et bases de données Master IFPRU (FDS UM2) Parcours GL Décembre / 15

4 Objectifs du parcours GL Former des ingénieurs et des chercheurs en informatique dans les domaines du génie logiciel Conception de systèmes hétérogènes, distribués, embarqués modélisation, architecture, interopérabilité,... Qualité du logiciel validation, maintenance, robustesse,... Master IFPRU (FDS UM2) Parcours GL Décembre / 15

5 Objectifs Pédagogiques du Parcours Maîtrise conceptuelle et technique des paradigmes et technologies les plus utilisés pour le développement logiciel (J2EE, services web,...) Initiation aux paradigmes et technologies émergents (aspects, orchestration,...) Formation à la recherche en génie logiciel : développement de langages et de compilateurs : SCL, PRM (ré-)ingénierie de modèles (UML, Java, C++) systèmes d'informations thématiques (environnementaux) ouverture sur les web services et l'intégration de processus Master IFPRU (FDS UM2) Parcours GL Décembre / 15

6 Intégration professionnelle Côté pro Chef de projet Architecte d'applications, Architecte des systèmes d'information Ingénieur Génie Logiciel, études et développement, validation, qualité Côté recherche à court terme : stage et thèse LIRMM : DOC, IDC, RCR, Coconut, Smile en France ou plus loin à court ou moyen terme Chargé de recherche CNRS, INRIA Ingénieur de recherche CNRS, INRIA, univ., entreprises (R&D), etc. Enseignant-chercheur : universités, écoles d'ingénieur, etc. Master IFPRU (FDS UM2) Parcours GL Décembre / 15

7 Quelques entreprises (stages de M ) Atos orign Alliance Telecom / Analytel Cap Gemini CEMAGREF CORTUS EBM Web sourcing IBM IOcean Logica MGI Consultants Netheos NEOTIC Oktalogic Omega Consulting PENBASE Sedit Marianne Smile SNCF Sopra Group Synapse Techsia SA Master IFPRU (FDS UM2) Parcours GL Décembre / 15

8 Aperçu du M1-S2 et du M2 TER : 10 ECTS 10 ECTS dans UEs GL 10 ECTS libres UEvie professionnelle : 5 ECTS 15 ECTS dans UEs GL 10 ECTS libres S4 Recherche Stage : 30 ECTS S2 S3 S4 S4 Pro TER 5 ECTS Stage 15 ECTS 5 ECTS GL 5 ECTS libres Master IFPRU (FDS UM2) Parcours GL Décembre / 15

9 Les UEs c ur de parcours En M1 S2 Conception et Développement des IHMs (fermé cette année) Des spécications au code avec UML et B Méta-Programmation et Réexivité Programmation orientée Agents (fermé cette année) Master IFPRU (FDS UM2) Parcours GL Décembre / 15

10 Des Spécications au code avec UML et B (FMIN205) Michel Leclère et Clémentine Nebut Raner la spécication et la modélisation de façon à éviter la découverte d'erreurs de conception au moment du codage. Pratique des méthodes formelles du génie logiciel avec B, Pratique de modélisation détaillée avec UML, Initiation à la preuve de programme. Master IFPRU (FDS UM2) Parcours GL Décembre / 15

11 Méta-programmation et réexivité (FMIN204) Roland Ducournau et Christophe Dony Concepts et outils pour des programmes capables de : raisonner sur eux-mêmes, s'auto-modier, s'adapter. Bases de la méta-modélisation et méta-programmation objet Méta-programmation à l'exécution, au chargement ou à la compilation Mise en pratique en Java, C#, Smalltalk et Lisp Master IFPRU (FDS UM2) Parcours GL Décembre / 15

12 Aperçu du M2 sur l'année UEvie professionnelle : 5 ECTS 15 ECTS dans UEs GL 10 ECTS libres S4 Recherche Stage : 30 ECTS S3 S4 S4 Pro TER 5 ECTS Stage 15 ECTS 5 ECTS GL 5 ECTS libres Master IFPRU (FDS UM2) Parcours GL Décembre / 15

13 Côté pro Langages à objet à typage statique Conduite de projet Architectures n-tiers : intergiciels à objets et services web Administration de base de données Qualité du logiciel Logiciels Embarqués et Ambiants Master IFPRU (FDS UM2) Parcours GL Décembre / 15

14 Côté Pro/Recherche Réutilisation et composants Gestion de données distribuées Intégration Médiation Ingénierie des modèles Master IFPRU (FDS UM2) Parcours GL Décembre / 15

15 Côté recherche Données complexes Treillis de Galois et classication Ingénierie des systèmes d'information environnementaux Dynamique et abilité des systèmes Modélisation des comportements des systèmes réactifs Systèmes répartis, collaboratifs, mobiles et P2P Fiabilité du logiciel Langages Spécication et implémentation des langages à objets Spécication et implémentation des langages à composants Master IFPRU (FDS UM2) Parcours GL Décembre / 15

16 Parcours GL Présentation disponible via : nebut/index.php/enseignement/gl Contact Clémentine Nebut ([email protected]) Abdelhak-Djamel Seriai ([email protected]) Master IFPRU (FDS UM2) Parcours GL Décembre / 15