diff --git a/courseA/IM_Alloy.html b/courseA/IM_Alloy.html index 30b1996..c64ca9b 100644 --- a/courseA/IM_Alloy.html +++ b/courseA/IM_Alloy.html @@ -15,7 +15,7 @@

- 【InventoryManagement(Alloy)の課題】 + 【InventoryManagement(Alloy) の課題】

ここでは,InventoryManagement の Alloy による仕様記述に関する課題に取り組んでいただきます.
@@ -111,7 +111,7 @@


-

InventoryManagementモデルの仮想実行について

+

InventoryManagement モデルの仮想実行について

ここでは,InventoryManagement モデルの仮想実行について説明します.この仮想実行で用いるテストケースは次の通りです.