• 一覧へ戻る

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
県立	Ａ０７Ｂ	主配架/007.63/ﾀﾏｲ*ﾃ/2022	10218227339	一般図書		書架

ページの先頭へ

資料詳細

ページの先頭へ

目次

第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 プロジェクト管理の知識体系と資格

ページの先頭へ