Le dernier cours

a eu lieu ce matin. Pour ceux, nombreux, qui étaient absents, voici ce qui a été traité :

• design patterns
• modèle MVC
• spécifications algébriques
  

Vous devez étudier la partie Fiabilité. Je vous ai fourni ici le corrigé du TD sur Fiabilité.

Le prochain TD, le dernier, portera sur Spécifications algébriques.