SpecificationSimulatorExperiments/models/Alloy at d23c7df1b6e82775866ebded88bcdca50fb4e184 - nitta-lab/SpecificationSimulatorExperiments

Fork: 0

nitta-lab / SpecificationSimulatorExperiments

Download ZIP 13 commits

SpecificationSimulatorExperiments / models / Alloy /

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