構造化日本語仕様書としてのVDM仕様

抄録

形式仕様記述言語であるVDM++により記述した仕様を「構造化日本語仕様」と捉え、形式手法の基礎的な技術と回帰テスト等のソフトウェアエンジニアリング技術の活用によって、品質と生産性に大きな成果を得た。本稿では、その概要を紹介する。