SpecificationSimulatorExperiments/img/Alloy at bdda70da478b73788e39305dfe886974d0d99220 - nitta-lab/SpecificationSimulatorExperiments

Fork: 0

nitta-lab / SpecificationSimulatorExperiments

Download ZIP 30 commits

SpecificationSimulatorExperiments / img / Alloy /

latest commit d23c7df1b6 okazakitakehiro authored on 10 Sep
	..
	Alloy MetaModel Ver InventoryManagement.png	ツールのスクリーンショットとInventoryManagementの修正版です。	2 months ago
	Alloy MetaModel Ver SimpleTwitter.png	ツールのスクリーンショットとInventoryManagementの修正版です。	2 months ago
	Alloy Ver InventoryManagement.png	IM_Alloyの修正が完成．	2 months ago
	Alloy Ver SimpleTwitter.png	ツールのスクリーンショットとInventoryManagementの修正版です。	2 months ago
	AlloySimpleAddressBook.png	DTRAM の概要説明を書き終えました．	2 months ago
	Alloy_ChangeName_VerSimpleTwitter.png	ST_DTRAMの半角スペースの修正．	2 months ago
	Alloy_DuplicateCheck_VerSimpleTwitter.png	ST_DTRAMの半角スペースの修正．	2 months ago
	Alloy_Ver_InventoryManagementCheckMinus.png	一旦IM_Alloyが出来ましたので上げています．	2 months ago
	Alloy_Ver_InventoryManagement_ShippingReceiving.png	courseAの修正とcourseBのIM_AlloyとIM_DTRAMのプロトタイプ．	2 months ago