Mes cours du trimestre d'Automne 08

Je crois avoir oublié de parler de mes cours du premier trimestre.. Les voici donc !

LOG530 Réingénierie du logiciel
Acquérir des connaissances en réingénierie du logiciel : principes, méthodologie et outils existants.
Définition et cadrage du processus de réingénierie du logiciel. Taxonomie. Réingénierie du logiciel, opération de maintenance et maintenance préventive. Modèles. Méthodes de réingénierie. Opérations de réingénierie et niveaux d’abstraction du logiciel. Réingénierie de l’architecture, du processus, des fonctions, des données, des interfaces usagers. Restructuration du code, des données. Ingénierie avant pour les architectures client/serveur, orientées objet, interfaces usagers. Outils tels que analyseurs, compilateurs croisés, désassembleurs, générateurs de codes, détecteurs de clones, dévermineurs, générateurs de documentation, vérificateurs de code.
Travaux pratiques axés sur l’application des principes, méthodes et outils vus en classe et séances de laboratoire axées sur la mise en œuvre de projets permettant d’expérimenter les méthodes et d’utiliser les outils présentés en classe et lors des travaux pratiques.

LOG720 Architecture distribuée orientée objet
S’initier aux concepts et composantes des systèmes distribués et expérimenter divers aspects de ce genre de systèmes.
Architectures distribuées et leurs composantes hétérogènes ou homogènes. DCE : Distributed Computing Environment (Workgroups). Systèmes d’exploitation distribués (GLUnix, WebOS, QNX), traitement distribué (AM-II, MPI, PVM), stockage distribué (xFS, NFS, Samba). Algorithmes distribués (Load Balancing Facilities). Mécanismes de synchronisation (object spinlocks, object MUTEX, objets d’événements, etc.). Outils contemporains propres aux architectures distribuées : OMG : Object Management Group, ORB : Object Request Broker, CORBA : Common ORB Architecture, IIOB : Inter ORB Protocol. Langage Java, bytecode, applets, RMI : Remote Method Indication; DCOM : Distributed Computing Object Model. Unité de traitement virtuel et composantes client/serveur.
Séances de laboratoire axées sur la mise en œuvre de projets permettant d’analyser les systèmes d’exploitation distribués avec quelques algorithmes distribués et d’expérimenter le traitement distribué.

LOG770 Systèmes intelligents
À la fin de ce cours, l’étudiant sera en mesure : d’illustrer et expliquer la nature des systèmes intelligents; d’appliquer les connaissances en intelligence artificielle requises pour concevoir et maintenir de tels systèmes; d’utiliser les outils appropriés pour valider et évaluer la performance des systèmes intelligents.
Paradigmes biologiques et cognitifs. Apprentissage supervisé et non supervisé. Agents intelligents. Apprentissage machine pour la classification, l’estimation et la prédiction. Méthodes statistiques et symboliques. Planification d’actions. Conception et validation de systèmes intelligents. Application en intelligence d’affaires : forage de données (textuelles et audiovisuelles), systèmes autonomes et systèmes à média interactifs.
Séances de laboratoire : Concevoir et implémenter des systèmes intelligents dans les domaines textuel et audiovisuel. Concevoir et implémenter un système autonome.

MGL806 Méthodes formelles et semi-formelles
S’initier à certaines notations formelles pour décrire les exigences et les spécifications de systèmes logiciels.
Méthodes pour les systèmes séquentiels (tel que le langage Z ou la notation de Mills) et pour les systèmes concurrents et réactifs (tels que les machines d’états et les réseaux de Petri avec certaines extensions concernant les données). Utilisation des méthodes formelles pour l’analyse des propriétés et du fonctionnement des systèmes en ce qui a trait à la spécification, la conception ou à l’implantation.