「VDM」の版間の差分
削除された内容 追加された内容
m ロボットによる 追加: de:Vienna Definition Language |
m otherusesテンプレート |
||
1行目: | 1行目: | ||
{{otheruses|Vienna Development Method|Virtual DOS Machine|仮想DOSマシン}} |
|||
'''VDM'''('''Vienna Development Method''')は、[[IBM]]のウィーン研究所で1960年代から70年代にかけて開発された[[形式手法]]。 |
'''VDM'''('''Vienna Development Method''')は、[[IBM]]のウィーン研究所で1960年代から70年代にかけて開発された[[形式手法]]。 |
||