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

表示オプション

横に並べて表示:
変化行の前後のみ表示:
ツールボックス

下から選んでください:

新しいページを作成する
ヘルプ / FAQ もご覧ください。