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

[1 デフォルトの名無しさん 2013/01/05(土) 21:09:06.67]

スレがないので立ててみた

参考ページ
http://en.wikipedia.org/wiki/Formal_methods
http://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E6%89%8B%E6%B3%95