著者紹介

内容

目次

まえがき 　第1版のまえがき 第1章 ソフトウェアとソフトウェア工学 　1. 1 ソフトウェアとは 　1. 2 ソフトウェア工学の意義と歴史 第2章 ソフトウェアプロセス 　2. 1 プロダクトとプロセス 　2. 2 計画主導型プロセスと反復進化型プロセス 　2. 3 計画主導型プロセス 　2. 4 反復進化型プロセス 　2. 5 ソフトウェアプロセスの評価 　2. 6 プロセスプログラミング 第3章 要求工学 　3. 1 何を作るか 　3. 2 要求工学と発想法 　3. 3 要求工学の意義 　3. 4 要求工学のプロセス 　3. 5 要求の種類 　3. 6 仕様 第4章 モデル化技法とUML 　4. 1 モデルとは何か 　4. 2 ソフトウェアにおけるモデル 　4. 3 グラフによるモデル化 　4. 4 UML 記法 　4. 5 共通例題 第5章 データと制御の流れモデル 　5. 1 データの流れモデル 　5. 2 制御の流れモデル 第6章 動的振舞いモデル 　6. 1 処理プロセスの特性 　6. 2 系列図 　6. 3 通信図 　6. 4 状態機械図 　6. 5 Jackson システム開発法(JSD) 第7章 オブジェクト指向モデル 　7. 1 オブジェクト指向技術の歴史 　7. 2 オブジェクト指向モデルの基本概念 　7. 3 オブジェクト指向開発方法論 　7. 4 オブジェクト指向モデルの構築プロセス 　7. 5 オブジェクト指向モデルの例題 第8章 形式手法 　8. 1 形式手法の意味 　8. 2 形式仕様記述 　8. 3 正当性の検証 　8. 4 モデル検査 　8. 5 適用事例――Zによる酒屋倉庫問題の記述 第9章 設計技法 　9. 1 アーキテクチャ設計 　9. 2 モジュール設計 　9. 3 インタフェース設計 　9. 4 アルゴリズムの設計 第10章 検証技術 　10. 1 検証の基本概念 　10. 2 プログラムの検証技術 　10. 3 仕様の検証技術 第11章 ソフトウェアの保守・進化 　11. 1 ソフトウェアの保守 　11. 2 ソフトウェアの進化プロセス 　11. 3 再利用と再構築 第12章 開発環境とツール 　12. 1 開発ツール 　12. 2 統合開発環境 　12. 3 版管理ツール 第13章 安全・安心な社会のためのソフトウェア 　13. 1 安全・安心社会への脅威 　13. 2 ソフトウェアの不具合がもたらす社会への影響 　13. 3 サイバー犯罪とサイバー攻撃 第14章プロジェクト管理 　14. 1 プロジェクト管理の失敗事例 　14. 2 プロジェクト管理の対象と方法 　14. 3 プロジェクト計画と見積り 　14. 4 人の管理 　14. 5 プロジェクト管理の知識体系と資格 　参考文献 　索引