実用システム開発ではまず仕様を書こう！明確な仕様の記述と検証を行わずして正統な開発を行うことはできない―何を開発するのかを表す仕様の実践的なモデリングと、仕様書を基盤とする開発者間の建設的な対話に向けて。
もくじ情報：形式手法とＶＤＭ；ＶＤＭ概要；ＶＤＭ＋＋記述の構成要素；ＶＤＭ＋＋によるクラス記述；ＶＤＭ＋＋によるモデル化と例題（１）：集合；ＶＤＭ＋＋によるモデル化と例題（２）：列；ＶＤＭ＋＋によるモデル化と例題（３）：写像；ＶＤＭ＋＋　Ｔｏｏｌｂｏｘの活用；ＶＤＭ＋＋　Ｔｏｏｌｂｏｘにおける実装へのの展開；ＶＤＭ＋＋・ＶＤＭ＋＋　Ｔｏｏｌｂｏｘを用いた開発；関連情報

荒木　啓二郎(アラキ　ケイジロウ)
１９７８年九州大学大学院工学研究科修士課程修了。九州大学工学部助手。１９８２年工学博士。１９８４年九州大学助教授。１９８８年～１９８９年文部省在外研究員（ドイツ連邦共和国パッサウ大学）。１９９３年奈良先端科学技術大学院大学教授。１９９６年九州大学教授