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

[13 デフォルトの名無しさん 2013/01/18(金) 17:38:42.62]

>>12
うん。学術系はだめだ。
実務に近いSRAがやや骨があるようだが。
>人間が読み書きする形式言語
これはどう言う意味かわからんが
>使い物になる日は来ないと思う
そんなことはない。一流人材が参戦すれば変わる。