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: CSI2610, SEG2500
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 15:00 à 16:00
Assistants à l'enseignement: Alain Alimou Tambay, e-mail : atamb055@uottawa.ca
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)
Site
Web: Cette page d'accueil se trouve à l'adresse
http://www.site.uottawa.ca/~bochmann/SEG-2106-2506/index-FR.html . Ici, vous trouvez les informations sur le cours, comme des notes
de cours et références de lectures, la description des exercises
à faire, et autres.