Type de fichier VDM

- Les faits en bref

Que sont les fichiers VDM et comment les ouvrir

Avez-vous des problèmes pour ouvrir un fichier VDM ou vous demandez-vous simplement ce qu'il contient ? Nous expliquons à quoi servent ces fichiers et vous montrons un logiciel dont nous savons qu'il peut ouvrir ou gérer vos fichiers.

Qu'est-ce qu'un fichier VDM ?

Les fichiers VDM ont de multiples utilisations, et le code source de la méthode de développement de Vienne en fait partie.

Code source de la méthode de développement de Vienne

Les fichiers qui contiennent l'extension de fichier .vdm contiennent le code source du programme basé sur la méthode de développement de Vienne. La méthode de développement de Vienne a été créée pour le développement de systèmes informatisés au laboratoire de Vienne d'IBM.

Les fichiers de code source VDM sont écrits dans le langage VDM-SL, également appelé VDM++.

Comment ouvrir les fichiers VDM

Important : différents programmes peuvent utiliser des fichiers avec l'extension de fichier VDM à des fins différentes, donc à moins que vous ne soyez sûr du format de votre fichier VDM, vous devrez peut-être essayer quelques programmes différents.

Bien que nous n'ayons pas encore vérifié les applications nous-mêmes, nos utilisateurs ont suggéré 5 ouvreurs VDM différents que vous trouverez ci-dessous.

Dernière mise à jour : 31 mai 2022

Tous les formats de fichiers connus utilisant l'extension .VDM

Bien que le code source de la méthode de développement de Vienne soit un type de fichier VDM populaire, nous connaissons 4 utilisations différentes de l'extension .VDM. Différents logiciels peuvent utiliser des fichiers avec la même extension pour différents types de données.

Fichier CAO/FAO SolidCut

Le logiciel Peps SolidCut CAD/CAM utilise également le suffixe de fichier .vdm. Ces fichiers VDM contiennent les fichiers graphiques et/ou d'usinage qui ont été créés avec le programme SolidCut Software.

Bien que nous n'ayons pas encore vérifié les applications nous-mêmes, nos utilisateurs ont suggéré 5 ouvreurs VDM différents que vous trouverez ci-dessous.

Fichier de macro vEdit

L'application logicielle vEdit est également connue pour utiliser le suffixe de fichier .vdm. Ces fichiers VDM contiennent des fichiers macro qui sont utilisés par l'application. vEdit est un éditeur de texte et un convertisseur de format de texte, et les macros sont utilisées pour automatiser les tâches d'édition répétitives.

Ouvreur VDM pour Windows

Nous avons identifié un ouvre-porte VDM compatible avec ce type spécifique de fichier VDM.

Plus de formats de fichiers utilisant l'extension VDM

Grâce à nos recherches de fichiers VDM, nous savons que les formats suivants existent. Cependant, nous ne les avons pas encore analysés en détail.

Diverses applications qui utilisent des fichiers avec cette extension

Ces applications sont connues pour ouvrir certains types de fichiers VDM. N'oubliez pas que différents programmes peuvent utiliser les fichiers VDM à des fins différentes, vous devrez donc peut-être en essayer quelques-uns pour pouvoir ouvrir votre fichier spécifique.