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

[0047 デフォルトの名無しさん 2013/01/30(水) 18:32:23.88]

その「仕様記述言語」は、もはや一種のプログラミング言語じゃ？