lundi 10 décembre 2007

Ce que j'ai fait en cours ce matin (8h 45 9h 45)

  • Un exemple allant de la spec à l'IMPLEMENTATION (l'opération maximum d'un tableau)
  • avec la construction de la boucle WHILE DO INVARIANT VARIANT END
  • avec utilisation de la substitution "devient tel que" ( x : P)

  • un complément aux clauses d'une machine avec le PROMOTES et l'EXTENDS pour l'INCLUDES (illustration par des dessins, cas Coffres bancaires)

Aucun commentaire: