Laboratoires pour SEG-2501 en 2016

Laboratoire # 1 : Analyse du domaine et modélisation des exigences - un système téléphonique Solution

Laboratoire # 2 : Utilisation de l'outil LTSA - modélisation de machines d'états Solution

Laboratoire # 3 : Jouer avec des outil CASE Solution

Laboratoire # 4 : Vérification de systèmes concurrentse - ne sera pas utilisé en 2016

Laboratoire # 5 : Expressions régulières, automates et analyseur lexicaux (Lex) Solution

Laboratoire # 6 : Expressions régulières, automates non-déterministes - grammaire et arbres syntaxiques Solution

Laboratoire # 7 : Analyse syntaxique LL(1) Solution

Laboratoire # 8 : Un compilateur en Java pour un langage simple - ne sera pas utilisé comme lab en 2016

Laboratoire # 9 : Exclusion mutuelle et blocages : les philosophes qui dinent Solution

Laboratoire # 10 : Mesures de performance - comparer l'efficacité de différentes versions d'implantations Solution

Laboratoire # 11 : Modèles de simulation, mesures de performance et leur précision

Les notes pour les laboratoires

Comme indiqué dans le syllabus, les notes pour les laboratoires représentent 16% de la note finale (si les examens sont au dessus de 50%). Les points donnés pour les laboratoires sont comme suit: