*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]] を参照して訂正が必要。