「リンク」の編集履歴（バックアップ）一覧に戻る

リンク - (2009/03/05 (木) 02:36:34) の編集履歴(バックアップ)

---

サイト

---

• Alloy の公式ページ (英語)
  • http://alloy.mit.edu

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

参考文献

---

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

---