近代科学社より出版されている書籍「VDM++による形式仕様記述」のWebサイトです．VDMToolsやOverture（Eclipseベースのツール）の利用法なども載せています．
Amazonへのリンク（紹介文を下記に引用）
機能仕様書の曖昧さ、不正確さ、不整合などに起因する手戻りに悩まされている開発者、近年話題となっている形式手法をまずは手軽なところから学び実際に使ってみたい開発者・大学院生・研究者へ！ 一般の開発者になじみやすい形で、仕様をはじめとした開発上流の成果物を厳密に（ただし抽象的に）記述し、様々な分析を行いそれらの品質確保に取り組む形式仕様記述手法である VDM（Vienna Development Method）の具体的かつ網羅的な入門書、解説書。
更新履歴
2017/6/1： VDMToolsのWebサイト変更に伴いリンクを張り替えました．
2011/11/10： 7章の仕様記述に関する修正を掲載しました．
2011/07/20： サイトオープン
お知らせ・イベント
- 形式手法全般に関する情報は，ディペンダブル・システムのための形式手法の実践ポータルサイトに掲載しています．
- 国立情報学研究所においては社会人向けソフトウェア工学教育コース「トップエスイー」を提供しています．また，講義・セミナーの個別受講についてはNPO法人トップエスイー教育センターのページをご参照下さい．
本サイトの内容
連絡先
国立情報学研究所 石川 冬樹
E-mail: f-ishikawa ＜＠＞ nii.ac.jp
著者の研究や他分野（サービスコンピューティング等）に関する活動については著者のWebサイトをご参照下さい．
© Fuyuki Ishikawa, National Institute of Informatics, Japan, 2011-