Programmes de génie aux études supérieures

Diplôme d'études supérieures spécialisées (DESS)
en GÉNIE INFORMATIQUE option Génie logiciel



Pour de plus amples informations sur le programme, ses objectifs, son contenu, sa structure, son approche pédagogique et ses critères d’admission ...

Pour information

gigl-es@polymtl.ca

Responsable

Monsieur Yann-Gaël Guéhéneuc, professeur au département de génie informatique et génie logiciel
(514) 340-4711, poste 7116, courriel : yann-gael.gueheneuc@polymtl.ca

But du programme

Ce programme s'adresse à des candidats possédant un diplôme de premier cycle de nature scientifique et désirant compléter leur formation en génie logiciel à l'aide de cours de cycles supérieurs.

Diplôme

Le programme d'études supérieures spécialisées en génie informatique conduit à l'obtention du Diplôme d'études supérieures spécialisées (DESS), option Génie logiciel.

Conditions d'admission

  • Être détenteur d'un baccalauréat en ingénierie ou d'un diplôme jugé équivalent par Polytechnique Montréal;

ou

  • être détenteur d'un diplôme universitaire de nature scientifique et posséder une formation jugée suffisante par l'École;

et

  • avoir obtenu une moyenne cumulative d'au moins 2,50 (système de 4 points) dans ses études de 1er cycle, ou l'équivalent agréé par l'École.

Un candidat peut demander une dérogation à cette règle en présentant à l'appui de sa demande un dossier mettant en évidence ses aptitudes à la poursuite d'études de deuxième cycle (expérience professionnelle pertinente, études subséquentes à l'obtention de son grade de premier cycle).

Structure du programme

Le programme comporte 30 crédits, se répartissant comme suit :

 

   Crédits 
   Min.   Max. 
Cours du 1er cycle 0 9
Cours de cycles supérieurs(1) 21 30

 

(1) Dont au moins 15 crédits doivent être choisis parmi les cours spécifiés à la section « Liste des cours ».

Liste des cours

NoteSigleTitreCrédits
  INF6410 Ontologies et Web sémantique 3
  INF6603 Vérification des systèmes temps réel 3
  INF8007 Langages de script 1
  INF8480 Systèmes répartis et infonuagique 3
  LOG6302 Ré-ingénierie du logiciel 3
  LOG6303 Rôles des processus en génie logiciel 3
  LOG6305 Techniques avancées de test du logiciel 3
  LOG6306 Patrons pour la compréhension de programme 3
  LOG6307 Fouille de réf. pour mise en prod. logicielle 3
  LOG6308 Systèmes de recommandations 3
  LOG6605 Méthodes formelles sécurité de l'information 3
  LOG8371 Ingénierie de la qualité en logiciel 3
  LOG8415 Concepts avancés en infonuagique 3
  LOG8430 Architecture logicielle et conception avancée 3

Projet

NoteSigleTitreCrédits
  LOG6909 Projet d'études supérieures 3

 

Description des cours

BA = baccalauréat       ES = études supérieures       CE = certificat

ES  INF6410  Ontologies et Web sémantique   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Notions de base en logique propositionnelle et logique des prédicats. Logiques descriptives. Mécanismes d'inférence. Langages et modèles de données pour le web sémantique : langages de balisage et de transformation de documents électroniques, langage de description de ressources, langage de représentation d'ontologies. Ontologies standards. Méthodologie pour la construction d'une ontologie. Validation d'une ontologie. Applications du web sémantique : annotation et indexation sémantique de documents, outils de recherche,

Manuel(s) :
Notes :
Responsable(s) : Michel Gagnon
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6410

ES  INF6603  Vérification des systèmes temps réel   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Introduction aux méthodes formelles de vérification des systèmes temps réel. Intégration des méthodes formelles dans le processus de développement des systèmes temps réel. Automates temporisés, automates hybrides, automates temporisés à chronomètres, automates temporisés de jeu, automates temporisés à tâches. Abstractions des espaces d'états temporisés préservant les propriétés linéaires et les propriétés de branchement, et les structures de données associées. Logiques temporelles temporisées MITL (Metric Interval Temporal Logic) et TCTL (Timed Computation Tree Logic). Model-checking. Synthèse de contrôleurs. Décidabilité et complexité de vérification. Contrôle et analyse formelle de l'ordonnançabilité. Génération automatique de tests. Calcul de stratégies gagnantes. Génération de tests par la synthèse de contrôleurs. Outils de vérification et leurs fondements théoriques.

Manuel(s) :
Notes :
Responsable(s) : Hanifa Boucheneb
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6603

ES  INF8007  Langages de script   [détails] 

Nombre de crédits : 1  (1 - 1 - 1)
Département : Génies informatique, logiciel
Préalable(s) : 70 crédits pour les étudiants au baccalauréat
Corequis :

Caractéristiques des langages de script. Principaux langages et domaines d'application. Programmation avec un langage de script : syntaxe, structures de contrôle, structures de données, communication interprocessus et communication avec une base de données, modules clients et serveurs.

Manuel(s) :
Notes :
Responsable(s) : Michel C. Desmarais
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF8007

ES  INF8480  Systèmes répartis et infonuagique   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : INF3405 70 crédits
Corequis : Aucun

Introduction aux systèmes répartis et à l'infonuagique. Environnement de développement technologique et réseautique des systèmes répartis. Architectures client-serveur, pair-à-pair, orientées-services et totalement réparties. Infrastructure, plateforme et applications en tant que services. Concepts d'objets distants et d'intergiciels. Virtualisation des noeuds et du réseau. Notions de synchronisation du temps et de systèmes transactionnels répartis. Méthodes et techniques de conception de services performants, répartis, virtualisés, sécuritaires et tolérants aux défaillances. L'informatique et le développement durable dans le contexte d'applications réparties et de l'infonuagique

Manuel(s) :
Notes :
Responsable(s) : À venir

ES  LOG6302  Ré-ingénierie du logiciel   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Cycle de ré-ingénierie, restructuration, rétro-ingénierie, récupération de la conception (design recovery) et re-documentation. Niveaux d'abstraction et méthodes de représentation. Aspects d'analyse syntaxique. Techniques d'analyse statique du code source. Analyses de flux de contrôle et de flux de données. Autres techniques d'analyses de flux. Approches d'extraction et d'inférence de spécifications. Génération automatique de code. Analyse d'impact.

Manuel(s) :
Notes :
Responsable(s) : Ettore Merlo

ES  LOG6303  Rôles des processus en génie logiciel   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Types de processus : philosophie Agile, processus discipliné, modèles de référence, CMMI, ISO 15504 et méta-modèle. Rôles des processus en fonction des contextes suivants : qualité du logiciel, cycle de vie, disciplines d'ingénierie et de support, pratiques de développement, interactions face-à-face et virtuelle, équipe distribuée, gestion des équipes, mobilité, environnement de développement, techniques d'amélioration des processus, estimations, outils logiciels, méthodologies, métriques, certification. Application de la méthodologie de la revue systématique de la littérature dans le contexte des processus de génie logiciel.

Manuel(s) :
Notes :
Responsable(s) : À venir

ES  LOG6305  Techniques avancées de test du logiciel   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Principaux aspects du test du logiciel à toutes les étapes de développement et d'évolution. Techniques structurelles de test et méthodes de test fonctionnel avancées. Génération automatique de données de test et approches basées sur les métaheuristiques. Tests des logiciels orientés objets. Modélisation quantitative du logiciel pour évaluer sa fiabilité, sa robustesse et sa sécurité. Techniques pour détecter les failles de sécurité. Identification des fichiers, classes ou méthodes défectueuses. Rôle de l'ingénierie de la qualité dans la fiabilité du logiciel.

Manuel(s) :
Notes :
Responsable(s) : Giuliano Antoniol
Site Web : http://moodle.polymtl.ca/course/view.php?name=LOG6305

ES  LOG6306  Patrons pour la compréhension de programme   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Introduction aux méthodes empiriques en génie logiciel. Métamodélisation et mesures. Principales théories de la mesure et validation des mesures. Introduction aux études empiriques et techniques d'analyses empiriques. Principales définitions de patrons (patrons architecturaux, de conception, anti-patrons, idiomes). Principales théories liées à la compréhension de programmes et à l'utilisation de patrons. Principales méthodes d'utilisation des patrons pour le développement et la maintenance et pour faciliter la compréhension de programmes. Principales techniques d'application de patrons et d'identification d'occurrences dans divers artefacts logiciels (code source, modèles statiques, dynamiques, historiques). Impact des patrons sur la compréhension des programmes.

Manuel(s) :
Notes :
Responsable(s) : À venir

ES  LOG6307  Fouille de réf. pour mise en prod. logicielle  [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Processus de la mise en production de logiciel : intégration, manufacture, tests en plusieurs étapes, emballage et livraison. Planification de la mise en production et problématiques liées. Définition et concepts de base de la fouille de référentiels logiciels. Différents types de référentiels : gestion des configurations, gestion de bogues, listes de diffusion, écosystèmes de projets et sites de collaboration. Techniques pour l'analyse empirique des référentiels: fouille de données, analyse statistique, traitement de la langue naturelle, analyse du code source et analyse manuelle. Intégration : gestion des configurations, impact des patrons de branchement sur la qualité du logiciel, patrons d'intégration dans des projets à grande échelle. Manufacture : maintenance et vérification de la manufacture, gestion de la variabilité logicielle. Tests en plusieurs étapes : prédiction de bogues, réduction/minimalisation/sélection de tests et assurance qualité en continu. Emballage : distributions de logiciels à grande échelle, provenance de code source et applications mobiles. Livraison : techniques de déploiement, magasins d'applications mobiles (« app stores ») et infonuagique.

Manuel(s) :
Notes :
Responsable(s) : Bram Adams
Site Web : http://moodle.polymtl.ca/course/view.php?name=LOG6307

ES  LOG6308  Systèmes de recommandations   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : Aucun
Corequis : Aucun

Concepts et exemples d'applications des systèmes de recommandations et des filtres d'information. Modélisation des intérêts, buts et connaissances des utilisateurs. Matrices de votes, matrices termes-documents et matrices d'adjacence. Filtres collaboratifs item-item et utilisateur-utilisateur. Approches probabilistes et algorithme PageRank. Réduction de dimensions. Facteurs de confiance, transparence et sérendipité de l'information filtrée. Techniques de personnalisation en fonction de la connaissance et des actions des utilisateurs. Techniques de validation

Manuel(s) :
Notes :
Responsable(s) : Michel C. Desmarais

ES  LOG6605  Méthodes formelles sécurité de l'information   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Contrôle d'accès : mécanismes, modèles (définition, spécification et vérification), limitations. Contrôle de flux d'information : mesures, spécification et analyse de flux dans un programme séquentiel. Non-interférence (spécification, analyse et limitations), généralisations de la non-interférence aux systèmes distribués (spécification, classification et analyse). Sécurité des systèmes ouverts : spécification des propriétés de sécurité, modèles d'attaques, diverses méthodes d'analyse automatisée et leurs limitations.

Manuel(s) :
Notes :
Responsable(s) : John Mullins

ES  LOG6909  Projet d'études supérieures   [détails] 

Nombre de crédits : 3  (0 - 0 - 9)
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :

Projet d'études supérieures accompli sous la direction d'un professeur du département et comprenant une étude d'application ainsi que la rédaction d'un rapport de projet. Le travail comprend au moins un total de 135 heures.

Manuel(s) :
Notes :
Responsable(s) : À venir

ES  LOG8371  Ingénierie de la qualité en logiciel   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : 70 crédits pour les étudiants du baccalauréat
Corequis :

Concepts de base et définitions pertinentes en relation avec la qualité du logiciel, assurance qualité, tests, ingénierie de la qualité et planification de la qualité. Prévention des anomalies et classification des défauts. Tolérance aux fautes. Ingénierie de la fiabilité logicielle. Modèles de la qualité. Comparaison des différentes techniques d'assurance qualité. Amélioration du processus de développement logiciel. Mesure du logiciel et du processus. Identification des risques pour l'amélioration quantifiable de la qualité.

Manuel(s) :
Notes :
Responsable(s) : Giuliano Antoniol

ES  LOG8415  Concepts avancés en infonuagique   [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : 70 crédits pour les étudiants au baccalauréat
Corequis :

Concepts clés de l'infonuagique. Principaux modèles de services d'infonuagique. Mécanismes clés et architecture d'une plateforme infonuagique. Théorie de la virtualisation et techniques logicielles de virtualisation. Analytique pour les gros volumes de données avec MapReduce et NoSQL. Considérations techniques liées à la migration d'applications vers le nuage. Patrons d'architectures pour le nuage. Interopérabilité dans le nuage. Métriques de qualité de service et contrat de niveau de service. Sûreté de fonctionnement et sécurité dans le nuage. Problèmes juridiques liés à l'infonuagique. Infonuagique mobile

Manuel(s) :
Notes :
Responsable(s) : Foutse Khomh
Site Web : http://moodle.polymtl.ca/course/view.php?name=LOG8415

ES  LOG8430  Architecture logicielle et conception avancée  [détails] 

Nombre de crédits : 3  (3 - 1.5 - 4.5)
Département : Génies informatique, logiciel
Préalable(s) : LoG2410, LOG3210, LOG3430, ou l'équivalent
Corequis :

Méthodes de conception avancées de logiciels et choix d'architecture. Architectures logicielles : multi-niveaux, clients-serveurs, extensibles et dynamiques. Concepts et implantations avancées des bibliothèques et du chargement de composantes dynamiques. Cadres de référence et plugiciels. Composition et architecture par composantes. Patrons de conception avancés pour les systèmes distribués : accès aux services et configuration, traitement d'événements, synchronisation et accès simultanés. Approches émergentes de conception et d'architecture : conception orientée aspect, architecture orientée services et autres.

Manuel(s) :
Notes :
Responsable(s) : Bram Adams
Site Web : http://moodle.polymtl.ca/course/view.php?name=LOG8430

 

Pour des informations supplémentaires

École Polytechnique de Montréal
Registrariat
C.P. 6079, succursale Centre-ville
Montréal (Québec) CANADA, H3C 3A7
Téléphone : 514 340-4724
Télécopieur : 514 340-5836
Courriel : registraire@polymtl.ca
Pavillon : Principal
Local : A-201

Le contenu de cette page est sous la responsabilité du Registrariat.

 

© École Polytechnique de Montréal
Bottin | Plan du site | Recherche | Conditions