書誌種別 |
図書 |
タイトル |
ソフトウェア工学の基礎 |
並列タイトル |
Foundations of Software Engineering |
タイトルヨミ |
ソフトウェア コウガク ノ キソ |
人名 |
玉井 哲雄/著
|
人名ヨミ |
タマイ テツオ |
版次 |
改訂新版 |
出版者・発行者 |
岩波書店
|
出版者・発行者等ヨミ |
イワナミ ショテン |
出版地・発行地 |
東京 |
出版・発行年月 |
2022.6 |
ページ数または枚数・巻数 |
10,332p |
大きさ |
21cm |
価格 |
¥3900 |
ISBN |
978-4-00-005621-2 |
ISBN |
4-00-005621-2 |
注記 |
文献:p317〜325 |
分類記号 |
007.63
|
件名 |
ソフトウェア工学
|
内容紹介 |
ソフトウェアの開発から保守までをコンパクトかつ網羅的に解説。アジャイル開発や要求工学、プロジェクト管理等についての説明を増やし、AIや機械学習、データサイエンスの発展を踏まえ、事例を全面的に見直した改訂新版。 |
著者紹介 |
1948年生まれ。東京大学工学部計数工学科卒業。同大学名誉教授。工学博士。著書に「ソフトウェア社会のゆくえ」など。 |
言語区分 |
JPN |
タイトルコード |
1009812597668 |
目次 |
第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 プロジェクト管理の知識体系と資格 |