「リンク」の編集履歴（バックアップ）一覧はこちら

「リンク」(2010/12/13 (月) 17:48:16) の最新版変更点

追加された行は緑色になります。

削除された行は赤色になります。

* サイト
----
- 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 の公式ページにのっています。










----

#javascript(){{
<script type="text/javascript">

  var _gaq = _gaq || [];
  _gaq.push(['_setAccount', 'UA-20218017-1']);
  _gaq.push(['_trackPageview']);

  (function() {
    var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
    ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
    var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
  })();

</script>
}}
* サイト
----
- 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 の公式ページにのっています。










----