VDM拡張子を持つファイルは、コンピュータシステムをモデル化するための技術セットで、VDM(Vienna Development Method)というプログラムのソースコードである。
VDM-SL(仕様言語)またはVDM++で記述されるコードを含んでいる。
VDM拡張子を持つファイルは、コンピュータシステムをモデル化するための技術セットで、VDM(Vienna Development Method)というプログラムのソースコードである。
VDM-SL(仕様言語)またはVDM++で記述されるコードを含んでいる。