仕様を自然言語で記述するとどうしても曖昧さが出てしまう。CafeOBJは仕様を数式で記述することで曖昧さを削除し，さらに仕様の検証ができるらしい。これの言語覚えるのが割りと大変そう。最近テストファーストをやってみたくてJUnitやら色々勉強中。要はテ…