【Alloy】形式言語による仕様記述【VDM】

[230 デフォルトの名無しさん 2013/10/08(火) 22:01:28.11]

>>228
それで正しいシステムが出来れば、堂々と「仕様書いてます」と言っていいだろ。
もちろん、形式手法やっていない人とは非形式的意味を使って説明した上で。