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

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

【Alloy】形式言語による仕様記述【VDM】 - 暇つぶし2ch48:デフォルトの名無しさん
13/01/30 20:20:25.03 .net
プログラム言語を含んでいる仕様記述言語は多いね。
プログラム言語部分だけで仕様を書いちゃう人が
仕様がプログラムと同量だとか言い出すんだろうね。