- 【InventoryManagement(DTRAM)の課題】 + 【InventoryManagement(DTRAM) の課題】
ここでは，InventoryManagement の DTRAM による仕様記述に関する課題に取り組んでいただきます．
@@ -56,7 +56,7 @@
モデルの可視化
- 先ほどのInventoryManagementのモデルのリソースとチャンネルを，DTRAMのモデリングツールを使用して可視化したものを以下の図に示します．
+ 先ほどの InventoryManagement のモデルのリソースとチャンネルを，DTRAM のモデリングツールを使用して可視化したものを以下の図に示します．
@@ -71,9 +71,9 @@
-
InventoryManagementモデルの仮想実行について
+InventoryManagement モデルの仮想実行について
- ここでは，InventoryManagementモデルの仮想実行について説明します．この仮想実行で用いるテストケースは次の通りです．
+ ここでは，InventoryManagement モデルの仮想実行について説明します．この仮想実行で用いるテストケースは次の通りです．
- inventory に新しく取り扱う商品(Asahi)を初期数量100で登録します．
- 登録した商品(Asahi)を50個出荷します． diff --git a/courseA/ST_Alloy.html b/courseA/ST_Alloy.html index c75f1cc..8ca6e97 100644 --- a/courseA/ST_Alloy.html +++ b/courseA/ST_Alloy.html @@ -15,7 +15,7 @@
- 【SimpleTwitter(Alloy)の課題】 + 【SimpleTwitter(Alloy) の課題】
ここでは，SimpleTwitter の Alloy による仕様記述に関する課題に取り組んでいただきます．
diff --git a/courseA/ST_DTRAM.html b/courseA/ST_DTRAM.html
index e8495e1..4d570fa 100644
--- a/courseA/ST_DTRAM.html
+++ b/courseA/ST_DTRAM.html
@@ -15,7 +15,7 @@
- 【SimpleTwitter(DTRAM)の課題】 + 【SimpleTwitter(DTRAM) の課題】
ここでは，SimpleTwitter の DTRAM による仕様記述に関する課題に取り組んでいただきます．