.VDM Estensione file
File di specifiche VDM
| Sviluppatore | VDM |
| Popolarità |
3,0 | 20 Voti |
Che cos'è un file VDM?
Codice sorgente di un programma basato su VDM (Vienna Development Method), un insieme di tecniche per la modellazione dei sistemi informatici; contiene codice scritto in VDM-SL (VDM Specification Language) o VDM++.
Programmi che aprono i file VDM
File macro di VEDIT
| Sviluppatore | Greenview Data |
| Popolarità |
2,8 | 8 Voti |
Macro utilizzato da VEDIT, un programma usato per modificare file di testo di grandi dimensioni; contiene codice di un programma macro scritto nel linguaggio di scripting VEDIT; automatizza le funzioni di modifica dei file di VEDIT, come la formattazione, la sostituzione del testo o la conversione tra codifiche di testo.
Maggiori informazioni
I file VDM possono essere utilizzati per controllare completamente le funzionalità offerte da VEDIT. Le macro VDM possono operare su file di dimensioni fino a oltre 100 gigabyte e possono essere eseguite su qualsiasi tipo di file, inclusi file di testo, binari, esadecimali o EBCDIC.