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

[35 デフォルトの名無しさん 2013/01/27(日) 23:46:08.13]

>>32
>形式仕様言語でフルに仕様を書けばプログラムコードと同じオーダーの行数に
>なるという経験則がある。
だからあ！そういう今の形式仕様言語が糞なんだよお！まだ分からんのかあ！