Etablissement :Université de Khenchela Intitulé du master : Génie logiciel et S

Etablissement :Université de Khenchela Intitulé du master : Génie logiciel et Systèmes distribués Page 17 Année universitaire : 2016/2017 III - Programme détaillé par matière (1 fiche détaillée par matière) Etablissement :Université de Khenchela Intitulé du master : Génie logiciel et Systèmes distribués Page 18 Année universitaire : 2016/2017 Intitulé du Master : Génie logiciel et Systèmes distribués. Semestre : 1 Intitulé de l’UE : UEF1 Intitulé de la matière : Calculabilité et Complexité Crédits : 4 Coefficients : 2 Objectifs de l’enseignement : Assimiler les notions de décidabilité d'un problème et de classes de complexité. Cerner les limites des machines ? Peut-on résoudre tous les problèmes avec un ordinateur ? Peut-on calculer toutes les fonctions avec un ordinateur ? Combien de temps faut-il pour résoudre un problème ? Trouvera-t-on un jour des algorithmes radicalement plus efficaces ? Connaissances préalables recommandées : Langages et automates, algorithmique des graphes, logique propositionnelle. Contenu de la matière :  Calculabilité : o Problème de décision et de calcul o Machines de Turing (MT) : définitions, programmation, variantes, complexités en temps et en espace, non déterminisme, énumération. o Thèse de Church-Turing o Machines RAM : définitions, équivalence avec les MT (complexité). o Fonctions récursives.  Décidabilité et indécidabilité : o Propriétés des langages R et RE. o MT universelles. o Réduction. o Problèmes indécidables.  Complexité : o Comparaison des classes de complexité (temps, espace, déterministe et non déterministe). o Exemples de problèmes : satisfaisabilité, circuits booléens, graphes, ... o Réduction et complétude. o Exemples de problèmes P-complets, NP-complets, PSPACE-complets, ... o Calcul parallèle (classe NC). Mode d’évaluation : Examen final + Contrôle continu Références : 1. Pierre Wolper, Introduction à la calculabilité, InterEditions, 1991. Christos H. Etablissement :Université de Khenchela Intitulé du master : Génie logiciel et Systèmes distribués Page 19 Année universitaire : 2016/2017 2. Papadimitriou, Computational Complexity, Addison Wesley, 1994. 3. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation, Addison Wesley, 1974. 4. M. Sipser, Introduction to the Theory of Computation, PWS publishing Company, 1997. Etablissement :Université de Khenchela Intitulé du master : Génie logiciel et Systèmes distribués Page 20 Année universitaire : 2016/2017 Intitulé du Master : Génie logiciel et Systèmes distribués. Semestre : 1 Intitulé de l’UE : UEF1 Intitulé de la matière : Développement d'Applications réparties Crédits : 4 Coefficients : 2 Objectifs de l’enseignement Un système réparti est un ensemble de machines autonomes connectées par un réseau, et équipées d’un logiciel dédié à la coordination des activités du système ainsi qu’au partage de ses ressources. L'objectif de cette matière est de double. Premièrement; donner aux étudiants les concepts de base des systèmes répartis et deuxièmement, leur donner les Fondements du développement d'applications réparties à travers l'étude des Modèles de programmation, l'Architecture logicielle des applications et du middleware. Ceci permettra aux futurs diplômés de cette spécialité de maitriser les principales solutions techniques existantes telles que les patrons de conception; etc … Connaissances préalables recommandées : Notions sur la répartition dans les langages de programmation à savoir Java. Contenu de la matière : Partie 1 1. Principes généraux sur les systèmes répartis. 2. Paradigmes et services de communication. 3. Principaux problèmes de coordination et de cohérence de donnée. Partie 2 1. Introduction et principes de base : Architectures applicatives ; Schéma de conception. 2. Intergiciels : Défis majeurs (désignation ; transmission de données ; gestion des pannes) ; Intergiciels (définition, caractérisation, historique) . 3. Invocations de méthodes à distance (Java RMI) Modèle ; Java RMI ; Principes ; Création d'objets distants ; Téléchargement de code ; Parallélisme ; Asynchronisme ; Activation. Mode d’évaluation : Examen final + Contrôle continu Références 1. E. G. Chang and R. Roberts. « An improved algorithm for decentralized extrema-finding in circular configurations of processors ».Communications of the ACM, 22(5):281–312, 1979. 2. G. Coulouris, J. Dollimore, and T. Kindberg.Distributed Systems—Concepts and Design, 2nd Ed. Addison-Wesley Publishers Ltd., 1994. Etablissement :Université de Khenchela Intitulé du master : Génie logiciel et Systèmes distribués Page 21 Année universitaire : 2016/2017 Intitulé du Master : Génie logiciel et Systèmes distribués. Semestre : 1 Intitulé de l’UE : UEF2 Intitulé de la matière : Ingénierie dirigée par les modèles Crédits : 4 Coefficients : 2 Connaissances préalables recommandées : Objectifs de l’enseignement : L'IDM (Ingénierie dirigée par les modèles) est le domaine de l'informatique mettant à disposition des outils, concepts et langages pour créer et transformer des modèles. Ce que propose l'approche de l'ingénierie des modèles (IDM, ou MDE en anglais pour Model Driven Engineering) est simplement de mécaniser le processus que les ingénieurs expérimentés suivent à la main. L'intérêt pour l'IDM a été fortement amplifié lorsque l'organisme de standardisation OMG (Object Modeling Group) a rendu publique son initiative MDA (Model Driven Architecture). Ce cours permettra aux étudiants d’intégrer les principes de l’approche MDA pour le développement d’applications logicielles. Il présentera aussi un tour d’horizon des outils liés à MDA. Connaissances préalables recommandées : Notions sur le génie logiciel. Contenu de la matière : Chapitre 1 : Introduction Chapitre 2. Les deux principes de IDM -La méta-modélisation - Les transformations de modèles Chapitre 3. MDA : Une réalisation de l’IDM - OMG et MDA - Hiérarchie de modélisation - Mise en œuvre du MDA - Architecture générale de l’approche MDA - Syntaxe abstraite et syntaxe concrète Chapitre 4 : Supports de modélisation OMG -Le diagramme de classe UML -OCL : Un langage de spécification de contraintes. -MOF pour la définition de méta-modèle -CWM pour la modélisation des données. -XMI pour l’échange de modèles. -QVT pour modéliser les transformations de modèles. Mode d’évaluation : Examen final + Contrôle continu Références  Xavier Blanc, MDA en action : Ingénierie logicielle guidée par les modèles, Editions Eyrolles.  Jean-Marie Favre, Jacky Establier, Mireille Blay-Fornarino, L'ingénierie dirigée par les modèles : au-delà du MDA, 236 pages, Editeur : Hermes-Lavoisier Etablissement :Université de Khenchela Intitulé du master : Génie logiciel et Systèmes distribués Page 22 Année universitaire : 2016/2017 Intitulé du Master : Génie logiciel et Systèmes distribués. Semestre : 1 Intitulé de l’UE : UEF2 Intitulé de la matière : Génie logiciel avancé Crédits :6 Coefficients : 3 Objectifs de l’enseignement : Cette matière présente les techniques et les outils de développement utilisés actuellement par les informaticiens. Elle est composée de quatre parties : l'approfondissement de la connaissance du langage UML, la présentation de la démarche d'analyse et de conception, l'étude des bonnes pratiques de construction d'architectures logicielles par objets et la problématique de la qualité et du test. Les travaux pratiques utilisent la notation UML. À l'issue de ce cours, un étudiant doit être capable de concevoir une application à objets simple à partir d'un cahier des charges : en mettant en œuvre une démarche d'analyse et de conception par objets, en utilisant le langage UML comme langage pivot, en construisant une architecture par objets robuste et préparée aux futures évolutions de l'application, en garantissant le fonctionnement de son application grâce à la mise en place d'un jeu de tests unitaire, d'intégration et fonctionnelle. Connaissances préalables recommandées : Connaissances de base en informatique, maîtrise de la programmation à objets (concepts de classe, d'interface, d'opérations, de méthodes, d'héritage, etc.). Lecture des principaux diagrammes UML. Contenu de la matière : Chapitre 1 : Rappel de programmation objets Chapitre 2 : Concepts avancés : exceptions, clonage, classes génériques, collections, itérations, classes internes ... Chapitre 3 : Modélisation objet par UML, diagrammes statiques et dynamiques. Chapitre 4 : Les bonnes pratiques d'architecture logicielle à objet o Introduction aux Patrons de Conception (Design Pattern) o Patrons de création o Patrons de structure Mode d’évaluation : Examen final + Contrôle continu Référence : 1.Design patterns - catalogues de modules de conception réutilisables, E. Gamma, R. Helm et al. Joshua Bloch, Effective Java, Programming Language Guide, Addison- Wesley 2001 2. M. Blaha et J. Rumbaugh, Modélisation et conception orientées objet avec UML2, Pearson education, 2e édition, 2005 3. E. Gamma, R. Helm, R. Johnson et J. Vlissides, Design Patterns. Catalogue de modèles de conception réutilisables, Vuibert, 1999 Etablissement :Université de Khenchela Intitulé du master : Génie logiciel et Systèmes distribués Page 23 Année universitaire : 2016/2017 Intitulé du Master : Génie logiciel et Systèmes distribués. Semestre : 1 Intitulé de l’UE : UEM1 Intitulé de la matière : Technologies XML Crédits : 4 Coefficients : 2 Objectifs de l’enseignement : Cette matière est axée sur la réalisation de sites Web dynamiques avec interfaçage à des bases de données. Il s'agit aussi de présenter le langage XML et les technologies et outils qui gravitent autour de ce format d'échange. Connaissances préalables recommandées :  Savoir écrire des programmes en Java  Une connaissance superficielle de HTML et du Web Contenu de la matière :  Le langage XML, les DTD et les schémas.  Le langage XSL et les requêtes XPATH.  Java et XML : étude de SAX et DOM  Les bases de données XML et le langage XQuery.  Présentation de XSL-FO et de SVG.  Conception et réalisation des services WEB uploads/Litterature/ programme-master-glsd.pdf

  • 25
  • 0
  • 0
Afficher les détails des licences
Licence et utilisation
Gratuit pour un usage personnel Attribution requise
Partager