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: à déterminer
Assistants à l'enseignement: Miguel Garzon <mgarz042@uottawa.ca>
Horaire:
Cours magistral: Lundi 13:00 - 14:30 et mercredi 11:30 - 13:00 au STE 0131 (ceci est un changement); Laboratoires/Tutoriel: mercredi 19:00-22:00 au STE 0130 (voir aussi horarie 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.
Sommaire : Les concepts les plus importants du cours - pour la préparation des examens (note: ces sommaires de 2007 ne sont pas à jour pour 2012)