※上記の広告は60日以上更新のないWIKIに表示されています。更新することで広告が下部へ移動します。

サイト



参考文献


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