VDM information web site

やっとオープンしました。早速ユーザ登録！
http://www.vdmtools.jp/
あぅ！このツール、古いバージョンじゃん。読めないprjファイルもそのまま。最初は誰もがexampleを触るし、その唯一のprjファイルが読めないんじゃ印象悪いです（Ｔ＿Ｔ）。特に今回は新装開店ですから。

それ以外として・・・
VDMの御大のページ
http://www.shinsahara.com/www/vdm/index.html
九大の先生の本
http://dontaku.csce.kyushu-u.ac.jp/books/ProgramSpecification/
？？？
http://www.chimaira.org/docs/indexFLT.htm
日経エレクトロニクス2005年12月19日号「ソフトウエアは硬い」
http://techon.nikkeibp.co.jp/article/HONSHI/20051213/111571/
まぁ、流行るかどうかわからないので、まだお勧めしません。：−P