新刊紹介〜〜ソフトウェアトラブルを予防する〜形式手法の技術講座
日経SYSTEMS　第183号　2008.7.1

　システム・トラブルの要因の一つとして，仕様書のあいまいさが挙げられる。そうしたあいまいさを取り除く手法として注目を集めているのが「形式手法（フォーマル・メソッド）」である。形式手法の概要を説明した後，形式手法の一つである「ＶＤＭ＋＋」を通して技術解説を行う。また，著者は，大規模システムの開発で実際に形式手法を適用した経験があり，その経験に基づいて効果的な導入法を説明している。佐原　伸　著ソフト・…