VDMTools



Extension de Fichier .VDM Fichier Spécification VDM Fichier Développeur Popularité : Popularite : Moyenne
Code source d'un programme basé sur VDM (la méthode de développement de Vienne, ou Vienna Development Method en anglais, d'où l'acronyme VDM), un ensemble de techniques pour modéliser les systèmes informatiques; contient du code écrit en VDM-SL (Le "VDM Specification Language" en anglais ou "Lan...
CLUB AFFILIATION FACILE
Euro Millions
Syndiquer le contenu