DESS Génie Logiciel & DESS Informatique des Systèmes Critiques
Spécifications Formelles
Année 2000/2001

• Les cours et TD sur le modèle des systèmes de transitions synchronisés et sur l'outil Mec.
  • Une version avec exercices non corrigés. (postcript compressé ~210 Ko)
    
  • Une version avec exercices corrigés. (postcript compressé ~260 Ko)
• Les cours et TD sur le modèle AltaRica et ses outils.
  • Une présentation du langage et du modèle.
  • Une présentation d'une méthodologie de conception.
  • Une étude de cas l'ascenseur.
• L'examen.
  • Le sujet.
  • Le corrigé.
  • Les notes.

Autres années

• Année courante.
• ...
• 1999-2000.
• 1998-1999.
• 1997-1998.