on 13 Sep 2024
7fd6de4
各コースの最終タスクからClosingに行けるようにリンクを貼りました
on 12 Sep 2024
0c4c96f
AlloyとDTRAMについての説明のリンクを後半の課題の所に貼りました
on 12 Sep 2024
77b4a28
Merge branch 'master' of http://nitta-lab-www.is.konan-u.ac.jp/gitbucket/git/nitta-lab/SpecificationSimulatorExperiments
on 10 Sep 2024
f83731a
岡﨑担当領域のcourseDと各コースのページ遷移の調整
on 10 Sep 2024
58cd460
courseAのIM_AlloyとST_Alloyの修正
on 10 Sep 2024
d23c7df
courseAの修正とcourseBのIM_AlloyとIM_DTRAMのプロトタイプ.
on 3 Sep 2024
1f7d7fb
1つのリソースに対して複数のメッセージがある場合の時の対応ができるようにしました.
on 3 Sep 2024
221dfbd
IM_Alloyの修正とIM_DTRAMのプロトタイプが完成.
on 27 Aug 2024
fa6f1bb
ツールのスクリーンショットとInventoryManagementの修正版です。
on 23 Aug 2024
bf46ab2
ひとまず自分の担当領域の分をコミットして上げておきます。
on 6 Aug 2024
0cfc5f8
イベントがないリソースをダブルクリックした時に、空のプルダウンメニューが表示されるバグを表示されないように修正しました。
on 6 Aug 2024
2493ae0
イベントが存在しないリソースをクリックした時に、プルダウンメニューが表示されるのを表示されないように修正しました。
on 2 Aug 2024
9e23d4a
子リソースの状態表示を下の方に表示するようにしました。