Master AIGLE Architectures et InGénierie du Logiciel et du web Semestre 2 Clémentine Nebut (nebut@lirmm.fr) Pierre Pompidor (pompidor@lirmm.fr) Faculté des sciences UM2 18 décembre 2012 S2 (FDS UM2) Spécialité Aigle 18 décembre 2012 1 / 18
Le semestre 2 Architectures n-tiers e-applis Conduite de projet GXML + Lang à Objet à typ. stat. Spécifications formelles 3 parmi 4 1 parmi 2 + TER +Ouverture S2 (FDS UM2) Spécialité Aigle 18 décembre 2012 2 / 18
Vos choix pour ce semestre 3 modules parmi : Architectures n-tiers (GMIN204) lundi matin/vendredi après-midi Conduite de projets avancée (GMIN21C) jeudi après-midi E-applications (GMIN205) mercredi matin Galaxie XML (FMIN201) vendredi matin 1 module parmi : Spécications formelles (GMIN211) mardi matin Langages à objets à typage statique (FMIN314) mardi matin 1 module parmi l'ensemble des modules proposés dans les spécialités AIGLE, DECOL, IMAGINA, MOCA Respecter impérativement les contraintes liées à l'emploi du temps! (votre sujet de TER) S2 (FDS UM2) Spécialité Aigle 18 décembre 2012 3 / 18
Aperçu de l'emploi du temps 8h 9h45 11h 15 Cours GMIN204 Architectures N-tiers GMIN212 TD/TP GMIN204 Architectures N-tiers Gr. 1 lundi mardi mercredi jeudi vendredi Modélisat. et Programm. 3D C/TD GMIN213 Méthodes Approch. Cours FMIN314 L.O.T.S. TP FMIN314 L.O.T.S. Cours GMIN211 Spécif. Formelles TP GMIN211 Spéc. Form.. FMIN206 Bases de données Spatiales Suivant semaines Cours GMIN205 E-appl. TD/TP GMIN205 E-appli. FMIN202 T.A.L.N. FMIN311 Extraction De Connaiss. À partir De données C/TD FMIN212 Algos Distribués Cours FMIN201 Galaxie XML TP FMIN201 Galaxie XML TP FMIN201 Galaxie XML FMIN206 Bases de données Spatiales Suivant semaines GMIN215 Analyse et traitement D'images 13h 15 15h 16h 45 FMIN215 Algorithmique Géométrique FMIN309 Ingénierie Des Connaiss. C/TD GMIN202 Calcula- Bilité FMIN206 Bases de données Spatiales Suivant semaines FMIN109 Social Informatics Cours GMIN21C Conduite de projets TD GMIN21C Conduite de projets 2 TD en parallèle TPGMIN21C CDP (suivant Semaines) TD/TP GMIN204 Archit. N-tiers Gr. 2 C/TD GMIN213 Méthodes Approch. FMIN206 Bases de données Spatiales Suivant semaines S2 (FDS UM2) Spécialité Aigle 18 décembre 2012 4 / 18
Dates importantes Jeudi 20 décembre, avant midi : Remise de vos prévisions de choix au secrétariat Lundi 21 janvier : Début des enseignements Lundi 28 janvier : Choix dénitif des UEs S2 (FDS UM2) Spécialité Aigle 18 décembre 2012 5 / 18
Architectures n-tiers : intergiciels à objets et services web Intervenants : Clémentine Nebut et Djamel Seriai Contenu / Objectifs Conception des applications à objets distribués Connaissance des principes et des services liés aux intergiciels Services web Technologies / outils.net, C# (Visual studio) CORBA Services web avec Java et C# Emploi du temps Cours : lundi matin, 8h TD groupe 1 : lundi matin à la suite du cours (max 40 étudiants) TD groupe 2 : vendredi après-midi S2 (FDS UM2) Spécialité Aigle 18 décembre 2012 6 / 18
Langages à objets à typage statique Intervenant : Roland Ducournau Contenu / Objectifs Compréhension ne de la problématique du typage statique (majoritaire) en POO Analyse des contradictions entre typage sûr et expressivité Bases théoriques pour le choix méthodologique Entre spécialisation et généricité Principes et état de l'art des techniques d'implémentation des objets Technologies / outils LISP JAVA C++ C# EIFFEL PRM SCALA... S2 (FDS UM2) Spécialité Aigle 18 décembre 2012 7 / 18
GMIN211 : Spécifications formelles Spécifier = définir ce que doit faire un programme (composant, méthode ) Formelle = utiliser pour cette définition un langage formel disposant d une sémantique non ambiguë (comme opposé à un langage naturel ou semi-formel) Intérêts: Permettre de se poser des questions sur le système à développer dès sa conception et indépendamment des contraintes d implémentation Disposer d une référence (cahier des charges précis) pour Implémentation Génération de tests Réalisation de preuves de correction de programme. S2 (FDS UM2) Spécialité Aigle 18 décembre 2012 8 / 18
GMIN211 : Spécifications formelles Prérequis: Arithmétique simple Théorie des ensembles et relations (les bases) Logique (proposition et prédicats) Le langage support : B (J.R. Abrial) Programme Spécification des états du système (données et invariant) Spécification des opérations de transformation d état (opérations et préconditions) Spécification de la réutilisation et de la composition Preuve de cohérence Initiation à l utilisation d un prouveur De la spécification à l implémentation : une ouverture à la programmation par preuves Notion de raffinement Terminaison des boucles Concrètement Resp. : M. Leclère leclere@lirmm.fr Organisation: 10 Cours / 10 TD / 10 TP (atelier B) MCC : Exam 50% + CC 50% (avec règle du Max) Réalisation d un projet de spécification tout au long de l UE. S2 (FDS UM2) Spécialité Aigle 18 décembre 2012 8 / 18
Galaxie XML Généralités apéritives sur le monde troublant d'xml : XML comme format de données et comme base syntaxique pour diérents langages de programmation principe de l'analyse (parsing) de documents XML Médiatisation de documents XML via XSL découverte d'xsl, un langage déclaratif atypique et subtil génération de programmes balisés via XSL (HTML, XML, SVG...) illustration par la manipulation générique de documents XML Langages duaux pour les applications WEB : Flex : MXML et AS3 la concurrence : Silverlight, XUL Manipulation de données XML dans le contexte d'ajax et d'html5 Ouverture sur une médiatisation en 3D S2 (FDS UM2) Spécialité Aigle 18 décembre 2012 9 / 18
Galaxie XML, suite Projet : générateur de site web phase amont : spécication de l'interface du site au travers d'une GUI perso enregistrement de la topographie du site via un document XML phase aval : génération du site suivant un rendu particulier (2D GMaps/SVG..., 3D,...) S2 (FDS UM2) Spécialité Aigle 18 décembre 2012 10 / 18
E-Applications Master Aigle, S2, 2013, responsable : François Scharffe Intervenants Olivier Agusol (UM2) Mathieu Lafourcade (UM2/LIRMM) Guillaume Kalukowski (Logica) Boris Motylewsky (VeriSafe) François Scharffe (UM2/LIRMM) Organisation Le mercredi matin Evaluation Web Frameworks Moteurs de recherche et SEO Fidélisation, Web marketing Systèmes de gestion de contenu Web 2.0 : Réseaux sociaux, Folksonomies, Microblogging, Géolocalisation, Mashups et APIs d'accès aux données Sécurité, confidentialité et confiance Videodiffusion Programme Mini-projets à chaque séance à rendre pour la séance d'après, 1 thème préféré à retravailler et à rendre à la fin du module S2 (FDS UM2) Spécialité Aigle 18 décembre 2012 11 / 18
Conduite de projets avancée S2 (FDS UM2) Spécialité Aigle 18 décembre 2012 12 / 18
Conduite de projets avancée - déroulement (jeudi après-midi) Cours Les concepts : Analyse, Décomposition, Planication, Risques, Suivi (E. Bourreau) La gestion de projets en vrai (intervenant Smile) L'importance du test en vrai (intervenant Logica) Méthodologies de développement avancées : Qualité, CMMI (E. Bourreau) Méthodes agiles, Scrum & Extreme Programming (intervenante Wembla) La gestion des exigences (intervenante Wembla) TD Décomposition d'un projet Estimation des charges Agile, gestion des exigences TP Planication prévisionnelle et Suivi sous OO-PROJECT S2 (FDS UM2) Spécialité Aigle 18 décembre 2012 13 / 18
Liste des modules possibles, en plus des modules AIGLE Social Informatics mercredi après-midi TALN, niveau 1 mercredi matin Base de données spatiales mardi et vendredi Algorithmes distribués jeudi matin Algorithmique Géométrique lundi après-midi Ingénierie des connaissances mardi après-midi Extraction de Connaissances à partir de Données (ECD) jeudi matin Calculabilité sous toutes ses coutures mardi après-midi Algorithmique d'exploration et de mouvement mardi matin Modélisation et programmation 3D lundi matin Méthodes approchées lundi matin et vendredi après-midi Analyse et traitement d'images vendredi matin S2 (FDS UM2) Spécialité Aigle 18 décembre 2012 14 / 18
Liste des modules conseillés, selon votre choix de modules AIGLE Social Informatics mercredi après-midi TALN, niveau 1 mercredi matin Si vous ne choisissez pas e-applications Algorithmes distribués jeudi matin Ingénierie des connaissances mardi après-midi Extraction de Connaissances à partir de Données (ECD) jeudi matin S2 (FDS UM2) Spécialité Aigle 18 décembre 2012 15 / 18
Concepts de Programmation (Stefano Cerri, Master Sem2) VanRoy et Haridi: Programmation: Concepts, techniques et modèles http://www.info.ucl.ac.be/~pvr/coursfrancais.html Les trois principaux paradigmes de programmation dans un cadre uniforme avec une panoplie de techniques pratiques de développement de programmes. 1. programmation fonctionnelle, 2. programmation orientée objet 3. programmation concurrente dataflow, en ajoutant à chaque fois un seul concept au langage de base. Eléments de sémantique des langages de programmation Labo interactif basé sur le Mozart Programming System (déjà disponible dans les salles de TP) Examen: CC + écrit + oral S2 (FDS UM2) Spécialité Aigle 18 décembre 2012 16 / 18
Concepts et Modèles de Programmation Page 5 Septembre 2010 S2 (FDS UM2) Spécialité Aigle 18 décembre 2012 17 / 18
S'informer http://www.lirmm.fr/ nebut/index.php/enseignement/aigle Contact Clémentine Nebut (nebut@lirmm.fr) Pierre Pompidor (pompidor@lirmm.fr) aiglemasterinfofds@um2.fr S2 (FDS UM2) Spécialité Aigle 18 décembre 2012 18 / 18