.VDM Bestandsextensie
2 bestandstypen gebruiken de extensie .vdm.
VDM Specification File
| Ontwikkelaar | VDM |
| Populariteit |
3.0 | 20 Stemmen |
Wat is een VDM-bestand?
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++.
Programma's die VDM-bestanden openen
Windows
VDMTools
View with a text editor
Mac
VDMTools
View with a text editor
Linux
VDMTools
View with a text editor
VEDIT Macro File
| Ontwikkelaar | Greenview Data |
| Populariteit |
2.8 | 8 Stemmen |
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.
Meer informatie
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.
Programma's die VDM-bestanden openen
Windows