Файл с расширением .VDM
- Разработчик: VDM
- Категория: Developer Files
- Формат: Text
Что такое файл VDM?
Расширение файла .VDM было создано VDM. Файл c расширением .VDM классифицирован как Developer Files. Этот тип файла относится к формату Text
VDM - это файл спецификации VDM.
Исходный код программы на основе VDM (Венский метод разработки), набор методик для моделирования вычислительных систем; содержит код, написанный на VDM-SL (язык спецификации VDM) или VDM.
Тип файла 2 VEDIT Macro File.
Макро-файл, используемый VEDIT, программой, используемой для редактирования больших текстовых файлов; содержит программный код макроса, написанный на языке сценариев VEDIT; автоматизирует функции редактирования файлов VEDIT, такие как форматирование, замена текста или перевод между текстовыми кодировками.
Файлы VDM можно использовать для полного управления функциями, предоставляемыми в VEDIT. Макросы VDM могут работать с файлами размером до 100 гигабайт и могут запускаться с файлами любого типа, включая текстовые, двоичные, шестнадцатеричные или EBCDIC.
Windows |
|