2007年11月12日 (月) 19:42時点における版編集 PixelBot (会話 \| 投稿記録) 16,566 回編集 m ロボットによる追加: de:Vienna Definition Language ← 古い編集		2007年12月18日 (火) 19:45時点における版編集取り消し U-ichi (会話 \| 投稿記録) 10,922 回編集 m otherusesテンプレート新しい編集 →
1行目: {{otheruses\|Vienna Development Method\|Virtual DOS Machine\|仮想DOSマシン}} '''VDM'''（'''Vienna Development Method'''）は、[[IBM]]のウィーン研究所で1960年代から70年代にかけて開発された[[形式手法]]。

「VDM」の版間の差分