SpecificationSimulatorExperiments/img/Alloy at 16631de331cc586ff34988c773c63e196da35fce - nitta-lab/SpecificationSimulatorExperiments

Fork: 0

nitta-lab / SpecificationSimulatorExperiments

Download ZIP 30 commits

SpecificationSimulatorExperiments / img / Alloy /

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