VDM++による形式仕様記述近代科学社より出版されている書籍「VDM++による形式仕様記述」のWebサイトです．VDMToolsやOverture（Eclipseベースのツール）の利用法なども載せています． Amazonへのリンク（紹介文を下記に引用） 機能仕様書の曖昧さ、不正確さ、不整合などに起因する手戻りに悩まされている開発者、近年話題となっている形式手法をまずは手軽なところから学び実際に使ってみたい開発者・大学院生・研究者へ！ 一般の開発者になじみやすい形で、仕様をはじめとした開発上流の成果物を厳密に（ただし抽象的に）記述し、様々な分析を行いそれらの品質確保に取り組む形式仕様記述手法である VDM（Vienna Development Method）の具体的かつ網羅的な入門書、解説書。 更新履歴 2017/6/1： VDMToolsのWebサイト変更に伴いリンクを張り替えました． 2011/11/10： 7章の
http://research.nii.ac.jp/~f-ishikawa/archives/archives.html
