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

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

【Alloy】形式言語による仕様記述【VDM】 - 暇つぶし2ch121:デフォルトの名無しさん
13/09/14 16:17:21.73 .net
言語規格だか何だか知らんが絵に描いた餅でも喰ってろ

VDM-SLはISO化されたが
VDM++に関しては文法こそ仕様はあるものの
挙動は実装が仕様みたいな状況だぞ

次ページ

続きを表示

1を表示