Syllabus

SEG-2506 "Construction de logiciel" (hiver 2016)

(3 heures de cours magistral, 3 heures de laboratoire par semaine)

Description dans l'annuaire: Principes généraux et techniques pour la conception logicielle de bas niveau. BNF et théorie de base des grammaires et de l'analyse syntaxique. Utilisation de générateurs d'analyseurs syntaxiques. Fondements de la conception de langages et de protocoles. Langages formels. Conception à base de tableaux et de transitions d'états. Méthodes formelles pour la construction de logiciels. Technique de gestion du parallélisme et de la communication interprocessus. Outils pour la construction guidée par modèle. Introduction aux couches intergicielles. Analyse de points chauds et mise au point de la performance. Préalables: CSI-2510, SEG-2505

Horaire:Cours magistral: Lundi 13:00 - 14:30 et Mercredi 11:30 - 13:00; Laboratoires/Tutoriel:vendredi  14:30-17:30 (voir aussi horaire des cours à l'UofO)

Professeur: Gregor v. Bochmann , téléphone: 562-5800 ext.: 6205, courriel : bochmann@site.uottawa.ca , bureau: SITE (local 5082), heures de bureau: les mercredis de 14:00 à 15:00

Thèmes généraux: Le thème général du cours est construction de logiciel en utilisant des formalismes de spécification à haut niveau et des outils de programmation (CASE) correspondants. Plus particulièrement, les sujets principaux sont:

Objectifs d'apprentissage

La liste suivante contient les objectifs d'apprentissage pour chaque chapitre du cours. Chaque objectif est précédé par une référence aux "Qualités requises des diplômés" décrites dans la section 3.1 du document "Normes et procédures d’agrément" du CEAB (les qualités couvertes par ce cours sont: (1) Connaissances en génie, (2) Analyse de problèmes, (3) Investigation, (4) Conception, (5) Utilisation d’outils d’ingénierie, (6) Travail individuel et en équipe, et (7) Communication). En plus, à la fin de chaque objectif est une indication des laboratoires et devoirs qui vous permettent d'atteindre cet objectif. Le cours comprend 10 laboratoires dont trois lab "formels" pour lesquels un rapport doit être préparé, et l'étudiant aura quatre devoirs.

Section 1: Ingénierie des exigences, modélisation de structures et comportement en utilisant des machines d'états

Section 2: Langages, grammaires et analyseurs

Section 3: La concurrence: spécification, vérification et implantation

Autres objectifs d'apprentissage

Pendant les laboratoires et pour les devoirs, l'étudiant travaillera normalement en groupes de deux. Dans ce contexte, leur travail adressera (dans un certain degré) les qualités requises suivantes:

Évaluation

Manuels (Il n'existe pas un livre qui couvre toute la matière du cours)

Règlement du cours


Dernière mise à jour: 12 janvier,  2016