形式手法の技術講座 : ソフトウェアトラブルを予防する
著者
書誌事項
形式手法の技術講座 : ソフトウェアトラブルを予防する
ソフト・リサーチ・センター, 2008.4
- タイトル読み
-
ケイシキ シュホウ ノ ギジュツ コウザ : ソフトウェア トラブル オ ヨボウ スル
大学図書館所蔵 件 / 全18件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
文献: p183-185
内容説明・目次
内容説明
高品質ソフトウェアの開発をめざしているソフトウェア開発現場の読者を想定し、日本で大規模システムの開発に実際に形式手法を適用した経験に基づき、形式手法の概要とともに、形式手法適用の第一歩となる形式仕様記述言語について解説。
目次
- 第１章 ソフトウェアトラブルを予防する「形式手法」とは？（伝統的手法の問題点；形式手法とは？ ほか）
- 第２章 「形式手法」技術解説（形式手法によるシステム開発手順；ＶＤＭ手法 ほか）
- 第３章 主な形式手法と形式仕様記述言語の概要（各手法と言語の位置づけ；モデルベース仕様記述言語 ほか）
- 第４章 「形式手法」の効果的な導入法（問題が大きい工程の解明；仕様のフレームワーク構築 ほか）
「BOOKデータベース」 より