SpecificationSimulatorExperiments/img/Alloy at 2ee27bcca151aa8f69a71eef50f7f4b697d1185e - nitta-lab/SpecificationSimulatorExperiments

Fork: 0

nitta-lab / SpecificationSimulatorExperiments

Download ZIP 17 commits

SpecificationSimulatorExperiments / img / Alloy /


..
Alloy MetaModel Ver InventoryManagement.png	ツールのスクリーンショットとInventoryManagementの修正版です。	23 days ago
Alloy MetaModel Ver SimpleTwitter.png	ツールのスクリーンショットとInventoryManagementの修正版です。	23 days ago
Alloy Ver InventoryManagement.png	IM_Alloyの修正が完成．	15 days ago
Alloy Ver SimpleTwitter.png	ツールのスクリーンショットとInventoryManagementの修正版です。	23 days ago
AlloySimpleAddressBook.png	DTRAM の概要説明を書き終えました．	18 days ago
Alloy_Ver_InventoryManagementCheckMinus.png	一旦IM_Alloyが出来ましたので上げています．	17 days ago