IM_DTRAMの修正とST_DTRAMの仮上げ．

IM_DTRAMの修正とST_Alloyの仮上げ．

IM_AlloyとIM_DTRAMが完成．

IM_DTRAMのプロトタイプが完成．

IM_Alloyの修正が完成．

IM_Alloyが完成．

IM_Alloyの修正とIM_DTRAMのプロトタイプが完成．

IM_Alloyの修正．

半角スペースをタブに．

IM_Alloyの修正を行いました．

一旦IM_Alloyが出来ましたので上げています．

DTRAM の概要説明を書き終えました．

Alloy の概要説明を書き終えました．

Alloyの説明を途中まで書いた．

DTRAMの紛らわしいモデルファイルを削除した．

DTRAMの課題用モデルファイルを追加した．

Alloyの課題を変更し，モデルファイルを修正した．

ツールのスクリーンショットとInventoryManagementの修正版です。

モデルファイルを上げておきます。

ひとまず自分の担当領域の分をコミットして上げておきます。

Initial commit