Contenu

• Type de fichier 1VDM Specification File
• Texte
• Qu'est-ce qu'un fichier VDM?
• Type de fichier 2VEDIT Macro File
• Texte
• Association de fichiers .VDM 2
• À propos des fichiers VDM

Type de fichier 1VDM Specification File

Développeur	VDM
Popularité	3.0 (14 Votes)
Catégorie	Fichiers de développeur
Format	Texte X Texte Ce fichier est enregistré au format texte brut. Vous pouvez ouvrir et afficher le contenu de ce fichier à l'aide d'un éditeur de texte.

Qu'est-ce qu'un fichier VDM?

Code source d'un programme basé sur VDM (The 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 ++. TÉLÉCHARGEMENT GRATUIT Ouvrez plus de 300 formats de fichiers avec File Viewer Plus. Programmes qui ouvrent les fichiers VDM

les fenêtres

VDMTools Voir avec un éditeur de texte

Mac	VDMTools Voir avec un éditeur de texte

Linux

VDMTools Voir avec un éditeur de texte

Mis à jour le 17/02/2010

Type de fichier 2VEDIT Macro File

Développeur	Données Greenview
Popularité	2.8 (8 Votes)
Catégorie	Fichiers de développeur
Format	Texte X Texte Ce fichier est enregistré au format texte brut. Vous pouvez ouvrir et afficher le contenu de ce fichier à l'aide d'un éditeur de texte.

Association de fichiers .VDM 2

Fichier macro utilisé par VEDIT, un programme permettant d’éditer des fichiers texte volumineux; 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. Plus d'information

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.

Programmes qui ouvrent les fichiers VDM

les fenêtres

Greenview Data VEDIT Bloc-notes Microsoft N'importe quel éditeur de texte

Mis à jour le 17/02/2010

À propos des fichiers VDM

Notre objectif est de vous aider à comprendre ce qu'est un fichier avec le suffixe * .vdm et comment l'ouvrir.

Tous les types de fichier, les descriptions de format de fichier et les logiciels répertoriés sur cette page ont été individuellement recherchés et vérifiés par l'équipe FileInfo. Nous visons une précision de 100% et ne publions que des informations sur les formats de fichiers que nous avons testés et validés.

Si vous souhaitez suggérer des ajouts ou des mises à jour à cette page, veuillez nous en informer.