close
1.

図書
図書
1. 図解コンピュータの大百科
オーム社編集
出版情報: 東京 : オーム社, 1995.11  xiii, 1130p ; 27cm
所蔵情報: loading…
2.

図書
図書
2. パソコンによるデータ解析 : 統計ソフトを使いこなす
新村秀一著
出版情報: 東京 : 講談社, 1995.11  318p ; 18cm
シリーズ名: ブルーバックス ; B-1095
所蔵情報: loading…
3.

図書

東工大
目次DB
図書
東工大
目次DB
3. ソフトウェア設計 : オブジェクト指向からエージェント指向へ
松本吉弘, 大槻繁著
出版情報: 東京 : 朝倉書店, 1995.3  iv, 200p ; 21cm
シリーズ名: システム制御情報ライブラリー / システム制御情報学会編 ; 12
所蔵情報: loading…
目次情報: 続きを見る
1. ソフトウェア設計とオブジェクト 1
   1.1 オブジェクト・パラダイムとは 2
   1.2 ソフトウェア設計のための原理,原則 7
   1.3 ソフトウェア設計プロセス 11
   1.4 ソフトウェア・モジュール 16
   1.5 形式的ソフトウェア設計 23
   1.6 オブジェクト 32
   1.6.1 オブジェクトの一般的性質 32
   1.6.2 汎化と継承 36
   1.6.3 並行オブジェクト 39
   1.7 オブジェクト指向分析とオブジェクト指向設計 44
   1.8 オブジェクトの標準化 47
2. オブジェクト指向分析/設計 51
   2.1 オブジェクト指向分析/設計法の展望 51
   2.2 合成的オブジェクト指向分析/設計 57
   2.3 発見的オブジェクト指向分析/設計 65
   2.4 純粋オブジェクト指向分析/設計 71
   2.5 ADARTS 80
   2.6 Zとオブジェクト指向設計 85
   2.6.1 命題計算のための記述 85
   2.6.2 述語計算のための記述 86
   2.6.3 Zスキーマ計算 91
   2.6.4 オブジェクト指向設計への適用 94
3. エージェント指向分析/設計 101
   3.1 エージェント 102
   3.2 エージェントの記述 108
   3.3 受動的エージェント 110
   3.4 能動的エージェント 111
   3.5 エージェント指向設計 114
   3.5.1 ドメインの統一 114
   3.5.2 ドメイン分析 117
   3.5.3 プロトタイピング 120
4. 演習 125
   4.1 交通信号制御のCOLD-Kによる形式的記述 126
   4.2 新聞発送管理システムのオブジェクト指向設計 131
   4.2.1 新聞発送管理システムに対する要求 131
   4.2.2 新聞発送管理システムの仕様作成 133
   4.3 ジャクソンシステム開発法による新聞発送管理システムの記述 144
   4.3.1 ジャクソンシステム開発法の概要 144
   4.3.2 新聞発送管理システムの記述 146
   4.4 シュレヤ/メラーの方法による新聞発送管理システムの記述 154
   4.4.1 シュレヤ/メラーのオブジェクト指向開発法の概要 154
   4.4.2 新聞発送管理システムの分析事例 155
   4.5 ADARTSによる事例記述 161
   4.5.1 ADARTSの技法と表現法 161
   4.5.2 新聞発送管理システムの事例記述 164
参考文献 171
付録1 C ++によるオブジェクト記述例(オブジェクトNetworkのクラス記述) 181
付録2 C ++によるオブジェクト記述例(Networkに対してスーパクラスとなるProductの定義) 186
付録3 用語一覧 189
1. ソフトウェア設計とオブジェクト 1
   1.1 オブジェクト・パラダイムとは 2
   1.2 ソフトウェア設計のための原理,原則 7
4.

図書
図書
4. OSの基礎と応用 : 設計から実装,DOSから分散OS Amoebaまで
A. S. タネンバウム著 ; 引地信之, 引地美恵子訳
出版情報: 東京 : トッパン, 1995.11  xx, 828p ; 24cm
所蔵情報: loading…
5.

図書
図書
5. Cアルゴリズム全科 : 基礎からグラフィクスまで
千葉則茂 [ほか] 著
出版情報: 東京 : 近代科学社, 1995.6  442p ; 21cm
所蔵情報: loading…
6.

図書
図書
6. Windows入門 : 新しい知的ツール
脇英世著
出版情報: 東京 : 岩波書店, 1995.12  xii, 255p ; 18cm
シリーズ名: 岩波新書 ; 新赤版 420
所蔵情報: loading…
7.

図書
図書
7. 情報を整理する
前川守著
出版情報: 東京 : 岩波書店, 1995.7  ix, 252p ; 25cm
シリーズ名: 1000万人のコンピュータ科学 / 前川守著 ; 2 基礎編
所蔵情報: loading…
8.

図書
図書
8. 文章を科学する
前川守著
出版情報: 東京 : 岩波書店, 1995.10  xi, 185p ; 25cm
シリーズ名: 1000万人のコンピュータ科学 / 前川守著 ; 3 文学編
所蔵情報: loading…
9.

図書
図書
9. コンパイラ
中田育男著
出版情報: 東京 : オーム社, 1995.6  xi, 193p ; 22cm
シリーズ名: 新コンピュータサイエンス講座 / 猪瀬博 [ほか] 編集
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼