日々精進 - スパークスシステムズ ジャパン代表のBlog:Alloy Analyzerによるクラス図の検証(1) - livedoor Blog（ブログ）

今回は、形式手法のツールの1つであるAlloy Analyzerを利用して、クラス図の内容を検証する方法を紹介します。 このAlloy Analyzerについては、以下の記事をご覧ください。豆蔵の小林さんの記事です。 第3回 形式手法とモデリング - Alloy Analyzerを中心に http://thinkit.co.jp/story/2010/09/22/1766 あと、このサイトでは、Alloy Analyzerがとてもわかりやすく説明されています。 Alloy Analyzer で形式仕様記述 http://www23.atwiki.jp/alloy/pages/1.html 形式手法については高い効果があることが事例を通して報告されていますが、一方で取っつくにくさがあるのではないかと思います。このAlloyの興味深いところは、比較的簡単に試すことができる点です。特に、今回