VDM

IT用語辞典バイナリ

仮想DOSマシン

読み方：かそうドスマシン
別名：バーチャルDOSマシン
【英】Virtual DOS Machine, VDM

仮想DOSマシンとは、WindowsにおいてMS-DOSを操作可能とする仮想実行（エミュレーション）機能のことである。

MicrosoftのOS「MS-DOS」はパソコンの黎明期から長らくOSの首座についていた。現在では後継OSとなるWindowsにほぼ完全に立場を譲っているが、MS-DOSの需要そのものは今も決して低くない。Windowsには、MS-DOSを仮想的に立ち上げて実行できる機能を備え、Windows上でMS-DOSも操作できるようにして需要を満たしている。

Windows NT以降のWindowsは32ビットアプリケーションであり、MS-DOSのような16ビットアプリケーションをそのまま実行することができない。そのため、仮想DOSマシンによって実行可能な環境を作り上げる構造がとられている。

ウィキペディア

VDM

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/10/03 08:44 UTC 版)

VDM（Vienna Development Method）は、IBMのウィーン研究所で1960年代から70年代にかけて開発された形式手法。

その仕様記述言語VDM-SLは1996年にISO標準（ISO_IEC_13817-1）となっている。VDM-SLをオブジェクト指向拡張したVDM++も、欧州連合ESPRIT計画のAFRODITEプロジェクトで開発された。

外部リンク

• Overture Tool （英語） オープンソースのVDMモデリング用IDE