| 1.
|
図書
|
仙波洋史著
| 出版情報: |
東京 : 高文堂出版社, 2000.6 233p ; 21cm |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 2.
|
図書
|
大藪多可志著
| 出版情報: |
東京 : 東海大学出版会, 2000.5 ix, 234p ; 21cm |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 3.
|
図書
|
井上克郎, 松本健一, 飯田元著
|
| 4.
|
図書
|
三木容彦著
| 出版情報: |
東京 : 東海大学出版会, 2000.3 x, 230p ; 21cm |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 5.
|
図書
|
情報教育研究会編
| 出版情報: |
東京 : 技報堂出版, 2000.3 vi, 126p ; 26cm |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 6.
|
図書
東工大
目次DB
|
Ian Sommerville, Pete Sawyer著 ; 富野壽監訳
| 出版情報: |
東京 : 構造計画研究所 , 東京 : 共立出版 (発売), 2000.2 ix, 333p ; 21cm |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
目次情報:
続きを見る
| 第1章 はじめに 1 |
| 第2章 実践的プロセス改善 14 |
| 第3章 要求定義文書 33 |
| 第4章 要求の導出 57 |
| 第5章 要求の分析および折衝 98 |
| 第6章 要求の記述 123 |
| 第7章 システムモデリング 140 |
| 第8章 要求の確認 163 |
| 第9章 要求の管理 187 |
| 第10章 クリティカルシステムについての要求定義工学 217 |
| 第11章 構造化手法によるシステムモデリング 255 |
| 第12章 形式的仕様記述 281 |
| 第13章 視点(ビューポイント) 305 |
| 索引 331 |
| 第1章 はじめに 1 |
| 第2章 実践的プロセス改善 14 |
| 第3章 要求定義文書 33 |
|
| 7.
|
図書
|
村本正生著
| 出版情報: |
東京 : 培風館, 2000.4 v, 167p ; 26cm |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 8.
|
図書
|
山田博著
| 出版情報: |
東京 : 裳華房, 2000.5 v, 123p ; 19cm |
| シリーズ名: |
ポピュラーサイエンス ; 217 |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 9.
|
図書
|
アイテック情報技術教育研究所編著
| 出版情報: |
東京 : アイテック情報処理技術者教育センター, 2000.4 545p ; 26cm |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 10.
|
図書
|
立田ルミ [ほか] 著
| 出版情報: |
東京 : 朝倉書店, 2000.5 192p ; 26cm |
| シリーズ名: |
コンピュータリテラシー ; 1 |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 11.
|
図書
|
畑中勝守, 前野賀彦編著
| 出版情報: |
京都 : ナカニシヤ出版, 2000.4 vii, 165p ; 26cm |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 12.
|
図書
|
Richard H. Berube
| 出版情報: |
Upper Saddle River, N. J. : Prentice Hall, c2000 vi, 393 p. ; 28 cm. |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
目次情報:
続きを見る
| Scene Size-Up / 1： |
| Assessment and Initial Management of the Trauma Patient / 2： |
| Patient Assessment Skills / 3： |
| Initial Airway Management / 4： |
| Airway Management Skills / 5： |
| Thoracic Trauma / 6： |
| Shock Evaluation and Management / 7： |
| Head Trauma / 8： |
| Spinal Trauma / 9： |
| Spine Management Skills / 10： |
| Abdominal Trauma / 11： |
| Extremity Trauma / 12： |
| Extremity Trauma Skills / 13： |
| Burns / 14： |
| Trauma in Children / 15： |
| Trauma in the Elderly / 16： |
| Trauma in Pregnancy / 17： |
| Patients Under the Influence of Alcohol or Drugs / 18： |
| Blood and Body Fluid Precautions in a Prehospital Setting / 19： |
| Optional Skills / Appendix A： |
| Radio Communications / Appendix B： |
| Documentation / Appendix C： |
| Trauma Care in the Cold / Appendix D： |
| Role of the Air Medical Helicopter / Appendix E： |
| Trauma Scoring Systems / Appendix F： |
| Drowning, Barotrauma, and Decompression Injury / Appendix G： |
| Injury Prevention and the Role of the EMS Provider / Appendix H： |
| Multicasualty Incidents and Triage / Appendix I： |
| Scene Size-Up / 1： |
| Assessment and Initial Management of the Trauma Patient / 2： |
| Patient Assessment Skills / 3： |
|
| 13.
|
図書
|
杉江日出澄, 吉田郁子共著
| 出版情報: |
東京 : 培風館, 2000.4 vi, 231p ; 26cm |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 14.
|
図書
|
遠藤諭著
| 出版情報: |
東京 : アスキー, 2000.6 261p ; 19cm |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 15.
|
図書
|
雨宮真人著
|
| 16.
|
図書
|
鈴木純一〔ほか〕著
| 出版情報: |
東京 : 日科技連出版社, 2000.6 xiv, 277p ; 21cm |
| シリーズ名: |
ソフトウェア品質学 ; 各論 |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 17.
|
図書
|
立花隆 [ほか] 著
| 出版情報: |
東京 : 新潮社, 2000.7 305p ; 21cm |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
目次情報:
続きを見る
| サイバーユニヴァーシティの試み / 立花隆 [著] |
| 情報原論 / 立花隆 [著] |
| コンピュータのしくみ / 南谷崇 [著] |
| コンピュータの歴史 / 橋本毅彦 [著] |
| デジタル産業革命 / 児玉文雄 [著] |
| ネットワーク社会の将来 / 安田浩 [著] |
| オープンソースという新しい流れ / 立花隆ゼミ [著] |
| サイバーユニヴァーシティの試み / 立花隆 [著] |
| 情報原論 / 立花隆 [著] |
| コンピュータのしくみ / 南谷崇 [著] |
|
| 18.
|
図書
|
松本隆明, 岡本龍明編著 ; 伊土誠一監修
| 出版情報: |
東京 : 電気通信協会 , 東京 : オーム社 (発売), 2000.8 208p ; 21cm |
| シリーズ名: |
未来ねっと技術シリーズ ; 10 |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 19.
|
図書
|
川島大司著
| 出版情報: |
東京 : 学術図書出版社, 2000.4 vii, 169p ; 26cm |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 20.
|
図書
|
ダニエル・ヒリス著 ; 倉骨彰訳
| 出版情報: |
東京 : 草思社, 2000.10 278p ; 20cm |
| シリーズ名: |
サイエンス・マスターズ ; 15 |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 21.
|
図書
|
Justin Zobel著 ; 黒川利明, 黒川容子訳
| 出版情報: |
東京 : 朝倉書店, 2000.10 viii, 177p ; 21cm |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 22.
|
図書
|
矢向高弘, 村上俊之, 大西公平著
|
| 23.
|
図書
|
倉田敬子編
| 出版情報: |
東京 : 勁草書房, 2000.11 vii, 225p ; 22cm |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 24.
|
図書
|
後藤宗弘著
| 出版情報: |
東京 : 森北出版, 2000.10 ix, 183p ; 22cm |
| シリーズ名: |
基礎からの電気・電子工学 |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 25.
|
図書
|
塚本昌彦著
| 出版情報: |
東京 : 岩波書店, 2000.12 v, 114p ; 19cm |
| シリーズ名: |
岩波科学ライブラリー ; 77 |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 26.
|
図書
東工大
目次DB
|
上原三八 [ほか] 著
目次情報:
続きを見る
| 第I部 ソフトウェア保守の技術と実践 1 |
| 第1章 ソフトウェア保守の枠組み 3 |
| 1.1 保守の種類 3 |
| 1.1.1 システムの欠陥に対応するための保守 3 |
| 1.1.2 システムの機能を維持するための保守 4 |
| 1.1.3 システムを改善するための保守 6 |
| 1.2 用語とその意味 7 |
| 1.3 保守のプロセス 10 |
| 1.4 保守ツールへの要求 14 |
| 1.4.1 変更要求の作成 14 |
| 1.4.2 プログラム理解 15 |
| 1.4.3 設計の修正 16 |
| 1.4.4 ソースコードの修正 16 |
| 1.4.5 検証 17 |
| 1.5 保守の課題 17 |
| 1.5.1 設計ドキュメントの整備 17 |
| 1.5.2 保守計画 18 |
| 第2章 ソフトウェア保守の基礎技術 21 |
| 2.1 プログラム理解モデル 22 |
| 2.2 プログラム理解の自動化 24 |
| 2.3 プログラム依存性解析 26 |
| 2.3.1 依存関係の種類 27 |
| 2.3.2 表現の粒度 28 |
| 2.4 変数分類 33 |
| 2.4.1 有効な分類カテゴリ 34 |
| 2.4.2 変数分類の技術 35 |
| 2.4.3 変数分類の保守への応用 36 |
| 2.5 プログラムスライシング 38 |
| 2.5.1 プログラムスライシングとは 38 |
| 2.5.2 汎化プログラムスライシング 39 |
| 2.5.3 スライスに対する集合演算 49 |
| 2.6 波及効果分析 51 |
| 第3章 より進んだソフトウェア保守技術 59 |
| 3.1 変数の影響検索 59 |
| 3.2 業務仕様の抽出 63 |
| 3.2.1 業務ルール抽出基準 64 |
| 3.2.2 業務仕様抽出のプロセス 65 |
| 3.2.3 汎化スライシングによるソースコード抽出 68 |
| 3.2.4 業務仕様の表現方法 72 |
| 3.2.5 プログラムからの公式表現の生成 73 |
| 3.3 VSAMからSQLへのリエンジニアリング 74 |
| 3.3.1 VSAMコンポーネントの自動識別 76 |
| 3.3.2 スキーマ変換 78 |
| 3.3.3 VSAM操作の変換 79 |
| 3.3.4 検証 93 |
| 第4章 ソフトウェア保守の実践 95 |
| 4.1 資産整理 95 |
| 4.1.1 背景 95 |
| 4.1.2 稼働資産分析の方法 95 |
| 4.1.3 資産特性分の方法 97 |
| 4.1.4 事例における実施方法 100 |
| 4.1.5 効果 101 |
| 4.2 データ項目名の再標準化 101 |
| 4.2.1 背景 101 |
| 4.2.2 データ項目名の整理の方法 102 |
| 4.2.3 事例における実施方法と効果 106 |
| 4.3 プログラム仕様書生成 108 |
| 4.3.1 背景 108 |
| 4.3.2 プログラム仕様書生成の方法 109 |
| 4.3.3 事例における実施方法と効果 112 |
| 4.4 再構築における既存資産の再利用 114 |
| 4.4.1 背景 114 |
| 4.4.2 再構築のための再利用技術 115 |
| 4.4.3 システム相関分析 117 |
| 4.4.4 システムの再利用 118 |
| 4.4.5 プログラムの再利用 120 |
| 4.4.6 プログラム部分の再利用 121 |
| 4.4.7 データ仕様の再利用 122 |
| 4.4.8 事例における実施方法と効果 122 |
| 4.5 西暦2000年問題修正 127 |
| 4.5.1 背景 127 |
| 4.5.2 事例における実施方法 127 |
| 第II章 システム革新の方法 133 |
| 第5章 オブジェクト指向システムへの革新 135 |
| 5.1 オブジェクト指向へ移行するための課題 136 |
| 5.2 開発プロセスと成果物 137 |
| 5.2.1 開発プロセス 137 |
| 5.2.2 成果物 139 |
| 5.2.3 例題 140 |
| 5.3 システム設計 146 |
| 5.3.1 責務の割り当て 146 |
| 5.3.2 機能設計の比較 150 |
| 5.3.3 オブジェクト指向が難しい理由 152 |
| 5.4 従来システムの利用 153 |
| 5.5 従来システムの比較 155 |
| 5.5.1 オブジェクト指向クライアント/サーバシステムの構造 155 |
| 5.5.2 メインフレーム型システムの構造 158 |
| 第6章 ワークフロー管理システム 161 |
| 6.1 ワークフロー管理システムの概要 162 |
| 6.2 ワークフロー管理システムへ移行するための課題 165 |
| 6.3 適用業務とツールの選択 166 |
| 6.4 要素技術 168 |
| 6.5 従来システムとの比較 170 |
| 6.6 ワークフロー管理システムへの移行の留意点 171 |
| 第7章 エンタープライズモデリング 173 |
| 7.1 エンタープライズモデル 174 |
| 7.2 エンタープライズモデルの用途 177 |
| 7.3 モデル化技術 178 |
| 7.4 その他の研究 181 |
| 7.4.1 ARIS 181 |
| 7.4.2 IDEF0 182 |
| 7.4.3 RM-ODP 185 |
| 第8章 ソフトウェア保守の今後 187 |
| 付録 ソフトウェア保守の研究 189 |
| 付1 Rigi プロジェクト 189 |
| 付2 Software Refinery 191 |
| 付3 DPUTE プロジェクト 192 |
| 付4 その他のプロジェクト 193 |
| 参考文献 197 |
| 索引 203 |
| 第I部 ソフトウェア保守の技術と実践 1 |
| 第1章 ソフトウェア保守の枠組み 3 |
| 1.1 保守の種類 3 |
|
| 27.
|
図書
|
田淵治樹著
| 出版情報: |
東京 : オーム社, 2000.12 261p ; 21cm |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 28.
|
図書
|
西川宝, 小路真木子, 中村賢仁著
| 出版情報: |
京都 : 久美, 2000.4 v, 171p ; 30cm |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 29.
|
図書
東工大
目次DB
|
イレイン・ワイス著 ; 関友作訳
| 出版情報: |
東京 : 海文堂出版, 2000.11 166p ; 21cm |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
目次情報:
続きを見る
| 訳者まえがき 7 |
| はじめに 11 |
| 第1部 人とコンピュータを結ぶ |
| [1] 本書の目的 19 |
| ・能力のパラドックス 20 |
| ・本書のねらい 23 |
| ・つぎの章では 24 |
| [2] コンピュータ・トレーニングの全体図 27 |
| ・現場からの報告 : 営業員を武装する 27 |
| ・内容 : 何を教えるか 28 |
| ・過程 : どのように教えるか 31 |
| ・結果 : どのように評価するか 34 |
| ・つぎの章では 37 |
| 第2部 何を教えるか |
| [3] 学習者を知る 41 |
| ・現場からの報告 : 授業のどこがまずいのか? 41 |
| ・なぜ学習者を調べるのか 42 |
| ・能力には差がある 42 |
| ・態度には差がある 47 |
| ・学習者の能力と態度を知る 49 |
| ・つぎの章では 53 |
| [4] システムの使いやすさを知る 55 |
| ・現場からの報告 : すぐに使えるシステム? 55 |
| ・なぜ使いやすさは重要なのか 56 |
| ・なぜ使いやすさを調べるのか 57 |
| ・ユーザ・インタフェースの4側面 58 |
| ・現場にもどって 68 |
| ・つぎの章では 70 |
| [5] 業務環境を知る 73 |
| ・現場からの報告 : 1日で教えるには? 73 |
| ・なぜ業務環境を調べるのか 74 |
| ・業務環境の3ポイント 75 |
| ・現場にもどって 83 |
| ・つぎの章では 84 |
| 第3部 どのように考えるか |
| [6] 教育方法を教える 87 |
| ・現場からの報告 : 教えてはみたけれど 87 |
| ・人はコンピュータをどのように学ぶのか 88 |
| ・成人学習者の3ポイント 92 |
| ・理論はわかった-では、どのように教えるのか 94 |
| ・つぎの章では 105 |
| [7] 教材を考える 107 |
| ・現場からの報告 : 学校の教員に教える 107 |
| ・3種類の教材 109 |
| ・効果的な教材のポイント : 内容とデザイン 113 |
| ・クイック・リファレンスを自作すべき場合 117 |
| ・現場にもどって 119 |
| ・つぎの章では 122 |
| 第4部 どのように評価するか |
| [8] 教育を評価する 125 |
| ・現場からの報告 : トレーニングの評価方法 125 |
| ・複数の観点から評価する 126 |
| ・自己評価する 127 |
| ・同僚に評価してもらう 128 |
| ・受講者に評価してもらう 130 |
| ・つぎの章では 140 |
| [9] 学習を評価する 143 |
| ・現場からの報告 : システムを導入するまえに 143 |
| ・なぜ評価するのか 144 |
| ・何を評価するか 146 |
| ・どのように評価するか 150 |
| ・つぎは 157 |
| 参考文献 159 |
| 索引 163 |
| 訳者まえがき 7 |
| はじめに 11 |
| 第1部 人とコンピュータを結ぶ |
|
| 30.
|
図書
|
池井満著
| 出版情報: |
東京 : オーム社, 2000.8 xii, 282p ; 21cm |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 31.
|
図書
|
ペルディタ・スティーブンス, ロブ・プーリー著 ; 児玉公信監訳
|
| 32.
|
図書
|
石田晴久著
| 出版情報: |
東京 : 岩波書店, 2000.11 v, 246p ; 18cm |
| シリーズ名: |
岩波新書 ; 新赤版 701 |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 33.
|
図書
|
C.P.ウィリアムズ, S.H.クリアウォータ著 ; 西野哲朗, 荒井隆, 渡邉昇訳
| 出版情報: |
東京 : シュプリンガー・フェアラーク東京, 2000.6 xv, 287p ; 25cm |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 34.
|
図書
|
Mint(経営情報研究会)著
| 出版情報: |
東京 : 日本実業出版社, 2000.7 327p ; 21cm |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
| 35.
|
図書
|
桑野雅彦著
|
| 36.
|
図書
|
富田眞治著
|
| 37.
|
図書
|
M. モリス・マノ著 ; 国枝博昭, 伊藤和人訳
| 出版情報: |
東京 : 科学技術出版, 2000.1 xvi, 553p ; 22cm |
| シリーズ名: |
コンピュータサイエンス・シリーズ |
| 子書誌情報: |
loading… |
| 所蔵情報: |
loading… |
|
