Extension de fichier .vdm
Type de fichier 1VDM Specification File
Développeur | VDM |
Catégorie | Fichiers de développeur |
Le format | Text |
.VDM numéro d'option 1
Code source d'un programme basé sur VDM (Vienna Development Method), ensemble de techniques permettant de modéliser des systèmes informatiques; contient du code écrit en VDM-SL (langage de spécification VDM) ou VDM ++.
Windows |
|
Linux |
|
Macintosh |
|
Type de fichier 2VEDIT Macro File
Développeur | Greenview Data |
Catégorie | Fichiers de développeur |
Le format | Text |
.VDM numéro d'option 2
Fichier de macro utilisé par VEDIT, un programme utilisé pour l'édition de gros fichiers texte; contient le code de programme macro écrit dans le langage de script VEDIT; automatise les fonctions d'édition de fichier VEDIT, telles que le formatage, les remplacements de texte ou la traduction entre des codages de texte.
Les fichiers VDM peuvent être utilisés pour contrôler pleinement les fonctionnalités fournies dans VEDIT. Les macros VDM peuvent fonctionner sur des fichiers de plus de 100 gigaoctets et peuvent être exécutés sur tout type de fichier, y compris texte, binaire, hex ou EBCDIC.
Windows |
|