SpecificationSimulatorExperiments/models/Alloy at 73a272df9444d564b17a1cbac9aaac5a80f337ec - nitta-lab/SpecificationSimulatorExperiments

Fork: 0

nitta-lab / SpecificationSimulatorExperiments

Download ZIP 13 commits

SpecificationSimulatorExperiments / models / Alloy /

latest commit 5071b6b51c Naoya Nitta authored 17 days ago
	..
	InventoryManagement.als	半角スペースをタブに．	17 days ago
	InventoryManagementCheckMinus.als	半角スペースをタブに．	17 days ago
	InventoryManagementShippingReceiving.als	半角スペースをタブに．	17 days ago
	SimpleAddressBook.als	DTRAM の概要説明を書き終えました．	18 days ago
	SimpleTwitter.als	Alloyの課題を変更し，モデルファイルを修正した．	23 days ago
	SimpleTwitterChangeName.als	Alloyの課題を変更し，モデルファイルを修正した．	23 days ago
	SimpleTwitterDuplicationCheck.als	Alloyの課題を変更し，モデルファイルを修正した．	23 days ago