.VDM Estensione file
2 tipi di file usano l'estensione .vdm.
VDM Specification File
| Sviluppatore | VDM |
| Popolarità |
3.0 | 20 Voti |
Che cos'è un file VDM?
Source code of a program based on VDM (the Vienna Development Method), a set of techniques for modeling computing systems; contains code written in VDM-SL (the VDM Specification Language) or VDM++.
Programmi che aprono i file VDM
Windows
VDMTools
View with a text editor
Mac
VDMTools
View with a text editor
Linux
VDMTools
View with a text editor
VEDIT Macro File
| Sviluppatore | Greenview Data |
| Popolarità |
2.8 | 8 Voti |
Macro file used by VEDIT, a program used for editing large text files; contains macro program code written in the VEDIT scripting language; automates VEDIT file editing functions, such as formatting, text replacements, or translating between text encodings.
Maggiori informazioni
VDM files can be used to fully control the functionality provided in VEDIT. VDM macros can operate on files up to 100+ gigabytes in size, and they can be run on any type of file, including text, binary, hex, or EBCDIC.
Programmi che aprono i file VDM
Windows