形式手法の技術講座 : ソフトウェアトラブルを予防する
Author(s)
Bibliographic Information
形式手法の技術講座 : ソフトウェアトラブルを予防する
ソフト・リサーチ・センター, 2008.4
- Title Transcription
-
ケイシキ シュホウ ノ ギジュツ コウザ : ソフトウェア トラブル オ ヨボウ スル
Available at 18 libraries
Search this Book/Journal
Note
文献: p183-185
Description and Table of Contents
Description
高品質ソフトウェアの開発をめざしているソフトウェア開発現場の読者を想定し、日本で大規模システムの開発に実際に形式手法を適用した経験に基づき、形式手法の概要とともに、形式手法適用の第一歩となる形式仕様記述言語について解説。
Table of Contents
- 第１章 ソフトウェアトラブルを予防する「形式手法」とは？（伝統的手法の問題点；形式手法とは？ ほか）
- 第２章 「形式手法」技術解説（形式手法によるシステム開発手順；ＶＤＭ手法 ほか）
- 第３章 主な形式手法と形式仕様記述言語の概要（各手法と言語の位置づけ；モデルベース仕様記述言語 ほか）
- 第４章 「形式手法」の効果的な導入法（問題が大きい工程の解明；仕様のフレームワーク構築 ほか）
by "BOOK database"