Master Informatique : Parcours STL

Transcription

1 Master Informatique : Parcours STL Science et Technologie du Logiciel Responsables : E. Chailloux & A. Genitrini Emmanuel.Chailloux@upmc.fr Antoine.Genitrini@upmc.fr Secrétariat : É. Auger Bureau / 216 Master.Info.STL@upmc.fr fr/lmd/specialite/stl/ Présentation parcours Science et Technologie du Logiciel (STL) - année 2017/ / 11

2 Le parcours STL Objectifs : former des spécialistes en développement et suivi d applications avec une grande expertise pratique et théorique, dans les langages de programmation, les méthodes algorithmiques, et le développement logiciel. Prérequis : bonne maîtrise des paradigmes et mécanismes de la programmation et de l algorithmique et en plus du goût pour le développement de projets logiciels et/ou du goût pour les contenus plus formels et théoriques Débouchés : professionnels : architectures logicielles et outils d ingénierie grandes entreprises, bureaux d étude, petites entreprises innovantes et de haute techno en recherche : poursuite en thèse laboratoires publics et privés Présentation parcours Science et Technologie du Logiciel (STL) - année 2017/ / 11

3 L agencement du parcours STL M2 : trois agencements : Rec Algorithme et Programmation Recherche (dont MPRI) Pro Algorithme et Programmation pour l Ingénieur Alt Alternance par la voie de l apprentissage (avec le CFA INSTA) répartis en trois thématiques : GLED Génie Logiciel et Environnement de Développement WCM Web, Concurrence et Mobilité FLA Fiabilité du Logiciel et Algorithmes M1 : bases communes Présentation parcours Science et Technologie du Logiciel (STL) - année 2017/ / 11

4 Agencement et thématiques Présentation parcours Science et Technologie du Logiciel (STL) - année 2017/ / 11

5 Schéma typique d une UE & Planning Chaque semaine : Cours : 2h en amphi transmission des connaissances COMPRENDRE TD : 2h en salle TD application des connaissances ASSIMILER TME : 2h en salle machines mise en œuvre des connaissances PRATIQUER Début des cours : lundi 18 septembre Début des TD/TME : lundi 25 sept. (vérifier pour chaque UE) Vérifier les salles sur le planning de l UPMC : Consulter quotidiennement : Présentation parcours Science et Technologie du Logiciel (STL) - année 2017/ / 11

6 Choix des UE de M1S1 - Parcours STL Parcours Informatique : 30 ECTS 5 UE de 6 ECTS 2 UE obligatoires : ALGAV : ALGorithmique AVancée et DLP : Développement des Langages de Programmation et 3 UE au choix parmi (par exemple) IL : Ingénierie Logicielle LRC, MLBDA, NOYAU, PR, ARCHI1, COMPLEX, MOGPL pour les redoublants en M1 : les crédits acquis le resteront Parcours Informatique et Mathématique : 30 ECTS ALGAV et DLP (6 ECTS chacune) 1 UE maths (12 ECTS) : Maths Discr. ou Bases Méth. Num. 1 UE d informatique libre Parcours d Excellence : 36 ECTS choisir une UE supplémentaire (nous en parler lors de l inscription) Présentation parcours Science et Technologie du Logiciel (STL) - année 2017/ / 11

7 UE du M1S2 Anglais (obligatoire mais comptabilisé au M2-S4) PSTL Projet (obligatoire) sujets proposés par l équipe pédagogique, à réaliser au moins en binôme APS Analyse des programmes et sémantique objet d étude les programmes, vérification statique de propriétés, sémantiques opérationnelle et dénotationnelle CA Compilation avancée des machines virtuelles (traits de haut niveau) aux machines réelles (optimisation du code) CPA Conception Pratique d Algorithmes collisions, enveloppes convexes, automates, voyageurs du commerce, agencement de rayons CPS Composants spécification/réalisation, conception par contrat raffinement et héritage, modélisation systèmes concurrents PC2R Programmation concurrente réactive et répartie modèles de programmation concurrente, mémoire partagée, mémoire répartie, programmation synchrone, client-serveur, appels distants Présentation parcours Science et Technologie du Logiciel (STL) - année 2017/ / 11

8 Parcours d Excellence 36 ECTS en S1 36 ECTS en S2 Stage d été ATTENTION : conditions particulières : mention et notes homogènes en licence (notes > 14) 6 UE : valider chacune d elles stage d été appartenance au parcours revue en S2 AUTORISATION nécessaire Présentation parcours Science et Technologie du Logiciel (STL) - année 2017/ / 11

9 Changement de Parcours Changement possible de parcours au S2 au sein du master Info. Conditions : Valider les 2 UE obligatoires du S1 du parcours en question DAC SAR {}}{{}}{ MLBDA, LRC, MOGPL, NOYAU, PR }{{} ANDROIDE Présentation parcours Science et Technologie du Logiciel (STL) - année 2017/ / 11

10 Inscriptions pédagogiques : salle / Passage par ordre de dépôt des fiches de vœux Attendre d être appelé, au pied de la rotonde 14 Validation de la fiche de vœux si possible... sinon 1. Choix du parcours (Info / Info-Maths / Excellence) 2. Choix des UE 3. Choix des groupes de TD-TME Les étudiants qui ne se présentent pas ne seront pas inscrits! Présentation parcours Science et Technologie du Logiciel (STL) - année 2017/ / 11

11 UE du M1S1 ALGAV ALGorithmique AVancée Montrer comment l utilisation de structures de données avancées (files de priorité, arbres de recherche, hachage, arbres digitaux) permet d optimiser les performances des algorithmes dans des domaines d application variés comme la gestion et la compression de données massives. DLP Développement des Langages de Programmation Ce cours définit une succession grandissante de langages de programmation de la classe de JavaScript dont la syntaxe est XML. Interprète et compilateur sont écrits en Java, le compilateur produit du C: il y a donc un langage différent pour les divers aspects de la chaîne de compilation. Ce cours détaille également la construction incrémentielle de ces évaluateurs, leurs tests et exerce la lecture de code. IL Ingénierie Logicielle Processus de développement du logiciel, la modélisation et l architecture des systèmes à dominante logicielle en UML, les patrons de conception, l analyse et la conception orientées objet, les techniques de tests et de validation des logiciels, la métrologie du logiciel et de son processus de développement, les componentiels, la mise en œuvre d un environnement industriel de développement de logiciel ou la rédaction de la documentation technique d un logiciel. Présentation parcours Science et Technologie du Logiciel (STL) - année 2017/ / 11