抽象によるソフトウェア設計 第2章 ざっと一巡り その5

今日は「実行トレース」について。

• モデルの不都合な状態だけでなく、どのような手順でその状態に到達し得るかというのを解析
  • fact で traces という制約を追加
  • first, next というキーワードが出てくる

今朝は割り込みがあってこれでおしまい。明日第2章を読み終えると思います。