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

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

【Alloy】形式言語による仕様記述【VDM】 - 暇つぶし2ch280:デフォルトの名無しさん
15/04/30 07:36:41.80 YRFCj/Kr.net
>>279
ん？言葉の違いか？
ギャップってモデルと実際のプログラムの間の抽象度の違いのことじゃないのか？