Posté par Helper, mise à jour le 05/02/2021 à 12:18:39
Un fichier avec une extension VDM contient le code source d'une application créée à l'aide de la méthode de développement de Vienne. VDM-SL est le langage utilisé pour écrire le code source. Si vous souhaitez ouvrir un fichier VDM sur votre ordinateur, vous n'avez pas besoin d'acheter de logiciel spécialisé. Les fichiers VDM peuvent être ouverts à l'aide d'un éditeur de texte. Utilisez Notepad, qui est l'éditeur de texte intégré au système d'exploitation Windows, pour ouvrir le fichier VDM.