【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

[2 デフォルトの名無しさん 2013/01/05(土) 21:33:15.76]

このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。

アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。

　　　　　　　　　　　　　　　　　　京都大学霊長類研究所

[3 デフォルトの名無しさん 2013/01/06(日) 01:05:45.32]

>>1乙
VDMはともかくAlloyってこの分野で流行ってるの？