Pansie

Un file con estensione VDM contiene il codice sorgente di un’applicazione creata utilizzando il Vienna Development Method. VDM-SL è il linguaggio utilizzato per scrivere il codice sorgente. Se desideri aprire un file VDM sul tuo computer, non è necessario acquistare alcun software specializzato. I file VDM possono essere aperti utilizzando un editor di testo. Utilizzare … Leggi tutto