課題・仕様・設計:不幸なシステム開発を救うシンプルな法則(酒匂寛)

書籍情報

書籍目次

はじめに「役に立つシステムを手に入れるために」
1部──導入
- 1 この本の構成
- 2 この本が目指すもの
- 3 ありがちな開発風景──A君の失敗
- 4 課題・仕様・設計
  - 4-1 課題と仕様
  - 4-2 仕様と設計
  - 4-3 課題、仕様、設計の関係
2部──課題
- 5 例題：病院予約会計システム
  - 5-1 問題の背景
  - 5-2 原始要求インタビュー
- 6 課題探求（Problem Exploration）
  - 6-1 課題探求とは
  - 6-2 課題探求の目標
- 7 例題：課題探求
  - 7-1病院問題の探求
  - 7-2 問題領域分析
    - 7-2-1 業務改善項目の抽出
    - 7-2-2 業務イベント分析
    - 7-2-3 業務ルール分析
  - 7-3 業務モデリング
    - 7-3-1 業務モデルの構成要素
    - 7-3-2 業務プロセスモデルの作成
    - 7-3-3 業務オブジェクトモデルの作成
    - 7-3-4 業務ルールの定義
- 8 ありがちな開発風景──A君の課題
3部──仕様
- 9 システム仕様（System Specification）
  - 9-1 システム仕様とは
  - 9-2 システム仕様の目標
- 10 例題：システム仕様
  - 10-1 例題：システム仕様
  - 10-2 アクタプロセス対応表
  - 10-3 4WD（Who-Where-When-What Diagram）
  - 10-4 ユースケースアプリケーション
  - 10-5 ドメインモデル
  - 10-6 業務倫理仕様
  - 10-7 数学的準備
  - 10-8 OCL（Object Constraint Language）の利用
    - 10-8-1 OCLの位置づけ
    - 10-8-2 OCLの基礎
    - 10-8-3 OCLによる例題の記述
    - 10-8-4 OCLの例題記述：シグニチャ～事前条件
    - 10-8-5 OCLの例題記述：例外の取り込み
    - 10-8-6 OCLの例題記述：事後条件
  - 10-9 VDM(Vienna Development Method)の利用
  - 10-10 検証（Validation）作業
    - 10-10-1 検証作業の意義
    - 10-10-2 検証作業の進め方
  - 11 ありがちな開発風景──A君の仕様
4部──設計
- 12 設計実装
  - 12-1 システム仕様と設計実装
  - 12-2 アーキテクチャの検討
  - 12-3 アーキテクチャの検討
    - 12-3-1 実装フレームワークの価値
    - 12-3-1 フレームワーク例：業務論理実装エンジンGofo
    - 12-3-1 Gofoと上流工程
  - 12-4　設計実装の正当性検証（verification）
- 13 ありがちな開発風景──A君の再起
終わりに
謝辞
付録
- 付録1：本書で取り上げる上げる3つの視点と成果物
- 付録2：リファレンスガイド
- ソフトウェア開発現場にいる人のためのブックガイド
INDEX