Programmes de génie aux études supérieures

Maîtrise (professionnelle ou recherche)
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

Le programme de maîtrise a pour but d'approfondir les connaissances technologiques et scientifiques en génie logiciel.

Le profil recherche favorise le développement de la composante scientifique de la formation du candidat par l'approfondissement des connaissances et l'initiation à la recherche.

Le profil professionnel favorise le développement de la composante professionnelle de la formation du candidat par l'approfondissement des connaissances et l'acquisition d'une spécialité.

Grade

Le programme de maîtrise professionnelle en génie informatique, option Génie logiciel conduit à l'obtention du grade de Maîtrise en ingénierie (M.Ing.).

Le programme de maîtrise recherche en génie informatique, option Génie logiciel conduit à l’obtention du grade de Maîtrise ès sciences appliquées (M.Sc.A.).

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 premier cycle de nature scientifique ou pouvoir attester d'une formation jugée équivalente;

et

  • avoir obtenu une moyenne cumulative d'au moins 2,75 (système de 4points) 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 45 crédits, se répartissant comme suit :

 

Profil recherche  Crédits 
Cours (1)(2) 15
Recherche et rédaction de mémoire 30
   
Profil professionnel  Crédits 
Cours (3) 30 à 39
Projet ou stage (4) 6 à 15

 

Note:   Le cours ING6900 Méthodes de recherche (ou ING6900E) est obligatoire et doit être suivi en début de programme, au plus tard au 3e trimestre suivant la première inscription.   

(1)       Dont au moins 9 crédits de cycles supérieurs.

(2)       Le cours INF6900A Communication scientifique et technique I est obligatoire pour tout étudiant en maîtrise recherche.

(3)       La moitié des crédits de cours doit être choisie dans la section «Liste des cours» ci-dessous. Au plus 9 crédits peuvent être des cours de premier cycle.

(4)          L’étudiant désirant effectuer un stage industriel dans le cadre de son programme doit établir, en collaboration avec un professeur du département, des liens avec une entreprise pour obtenir son stage. Le stage doit être fait sous la cosupervision d’un professionnel de l’entreprise et d’un professeur du département. Le contenu du stage doit être approuvé par le responsable du programme au moins un mois avant le début du stage.

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
  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

Projets, séminaires et stages

NoteSigleTitreCrédits
  INF6900A Communication scientifique et technique I 1
  LOG6901 Projet de maîtrise en ingénierie I 6
  LOG6902 Projet de maîtrise en ingénierie II 9
  LOG6903 Projet de maîtrise en ingénierie III 12
  LOG6904 Projet de maîtrise en ingénierie IV 15
  LOG6909 Projet d'études supérieures 3
  LOG6966S Stage en milieu de travail à temps partiel 12
  LOG6972S Stage en milieu de travail 12
  INF8900 Lectures dirigées génie info. génie logiciel 3
  INF8901 Projet perso. rech. génie info. et logiciel 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  INF6900A  Communication scientifique et technique I   [détails] 

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

Communication orale et écrite dans un contexte scientifique ou technique, et plus particulièrement en génie informatique. Éléments importants d'une bonne communication scientifique ou technique. Exposé oral. Rédaction et critique de textes scientifiques ou techniques. Participation aux séminaires départementaux.

Manuel(s) :
Notes : ce cours est réservé uniquement aux étudiants inscrits à la maîtrise recherche.
Responsable(s) : Foutse Khomh
Site Web : http://moodle.polymtl.ca/course/view.php?name=INF6900A

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  INF8900  Lectures dirigées génie info. génie logiciel   [détails] 

Nombre de crédits : 3  (1 - 0 - 8)
Département : Génies informatique, logiciel
Préalable(s) : 90 crédits de premier cycle en génie informatique, génie logiciel ou l'équivalent
Corequis : Aucun

Choix d'une problématique de recherche à explorer sous la supervision d'un professeur. Recherche documentaire. Lecture critique des articles retenus. Rédaction d'un rapport synthèse.

Manuel(s) :
Notes : Ce cours est réservé aux étudiants ayant une moyenne académique d'au moins 2,75 sur 4.
Responsable(s) : Gilles Pesant

ES  INF8901  Projet perso. rech. génie info. et logiciel   [détails] 

Nombre de crédits : 3  (1 - 0 - 8)
Département : Génies informatique, logiciel
Préalable(s) : 90 crédits de premier cycle en génie informatique, génie logiciel ou l'équivalent
Corequis : Aucun

Choix d'une problématique de recherche à explorer sous la supervision d'un professeur. Définition et mise en contexte du problème retenu. Élaboration d'une méthodologie appropriée pour son étude ou sa résolution. Réalisation et évaluation préliminaires. Rédaction d'un rapport synthèse.

Manuel(s) :
Notes : Ce cours est réservé aux étudiants ayant une moyenne académique d'au moins 2,75 sur 4.
Responsable(s) : Gilles Pesant

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  LOG6901  Projet de maîtrise en ingénierie I   [détails] 

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

Projet de maîtrise en ingénierie accompli sous la direction d'un directeur de projet et comprenant une étude de niveau supérieur sur un problème de génie ainsi que la rédaction d'un rapport de projet. Le travail comprend au moins 18 heures par semaine consacrées au projet pendant un trimestre ou l'équivalent.

Manuel(s) :
Notes : L'étudiant doit s'inscrire à cette activité une seule fois au cours de sa maîtrise au trimestre où il prévoit déposer son rapport de projet.
Responsable(s) : À venir

ES  LOG6902  Projet de maîtrise en ingénierie II   [détails] 

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

Projet de maîtrise en ingénierie accompli sous la direction d'un directeur de projet et comprenant une étude de niveau supérieur sur un problème de génie ainsi que la rédaction d'un rapport de projet. Le travail comprend au moins 27 heures par semaine consacrées au projet pendant un trimestre ou l'équivalent.

Manuel(s) :
Notes : L'étudiant doit s'inscrire à cette activité une seule fois au cours de sa maîtrise au trimestre où il prévoit déposer son rapport de projet.
Responsable(s) : À venir

ES  LOG6903  Projet de maîtrise en ingénierie III   [détails] 

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

Projet de maîtrise en ingénierie accompli sous la direction d'un directeur de projet et comprenant une étude de niveau supérieur sur un problème de génie ainsi que la rédaction d'un rapport de projet. Le travail comprend au moins 36 heures par semaine consacrées au projet pendant un trimestre ou l'équivalent.

Manuel(s) :
Notes : L'étudiant doit s'inscrire à cette activité une seule fois au cours de sa maîtrise au trimestre où il prévoit déposer son rapport de projet.
Responsable(s) : À venir

ES  LOG6904  Projet de maîtrise en ingénierie IV   [détails] 

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

Projet de maîtrise accompli sous la direction d'un directeur de projet et comprenant une étude de niveau supérieur sur un problème de génie ainsi que la rédaction d'un rapport de projet. Le travail comprend l'équivalent de 45 heures par semaine consacrées au projet pendant un trimestre.

Manuel(s) :
Notes : L'étudiant doit s'inscrire à cette activité une seule fois au cours de sa maîtrise au trimestre où il prévoit déposer son rapport de projet.
Responsable(s) : À venir

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  LOG6966S  Stage en milieu de travail à temps partiel   [détails] 

Nombre de crédits : 12  (0 - 0 - 36)
Département : Génies informatique, logiciel
Préalable(s) : 9 crédits aux cycles supérieurs
Corequis :

Stage d'une durée maximale de 30 semaines (540 heures)* effectué à temps partiel sur deux trimestres consécutifs permettant à l'étudiant de réaliser ou de participer à un ou des projets de recherche, de développement, de conception, d'application, d'implantation ou d'évaluation dans un milieu de travail. Il s'adresse exclusivement aux candidats inscrits à un programme de maîtrise professionnelle. Il se fait sous la supervision conjointe d'un professeur de l'École et d'un professionnel du milieu de travail. L'étudiant doit remettre un rapport à la fin du stage (à la fin de son deuxième trimestre de stage à temps partiel).

Manuel(s) :
Notes : * Minimum de 450 heures de travail. La note IP sera attribuée à la fin du premier trimestre de stage. De même, un stage non complété sur deux trimestres ne sera pas évalué. Le stage peut débuter au trimestre d'été, d'automne ou d'hiver.
Responsable(s) : À venir

ES  LOG6972S  Stage en milieu de travail   [détails] 

Nombre de crédits : 12  (0 - 0 - 36)
Département : Génies informatique, logiciel
Préalable(s) : 9 crédits aux cycles supérieurs
Corequis :

Stage d'une durée maximale d'un trimestre de 15 semaines (540 heures)* effectué à temps plein permettant à l'étudiant de réaliser ou de participer à un ou des projets de recherche, de développement, de conception, d'application, d'implantation ou d'évaluation dans un milieu de travail. Il s'adresse exclusivement aux candidats inscrits à un programme de maîtrise professionnelle. Il se fait sous la supervision conjointe d'un professeur de Polytechnique Montréal et d'un professionnel du milieu de travail. L'étudiant doit remettre un rapport à la fin du stage.

Manuel(s) :
Notes : * Minimum de 450 heures de travail.
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