目次
ソフトウェア工学と情報社会
開発プロセス
ソフトウェアの要求と仕様化
データの流れと静的な構造の表現
動的振舞いとその表現
設計技術と再利用
ソフトウェア・アーキテクチャ設計
形式手法
モデル検査
ソフトウェアのテスト技術
ソフトウェアの品質と定量的尺度
利用時の品質とデータ品質
ソフトウェア開発計画と見積もり
プロジェクトマネジメント
長期の運用と保守・発展
著者等紹介
中谷多哉子［ナカタニタカコ］
１９９８年東京大学大学院総合文化研究科広域科学専攻博士課程修了。現在、放送大学教授、博士（学術）。専攻：ソフトウェア工学、要求工学
中島震［ナカジマシン］
１９７９年東京大学理学部物理学科卒業。現在、情報・システム研究機構 国立情報学研究所 名誉教授、博士（学術）。専攻：ソフトウェア工学（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
