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