VDMのお勉強ーその３ VDMToolのインストール

　シリーズ「VDMのお勉強」
　前回、VDMの種類（VDM-SLとVDM++)、ツールについて説明したけど、
　ちょっと間違ってました。VDMTool、VDM++しかないといったけど、うそです。
　ダウンロードの次のページにいくと、ありました（＾＾；）

　ってことで、今回は、そのVDMーSLのツールのインストール方法です。

---

■ダウンロードまで。

　まず、

　　http://www.vdmtools.jp/

　にいきます。で、ダウンロードするには、登録しないといけないので、
　左上のログインの下、「新規登録」をクリック。すると、こんな画面になります。



項目を適当に埋めて、送信してください。

で、登録できたら、ログインして、「ダウンロード」をクリック

な画面になったら、「VDMTool Lite」をクリック


な画面になったら、


下までスクロールして、「２」をクリックし、２ページ目を表示

次のページで

「VDM-SL（Windows）」を（Windowsの人は）クリック。次の画面もクリック。

そうすると、ダウンロードを開始するけど、もし、メッセージダイアログが出て、上のほうが

な感じになったら、そこにあるように上をクリックして「ファイルのダウンロード」を選択

---

■解凍してインストール

ダウンロードしてきたのを解凍すると、「setupsll-8.2.exe」というのができてくるので、
ダブルクリックする。

普通のインストール同様、ダイアログが出てくるので、nextボタンを押していると（３回くらい）インストールして、最後「Finish」
ボタンをクリックすると終わる。ここで悩むことは、まあないだろう。

デスクトップにアイコンは「作られない」ので、スタートメニューから選ぶ
（Windowsのいちばん左下の「スタート」と書いたボタンをクリックして）

「スタート」→「すべてのプログラム」→「VDMTools」→「VDM SL Toolbox Lite 8.2」を選択すると、
最終的に以下の画面になる。


そしたら、インストール成功

---

このツールの使い方は、次回