PR

 システム・トラブルの要因の一つとして,仕様書のあいまいさが挙げられる。

 そうしたあいまいさを取り除く手法として注目を集めているのが「形式手法(フォーマル・メソッド)」である。形式手法の概要を説明した後,形式手法の一つである「VDM++」を通して技術解説を行う。また,著者は,大規模システムの開発で実際に形式手法を適用した経験があり,その経験に基づいて効果的な導入法を説明している。

形式手法の技術講座

形式手法の技術講座
佐原 伸著
ソフト・リサーチ・センター発行
2415円(税込)