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 Blocco note, che è l’editor di testo integrato del sistema operativo Windows, per aprire il file VDM.
1
Fai clic su “Start”, quindi seleziona “Tutti i programmi”.
2
Fare clic sulla cartella “Accessori”, quindi selezionare “Blocco note” dall’elenco delle applicazioni per avviarlo.
3
Fare clic su “File” dalla barra dei menu, quindi selezionare “Apri” dal menu a discesa. Si apre la finestra Apri.
4
Individua il percorso del file VDM sul tuo computer, quindi fai doppio clic su di esso. Il file VDM si apre nella finestra Blocco note.