.VDM Extension de fichier
Fichier de spécification VDM
| Développeur | VDM |
| Popularité |
3,0 | 20 Votes |
Qu'est-ce qu'un fichier VDM ?
Code source d’un programme basé sur VDM (la méthode de développement de Vienne), un ensemble de techniques permettant de modéliser des systèmes informatiques ; contient du code écrit en VDM-SL (le langage de spécification VDM) ou en VDM++.
Programmes qui ouvrent les fichiers VDM
Fichier de macros VEDIT
| Développeur | Greenview Data |
| Popularité |
2,8 | 8 Votes |
Macro utilisée par VEDIT, un programme servant à modifier de gros fichiers texte
Plus d'informations
; contient du code de programme macro écrit dans le langage de script VEDIT
; automatise les fonctions de modification de fichiers de VEDIT, telles que la mise en forme, le remplacement de texte ou la conversion entre les encodages de texte.
Les fichiers VDM peuvent être utilisés pour contrôler entièrement les fonctionnalités fournies par VEDIT. Les macros VDM peuvent traiter des fichiers dont la taille dépasse 100 gigaoctets et peuvent être exécutées sur tout type de fichier, notamment des fichiers texte, binaires, hexadécimaux ou EBCDIC.