Ekstensi berkas VDM pada dasarnya adalah sekumpulan sistem, berbagai strategi dan teknik untuk reproduksi seluruh sistem komputerisasi. Ini adalah sumber dari sebuah program yang merupakan singkatan dari Vienna Development Metod (Metode Pengembangan Vienna)
Berkas berformat ekstensi VDM berisi kode yang dicetak atau didokumentasikan dalam VDM-SL – VDM Bahasa Spesifikasi atau VDM + +.