.VDM Dateiendung
VDM-Spezifikationsdatei
| Entwickler | VDM |
| Beliebtheit |
3,0 | 20 Stimmen |
Was ist eine VDM-Datei?
Quellcode eines auf VDM (der Wiener Entwicklungsmethode) basierenden Programms, einer Sammlung von Techniken zur Modellierung von Computersystemen; enthält in VDM-SL (der VDM-Spezifikationssprache) oder VDM++ geschriebenen Code.
Programme, die .VDM-Dateien öffnen
VEDIT-Makrodatei
| Entwickler | Greenview Data |
| Beliebtheit |
2,8 | 8 Stimmen |
Makro-Datei, die von VEDIT verwendet wird, einem Programm zum Bearbeiten großer Textdateien; enthält Makroprogrammcode, der in der VEDIT-Skriptsprache geschrieben wurde; automatisiert VEDIT-Funktionen zum Bearbeiten von Dateien, z. B. Formatieren, Ersetzen von Text oder Übersetzen zwischen Textkodierungen.
Weitere Informationen
VDM-Dateien können verwendet werden, um die von VEDIT bereitgestellten Funktionen vollständig zu steuern. VDM-Makros können Dateien mit einer Größe von über 100 Gigabyte verarbeiten und auf jedem Dateityp ausgeführt werden, einschließlich Text-, Binär-, Hexadezimal- oder EBCDIC-Dateien.