close
1.

図書

図書
平川正人著
出版情報: 東京 : 共立出版, 1999.10  viii, 176p ; 22cm
シリーズ名: ソフトウェアテクノロジーシリーズ ; 10 . ネットワークとマルチメディアトラック||ネットワーク ト マルチメディアトラック
所蔵情報: loading…
2.

図書

図書
神奈川工科大学電子計算センター編
出版情報: 東京 : 昭晃堂, 1999.4  ix, 223p ; 26cm
所蔵情報: loading…
3.

図書

図書
青山満, 新田光重共著
出版情報: 東京 : 昭晃堂, 1999.4  ii, iv, 174p ; 26cm
所蔵情報: loading…
4.

図書

図書
一瀬益夫編著
出版情報: 東京 : 同友館, 1999.4  xiv, 233p ; 21cm
所蔵情報: loading…
5.

図書

図書
村上則夫著
出版情報: 京都 : 松籟社, 1997.4  245p ; 20cm
所蔵情報: loading…
6.

図書

図書
ジュリアン・ウォーナー著 ; 高山正也, 柳与志夫監訳 ; 上保佳穂, 鎌倉治子, 河合美穂訳
出版情報: 東京 : 勁草書房, 1999.6  xii, 175p ; 22cm
所蔵情報: loading…
7.

図書

図書
常深信彦編著
出版情報: 東京 : オーム社, 1999.8  xiii, 199p ; 21cm
シリーズ名: アルテ21
所蔵情報: loading…
8.

図書

東工大
目次DB

図書
東工大
目次DB
Tom Gilb, Dorothy Graham著
出版情報: 東京 : 構造計画研究所 , 東京 : 共立出版 (発売), 1999.8  xxvi, 450p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
第1章 インスペクションの歴史的背景および他の手法との比較 1
   1.1 歴史的ルーツ 1
   1.2 インスペクションと他のレビュー技術との比較 4
   1.3 テストとインスペクションの比較 8
第2章 インスペクションの便益とコスト 13
   2.1 現在、欠陥によってどの程度のコストがかかっているか? 14
   2.2 直接的節約 17
   2.3 間接的便益 24
   2.4 インスペクションのコスト 27
   2.5 インスペクションプロセス内の作業の割合 29
   2.6 副次効果コスト 29
第3章 ソフトウェアインスペクションの概観 31
   3.1 成果物インスペクション 31
   3.2 プロセス改善 37
   3.3 要約 39
第4章 インスペクションプロセス(パート1)-始動と文書 40
   4.1 インスペクションの要請 41
   4.2 プロセス計画の策定 43
   4.3 成果物のインスペクションに必要な文書 44
   4.4 開始プロセス 64
   4.5 キックオフミーティング 67
   4.6 まとめ 69
第5章 インスペクションプロセス(パート2)-チェック 71
   5.1 個人チェック 71
   5.2 ロギングミーティング 83
第6章 インスペクションプロセス(パート3)-完了 97
   6.1 編集 98
   6.2 フォローアップ 103
   6.3 終了 105
   6.4 要約 114
第7章 インスペクションプロセス(パート4)-プロセス改善 115
   7.1 問題予防と対比した問題除去 115
   7.2 プロセス管理の概念 116
   7.3 プロセスブレーンストーミング(根本原因の分析) 117
   7.4 IBMの方法との対比 125
   7.5 プロセス変革管理チームの組織 130
第8章 インスペクションリーダ 136
   8.1 リーダは誰か? 136
   8.2 マスタープラン 138
   8.3 開始基準 143
   8.4 対象文書の選択 145
   8.5 チェックおよびロギング速度 153
   8.6 インスペクタの選択 157
   8.7 会議室の予約 166
   8.8 インスペクタにスペシャリストの役割を割り当てる 167
   8.9 キックオフミーティング 171
   8.10 ロギングミーティングの準備 176
   8.11 ロギングミーティングの指揮をとる 179
   8.12 プロセスブレーンストーミングを指揮する 194
   8.13 尺度の収集、公開および利用 197
   8.14 編集作業 202
   8.15 作業終了の検証:インスペクションリーダによるフォローアップ 203
   8.16 終了 205
   8.17 変革管理 207
   8.18 リーダの管理 208
   8.19 進歩的なリーダの指針 211
第9章 スペシャリストの視点からのインスペクション 221
   9.1 チェッカの視点からのインスペクション 221
   9.2 オーサ/編集者の視点から見たインスペクション 226
第10章 導入とトレーニング 232
   10.1 導入 233
   10.2 インスペクション導入のチェックリスト 247
   10.3 正規のトレーニング 258
   10.4 要約と結論 263
第11章 困難に打ち勝つ 265
   11.1 インスペクションの失敗を把握する 265
   11.2 なぜインスペクションプロセスが失敗するか 267
   11.3 失敗したプロセス改善の初期の試み 268
   11.4 典型的な導入時の問題と解決法 271
第12章 Appliconにおけるインスペクション 277
   実施 277
   1年目の実施状況 278
   2年目の実施状況 281
   定着に向けての多様な取組み 282
   長期戦略 283
   コスト 284
   便益 284
   問題とその解決策 285
   成功の鍵 288
   実施の秘訣 291
第13章 1人からの出発 294
   パート1:プロジェクト 295
   1. 概況 295
   2. 上流インスペクション 298
   3. 顧客訪問 305
   4. プロジェクトの成功 310
   パート2:インスペクションの進め方 311
   1. 自分で作る尺度 311
   2. インスペクションを阻むもの 319
   3. 結論 321
第14章 Thorn EMIの文書インスペクション 322
   はじめに 322
   社内でのインスペクションの確立 326
   インスペクション実施までの経緯 328
   便益 329
   コスト 330
   Thorn EMIで学んだ教訓 331
   結論 332
第15章 Racal Redacにおけるインスペクション 334
   会社紹介 334
   開発アプリケーション 334
   導入経過 334
   インスペクション対象文書 339
   運営方針 340
   コストと便益 341
第16章 Sema Group(英国)におけるインスペクション 343
   準備 343
   最初のプロジェクト 344
   最初のプロジェクトの教訓 346
   インスペクションの普及 347
   Semaの現状 348
   事例 350
   グラフと残存欠陥数 351
   結論 353
   推奨事項 354
第17章 欠陥予防プロセスの実践 355
   はじめに 355
   欠陥予防プロセス概観 355
   インスペクションプロセスとの関係 358
   欠陥予防の実践面 360
   欠陥とは何か? 360
   欠陥の選択 361
   原因分析ミーティングの運営 362
   リポジトリ 377
   工程キックオフ(プロセスレビュー)ミーティング 377
   工程キックオフミーティングのコストとその効果 378
   結論 379
   参考文献 379
付録A:1ページインスペクションハンドブック 381
付録B:手順-スペシャリストおよびサブプロセスが何をすべきか 382
付録C:インスペクションの尺度と書式 395
付録D:ルールセット 411
付録E:インスペクションの活動に関わる基本方針の例 419
用語集 421
参考文献 439
索引 444
第1章 インスペクションの歴史的背景および他の手法との比較 1
   1.1 歴史的ルーツ 1
   1.2 インスペクションと他のレビュー技術との比較 4
9.

図書

図書
石田晴久著
出版情報: 東京 : 岩波書店, 1994.2  vi, 112p ; 19cm
シリーズ名: 岩波科学ライブラリー ; 9
所蔵情報: loading…
10.

図書

図書
David A. Patterson, John L. Hennessy著 ; 富田眞治, 村上和彰, 新實治男訳
出版情報: [東京] : 日経BP社 , 東京 : 日経BP出版センター (発売), 1994.2  xxiv, 773p ; 27cm
所蔵情報: loading…
11.

図書

図書
永田元康著
出版情報: 東京 : コロナ社, 1994.3  vi, 156p ; 22cm
所蔵情報: loading…
12.

図書

図書
横田一正, 宮崎収兄著
出版情報: 東京 : 共立出版, 1994.7  ix, 225p ; 22cm
シリーズ名: 計算機科学/ソフトウェア技術講座 / 廣瀬健 [ほか] 編 ; 4
所蔵情報: loading…
13.

図書

図書
楠菊信著
出版情報: 東京 : 丸善, 1994.12  ix, 186p ; 21cm
シリーズ名: 電気・電子・情報・通信基礎コース
所蔵情報: loading…
14.

図書

図書
相磯秀夫, 甘利俊一著者代表
出版情報: 東京 : 三田出版会, 1990.9  240p ; 20cm
所蔵情報: loading…
15.

図書

図書
中澤喜三郎著
出版情報: 東京 : 朝倉書店, 1995.11  xi, 570p ; 22cm
所蔵情報: loading…
16.

図書

図書
ロバート・X. クリンジリー著 ; 薮暁彦訳
出版情報: 東京 : アスキー, 1993.3  2冊 ; 20cm
シリーズ名: ASCII books
所蔵情報: loading…
17.

図書

図書
井田昌之, 田中啓介共著
出版情報: 東京 : 丸善, 1990.3  x, 283p ; 22cm
シリーズ名: ワークステーションシリーズ
所蔵情報: loading…
18.

図書

図書
奥出直人著
出版情報: 東京 : 河出書房新社, 1990.3  253p ; 20cm
所蔵情報: loading…
19.

図書

図書
大阪科学技術センターCIM研究会編 ; 長江貞彦 [ほか] 執筆
出版情報: 東京 : 共立出版, 1991.8  iv, 311p ; 22cm
所蔵情報: loading…
20.

図書

図書
和田英一監修
出版情報: 東京 : 平凡社, 1992.1  91p ; 28cm
シリーズ名: サイエンスNow / 福井謙一総監修 ; 9
所蔵情報: loading…
21.

図書

図書
相磯秀夫, 甘利俊一著者代表
出版情報: 東京 : 三田出版会, 1991.9  301p ; 20cm
所蔵情報: loading…
22.

図書

図書
奥川峻史著
出版情報: 東京 : 共立出版, 1992.10  ix,147p ; 22cm
所蔵情報: loading…
23.

図書

図書
武市正人 [著]
出版情報: 東京 : 岩波書店, 1994.6  xix, 228p ; 23cm
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 4
所蔵情報: loading…
24.

図書

図書
中川裕志著
出版情報: 東京 : 朝倉書店, 1996.4  vii, 203p ; 22cm
シリーズ名: 朝倉電気・電子工学講座 ; 17
所蔵情報: loading…
25.

図書

図書
萩谷昌己 [著]
出版情報: 東京 : 岩波書店, 1994.1  xvii, 220p ; 23cm
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11
所蔵情報: loading…
26.

図書

図書
井田哲雄 [著]
出版情報: 東京 : 岩波書店, 1991.3  xix, 386p ; 23cm
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 12
所蔵情報: loading…
27.

図書

東工大
目次DB

図書
東工大
目次DB
太田和夫, 黒澤馨, 渡辺治著
出版情報: 東京 : 講談社, 1995.2  232p ; 18cm
シリーズ名: ブルーバックス ; B-1055
所蔵情報: loading…
目次情報: 続きを見る
   はじめに 5
第1章 情報セキュリティって何? 11
   1.1 情報セキュリティ=情報交換の安全性 12
   1.2 暗号だけが情報セキュリティじゃない! 16
第2章 マジック・プロトコルへの招待 25
   2.1 電話でコイン投げ 27
   2.2 いろいろなマジック・プロトコル 39
   (コーヒー・ブレイク)マジック・プロトコルの先駆者たち 54
第3章 一方向関数入門 57
   3.1 一方向関数って何? 58
   (コーヒー・ブレイク)P≠NP予想 72
   3.2 一方向関数とマジック・プロトコル 74
第4章 公開鍵暗号方式 89
   4.1 従来型の暗号方式 90
   (コーヒー・ブレイク)最新暗号事情 103
   4.2 公開鍵暗号方式の考え方 105
   4.3 公開鍵暗号方式の実際 117
   (コーヒー・ブレイク)素因数分解の計算方法とむずかしさ 124
   4.4 公開鍵暗号方式の代表例:RSA暗号方式 125
   (コーヒー・ブレイク)RSA破られる!? 141
第5章 デジタル署名と電子印鑑 143
   5.1 デジタル署名の原理 144
   5.2 電子印鑑システム 153
第6章 さまざまなマジック・プロトコル 173
   6.1 金持ち比べ 174
   6.2 電子投票システム 186
   6.3 ゼロ知識証明 195
   (コーヒー・ブレイク)われら理論計算機科学者 206
   おわりに 210
   付録 214
   1.読者への挑戦の回答 214
   2.素数判定法 219
   3.冪(べき)乗計算法 222
   4.ユークリッドの互除法 224
   5.参考文献 227
   索引 230
   はじめに 5
第1章 情報セキュリティって何? 11
   1.1 情報セキュリティ=情報交換の安全性 12
28.

図書

図書
佐々木良一, 矢島敬士著
出版情報: 東京 : 日本理工出版会, 1999.12  vi, 154p ; 26cm
所蔵情報: loading…
29.

図書

図書
D.E. トーマス, P.R. モアビー共著 ; 飯塚哲哉, 浅田邦博共訳
出版情報: 東京 : 培風館, 1995.6  xiii, 268p ; 22cm
所蔵情報: loading…
30.

図書

図書
富田眞治著
出版情報: 東京 : 昭晃堂, 1996.8  2, 5, 339p ; 22cm
所蔵情報: loading…
31.

図書

図書
竹田仁, 浜田直道, 福田千代子著
出版情報: 東京 : 日本理工出版会, 1997.5  ix, 368p ; 26cm
所蔵情報: loading…
32.

図書

図書
西野哲朗著
出版情報: 東京 : 東京電機大学出版局, 1997.3  vi, 144p ; 22cm
シリーズ名: 情報科学
所蔵情報: loading…
33.

図書

東工大
目次DB

図書
東工大
目次DB
南谷崇著
出版情報: 東京 : オーム社, 1991.2  xi, 272p ; 22cm
シリーズ名: コンピュータアーキテクチャシリーズ / コンピュータシステム研究専門委員会監修 ; 電子情報通信学会編
所蔵情報: loading…
目次情報: 続きを見る
1章 フォールトトレランスの基礎概念
   1.1 フォールトトレランスとは 1
   1.2 フォールトモデル 5
   1.3 フォールトトレランスの評価尺度 10
   1.4 応用分野 21
   1.5 フォールトトレランスの基本原理 24
   参考文献 28
2章 誤り検出方式
   2.1 二重化方式 31
   2.2 誤り検出符合 33
   2.3 ウォッチドッグプロセッサ 44
   参考文献 50
3章 セルフチェッキング論理
   3.1 セルフチェッキングの基本概念 53
   3.2 セルフチェッキングチェッカ 58
   3.3 セルフチェッキング組合せ回路 78
   3.4 セルフチェッキング順序回路 92
   3.5 セルフチェッキングプロセッサ 96
   参考文献 116
4章 故障マスク方式
   4.1 多重化/多数決による方法 121
   4.2 誤り訂正符合を用いる方法 127
   4.3 故障マスク論理 134
   参考文献 141
5章 システム再構成/回復技術
   5.1 動的二重化 143
   5.2 動的冗長システム 146
   5.3 漸次縮退システム 154
   5.4 時間冗長 155
   5.5 システム回復 160
   参考文献 164
6章 フォールトトレランスシステムの実際
   6.1 高アベイラビリティシステム 167
   6.2 長寿命システム 178
   6.3 高信頼度システム 186
   参考文献 194
7章 ウェーハスケールアーキテクチャ
   7.1 再構成技術 199
   7.2 再構成可能アーキテクチャ 200
   7.3 配線長/配線面積の理論的上限 203
   7.4 再構成アルゴリズム 208
   7.5 今後の課題 217
   参考文献 218
8章 分散システムのフォールトトレランス
   8.1 分散システムの問題 222
   8.2 クロック同期 224
   8.3 ビザンチン合意 230
   8.4 一貫性制御(原子動作の実現) 236
   参考文献 248
9章 設計のフォールトトレランス
   9.1 設計フォールト 251
   9.2 設計分散 254
   9.3 フォールトトレランスの実現と検証 259
   参考文献 262
全般的な参考書 265
索引 267
1章 フォールトトレランスの基礎概念
   1.1 フォールトトレランスとは 1
   1.2 フォールトモデル 5
34.

図書

図書
当麻喜弘編著 ; 電子情報通信学会編
出版情報: 東京 : 電子情報通信学会, 1990.6  8, 305p ; 22cm
所蔵情報: loading…
35.

図書

図書
当麻喜弘, 南谷崇, 藤原秀雄共著
出版情報: 東京 : 槇書店, 1991.3  2, 4, 285p ; 22cm
所蔵情報: loading…
36.

図書

図書
富田眞治, 中島浩共著
出版情報: 東京 : 昭晃堂, 1995.10  2, ii, 254p ; 22cm
シリーズ名: 情報系教科書シリーズ ; 第6巻
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼