ソフトウェア工学〔改訂版〕

1．ソフトウェア工学と情報社会　2．開発プロセス　3．ソフトウェアの要求と仕様化　4．データの流れと静的な構造の表現　5．動的振舞いとその表現　6．設計技術と再利用　7．ソフトウェア・アーキテクチャ設計　8．形式手法　9．モデル検査　10．ソフトウェアのテスト技術　11．ソフトウェアの品質と定量的尺度　12．利用時の品質とデータ品質　13．ソフトウェア開発計画と見積もり　14．プロジェクトマネジメント　15．長期の運用と保守・発展 ソフトウェア開発を工学的に行うためのプロセス、手法、品質、生産性、管理と制御、進化に関する技術を解説する。本書は、ソフトウェア開発に関わる様々な課題を技術によって解決することに着目して学習項目を構成している。 ソフトウェア開発において生ずる様々な問題を理解し、それらの問題を解決するための技術を開発プロセスに沿って整理し、社会が求めるソフトウェアの特徴と今後の課題について説明できることが目標である。 1.ソフトウェア工学と情報社会　2.開発プロセス　3.ソフトウェアの要求と仕様化　4.データの流れと静的な構造の表現　5.動的振舞いとその表現　6.設計技術と再利用　7.ソフトウェア・アーキテクチャ設計　8.形式手法　9.モデル検査　10.ソフトウェアのテスト技術　11.ソフトウェアの品質と定量的尺度　12.利用時の品質とデータ品質　13.ソフトウェア開発計画と見積もり　14.プロジェクトマネジメント　15.長期の運用と保守・発展