ソフトウェア工学の基礎「改訂新版」

目に見えず、重さもない製品をいかに作るのか―ソフトウェアの開発から保守までをコンパクトかつ網羅的に解説し、優れた教科書として定評のある『ソフトウェア工学の基礎』を大幅改訂。アジャイル開発や要求工学、プロジェクト管理等についての説明を増やすとともに、刊行以降のＡＩや機械学習、データサイエンスの発展を踏まえ、事例を全面的に見直した。大学専門課程の学生を始め、ソフトウェア開発に携わる技術者の方々にも有用な本書は、益々の発展を遂げるデジタル社会において実践的な知を身につけるのにぴったりの１冊である。

ソフトウェアの開発から保守までコンパクトかつ網羅的に解説し、優れた教科書として定評のある『ソフトウェア工学の基礎』を大幅改訂。アジャイル開発や要求工学、プロジェクト管理等についての説明を増やすとともに、刊行以降のAIや機械学習、データサイエンスの発展を踏まえ、事例を全面的に見直した。

目次

まえがき
第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章 検証技術　ほか

本の帯に関して

帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。

版・表紙について

版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。