CafeOBJ

仕様を自然言語で記述するとどうしても曖昧さが出てしまう。CafeOBJは仕様を数式で記述することで曖昧さを削除し，さらに仕様の検証ができるらしい。これの言語覚えるのが割りと大変そう。最近テストファーストをやってみたくてJUnitやら色々勉強中。要はテストケースを洗い出す過程で早期に仕様の問題点を明確にできるから効果があるような気がする。

Java World (ジャバ・ワールド) 2005年 11月号