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

[18 デフォルトの名無しさん 2013/01/19(土) 12:16:55.38]

>>11 >>14 >>17
確かに今までの形式手法ではそうだ。
論文を書きたいだけの奴にはそれでいいんだろ。
>>16
品質は費用納期に反映されるので、それは形式手法側の言い訳だ。