Come aprire un file VDM

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.