Alloy

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

「Alloy」の最新版変更点

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

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

-[[UML2Alloy>>http://www.cs.bham.ac.uk/~bxb/UML2Alloy/index.php]]

*Alloy

-[[UML2Alloy>>http://www.cs.bham.ac.uk/~bxb/UML2Alloy/index.php]]

----
** インストール方法
[[Alloy_4_Analyzerのページ>>http://alloy.mit.edu/alloy4/]]から。
- MacOSXならdmgファイル入手。
- 他OSの場合、alloy4.jar を入手。

** チュートリアル
[[Tutorial_for_Alloy_Analyzer_4.0>>http://alloy.mit.edu/alloy4/tutorial4/]] がお薦めらしい。
[[Alloy_4_Tutorial_Materials>>http://alloy.mit.edu/alloy4/tutorial/]] というのもあり。

** 書籍
"Software Abstractions: Logic, Language, and Analysis" は Alloy3 用なので、[[How_to_Update_the_Book_for_Alloy_4>>http://alloy.mit.edu/alloy4/book.html]] を参照して訂正が必要。