出版社内容情報
大規模応用ソフトウェアシステムの核となるオブジェクトを基礎から演習例まで解説。〔内容〕ソフトウェア設計とオブジェクト／オブジェクト指向分析・設計／エージェント指向分析・設計／演習（交通信号制御，新聞発送管理システム，他）
【目次】
1. ソフトウェア設計とオブジェクト
1.1 オブジェクト・パラダイムとは
1.2 ソフトウェア設計のための原理，原則
1.3 ソフトウェア設計プロセス
1.4 ソフトウェア・モジュール
1.5 形式的ソフトウェア設計
1.6 オブジェクト
1.6.1 オブジェクトの一般的性質
1.6.2 汎化と継承
1.6.3 並行オブジェクト
1.7 オブジェクト指向分析とオブジェクト指向設計
1.8 オブジェクトの標準化
2. オブジェクト指向分析/設計
2.1 オブジェクト指向分析/設計法の展望
2.2 合成的オブジェクト指向分析/設計
2.3 発見的オブジェクト指向分析/設計
2.4 純粋オブジェクト指向分析/設計
2.5 ADARTS
2.6 Ｚとオブジェクト指向設計
2.6.1 命題計算のための記述
2.6.2 述語計算のための記述
2.6.3 Ｚスキーマ計算
2.6.4 オブジェクト指向設計への適用
3 エージェント指向分析/設計
3.1 エージェント
3.2 エージェントの記述
3.3 受動的エージェント
3.4 能動的エージェント
3.5 エージェント指向設計
3.5.1 ドメインの統一
3.5.2 ドメイン分析
3.5.3 プロトタイピング
4. 演 習
4.1 交通信号制御のCOLD-Kによる形式的記述
4.2 新聞発送管理システムのオブジェクト指向設計
4.3 ジャクソンシステム開発法による新聞発送管理システムの記述
4.4 シュレヤ/メラーの方法による新聞発送管理システムの記述
4.5 ADARTSによる事例記述
5. 参考文献
6. 付 録
6.1 C＋＋によるオブジェクト記述例（オブジェクトNetworkのクラス記述）
6.2 C＋＋によるオブジェクト記述例（Networkに対してスーパクラスとなるProductの定義）
6.3 用語一覧
【編集】
システム制御情報学会
【著者】
大 槻 繁， 松 本 吉 弘
目次
１ ソフトウェア設計とオブジェクト
２ オブジェクト指向分析―設計
３ エージェント指向分析―設計
４ 演習
