リンク - Alloy Analyzer で形式仕様記述

サイト

---

• Alloy の公式ページ (英語)
  • http://alloy.mit.edu
• Alloy Analyzer 4 の公式ページ (英語)
  • http://alloy.mit.edu/alloy4/
  • 英語ですが、チュートリアルなどあります。

参考文献

---

• Software Abstractions (英語)
  • http://www.amazon.co.jp/dp/0262101149/
  • Daniel Jackson (著)
    • Alloy の作者です。
  • 唯一の Alloy の解説本です。
  • 現在 Alloy のバージョンは 4 ですが、この本はバージョン 3 で書かれているので、多少構文等が異なるところがあります。
    • 差分は Alloy Analyzer 4 の公式ページにのっています。

---