close
1.

図書
図書
1. ニューラルコンピュータ : 統計物理学からのアプローチ
J. ハーツ, A. クロー, R. G. パルマー著 ; 笹川辰弥, 呉勇訳
出版情報: 東京 : トッパン, 1994.5  xv, 386p ; 21cm
シリーズ名: アジソンウェスレイ・トッパン情報科学シリーズ ; 41
所蔵情報: loading…
2.

図書
図書
2. 新データベース論 : 関係から演繹・オブジェクト指向へ
横田一正, 宮崎収兄著
出版情報: 東京 : 共立出版, 1994.7  ix, 225p ; 22cm
シリーズ名: 計算機科学/ソフトウェア技術講座 / 廣瀬健 [ほか] 編 ; 4
所蔵情報: loading…
3.

図書
図書
3. スーパーパソコンの時代
石田晴久著
出版情報: 東京 : 岩波書店, 1994.2  vi, 112p ; 19cm
シリーズ名: 岩波科学ライブラリー ; 9
所蔵情報: loading…
4.

図書
図書
4. コンピュータ・アーキテクチャ : 設計・実現・評価の定量的アプローチ (: 新装版)
David A. Patterson, John L. Hennessy著 ; 富田眞治, 村上和彰, 新實治男訳
出版情報: [東京] : 日経BP社 , 東京 : 日経BP出版センター (発売), 1994.2  xxiv, 773p ; 27cm
所蔵情報: loading…
5.

図書
図書
5. 並列処理・分散処理
永田元康著
出版情報: 東京 : コロナ社, 1994.3  vi, 156p ; 22cm
所蔵情報: loading…
6.

図書
図書
6. 設計言語Verilog-HDL入門
D.E. トーマス, P.R. モアビー共著 ; 飯塚哲哉, 浅田邦博共訳
出版情報: 東京 : 培風館, 1995.6  xiii, 268p ; 22cm
所蔵情報: loading…
7.

図書

東工大
目次DB
図書
東工大
目次DB
7. ソフトウェア病理学 : システム開発・保守の手引
Capers Jones著 ; 島崎恭一, 富野壽監訳
出版情報: 東京 : 構造計画研究所 , 東京 : 共立出版 (発売), 1995.8  xxiii, 627p ; 27cm
所蔵情報: loading…
目次情報: 続きを見る
1 序論 1
2 よくあるソフトウェア開発上のリスク 27
3 深刻なソフトウェア開発上のリスク 45
4 あいまいな改善目標 62
5 不自然な成熟度レベル 70
6 プロジェクトの中止 77
7 企業内の政治抗争 83
8 コストの超過 88
9 徐々に増大するユーザ要求 94
10 狭いオフィス環境 101
11 欠陥多発モジュール 106
12 過大な文書化作業 112
13 過酷なスケジュール 120
14 出荷時期の遅れ 126
15 生産性の誇大宣伝 133
16 顧客と受託開発企業の軋轢 139
17 ソフトウェア管理者と経営者の軋轢 146
18 高い保守コスト 150
19 不正確なコスト見積 160
20 不正確な尺度 172
21 不正確な品質見積 181
22 不正確な規模見積 187
23 不適切なアセスメント 193
24 不適切な報酬制度 203
25 不適切な構成管理 209
26 不適切な技術教育者 218
27 不適切な管理者教育 225
28 不適切な計測 234
29 不適切なパッケージ入手法 242
30 不適切な資料調査環境 250
31 不適切な規格 255
32 不適切なプロジェクトリスク分析 262
33 不適切な価値分析 268
34 不適切な管理ツールと手法 277
35 不適切な品質保証ツールと手法 292
36 不適切なソフトウェア工学ツールと手法 306
37 不適切な技術文書作成ツールと手法 320
38 再利用性の低いシステム構成 330
39 再利用性の低いプログラム 339
40 再利用性の低いデータ 347
41 再利用性の低い設計 358
42 再利用性の低い文書 366
43 再利用性の低い見積 376
44 再利用性の低いヒューマンインターフェース 389
45 再利用性の低いプロジェクト計画 397
46 再利用性の低い要求仕様 404
46 再利用性の低いテスト 412
48 専門分化の不足 420
49 老朽化システムの保守 430
50 低生産性 437
51 低品質 444
52 ソフトウェア従事者の低いステータス 454
53 低い顧客満足度 460
54 管理者の不当行為 466
55 技術者の不当行為 473
56 スケジュールの遅れ 479
57 不完全なソフトウェアライフサイクルの使用 485
58 弱体な組織 499
59 拙劣な技術投資 507
60 過酷なレイオフや解雇 516
61 性急な改善計画 525
62 銀の弾丸(特効薬)症候群 536
63 進まない技術転移 544
ソフトウェア開発のアセスメントと管理の用語集 552
1 序論 1
2 よくあるソフトウェア開発上のリスク 27
3 深刻なソフトウェア開発上のリスク 45
8.

図書
図書
8. 計算機アーキテクチャと構成方式
中澤喜三郎著
出版情報: 東京 : 朝倉書店, 1995.11  xi, 570p ; 22cm
所蔵情報: loading…
9.

図書
図書
9. スーパーコンピューターと科学 : CGが描く先端科学の世界
ウィリアム J. カウフマン, ラリー L. スマール著 ; 早野龍五, 高橋忠幸訳
出版情報: 東京 : 日経サイエンス社 , 東京 : 日本経済新聞社 (発売), 1994.10  222p ; 26cm
所蔵情報: loading…
10.

図書
図書
10. コンピュータアーキテクチャの基礎
柴山潔著
出版情報: 東京 : 近代科学社, 1993.3  ix, 337p ; 21cm
所蔵情報: loading…
11.

図書
図書
11. FAコンピュータ活用マニュアル
省力と自動化編集部編
出版情報: 東京 : オーム社, 1990.5  154p ; 26cm
所蔵情報: loading…
12.

図書
図書
12. 物書きがコンピュータに出会うとき : 思考のためのマシン
奥出直人著
出版情報: 東京 : 河出書房新社, 1990.3  253p ; 20cm
所蔵情報: loading…
13.

図書
図書
13. 酔談計算機文化考 : The BASIC誌連載「バークレイ通信」総集編
吉田弘一郎著
出版情報: 東京 : 技術評論社, 1990.5  287p ; 19cm
所蔵情報: loading…
14.

図書
図書
14. 新しい計算機アーキテクチャ
飯塚肇編 ; 阿江忠 [ほか] 共著
出版情報: 東京 : 丸善, 1990.6  xiv, 286p ; 22cm
シリーズ名: Maruzen advanced technology / 菅野卓雄 [ほか] 編集 ; 電子・情報・通信編 ; I06
所蔵情報: loading…
15.

図書
図書
15. ワークステーション
前川守編 ; 平川正人, 若林真一共著
出版情報: 東京 : 丸善, 1990.2  x, 259p ; 22cm
シリーズ名: Maruzen advanced technology / 菅野卓雄 [ほか] 編集 ; 電子・情報・通信編 ; I03
所蔵情報: loading…
16.

図書
図書
16. UNIX詳説. 改訂2版 (基礎編)
井田昌之, 田中啓介共著
出版情報: 東京 : 丸善, 1990.3  x, 283p ; 22cm
シリーズ名: ワークステーションシリーズ
所蔵情報: loading…
17.

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

図書
図書
18. オペレーティングシステムの基礎. 第3回修正
亀田壽夫著
出版情報: 東京 : 昭晃堂, 1990.7  178p ; 22cm
シリーズ名: ソフトウェア講座 ; 2
所蔵情報: loading…
19.

図書
図書
19. フォールトトレラントシステムの構成と設計
当麻喜弘, 南谷崇, 藤原秀雄共著
出版情報: 東京 : 槇書店, 1991.3  2, 4, 285p ; 22cm
所蔵情報: loading…
20.

図書
図書
20. アラン・ケイ
Alan Curtis Kay著 ; 鶴岡雄二翻訳 ; 浜野保樹監修
出版情報: 東京 : アスキー, 1992.3  230p, 図版[2]p ; 20cm
シリーズ名: ASCII books
所蔵情報: loading…
21.

図書
図書
21. コンピュータ・アーキテクチャとRISC
奥川峻史著
出版情報: 東京 : 共立出版, 1992.10  ix,147p ; 22cm
所蔵情報: loading…
22.

図書
図書
22. SPARCアーキテクチャ・マニュアルバージョン8
SPARC International, Inc. 著 ; 相越克久, 田中長光訳 ; 多田好克監訳
出版情報: 東京 : トッパン, 1992.11  382p ; 24cm
所蔵情報: loading…
23.

図書

東工大
目次DB
図書
東工大
目次DB
23. フォールトトレラントコンピュータ
南谷崇著
出版情報: 東京 : オーム社, 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
24.

図書
図書
24. 情報科学入門 : 教養としてのコンピュータ. 新版
佐々木良一, 矢島敬士著
出版情報: 東京 : 日本理工出版会, 1999.12  vi, 154p ; 26cm
所蔵情報: loading…
25.

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

図書

東工大
目次DB
図書
東工大
目次DB
26. ソフトウェア品質のガイドライン
Capers Jones著
出版情報: 東京 : 構造計画研究所 , 東京 : 共立出版 (発売), 1999.4  xvi, 388p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
はじめに 1
ソフトウェアの品質に影響を与える36の要因 5
   1. 高いソフトウェア品質レベルの達成 15
   2. 能動的,受動的,名目的ソフトウェア品質組織 34
   3. 報告された欠陥のエージング 39
   4. 誤修正 42
   5. 誤ったテストケース 44
   6. Baldrige賞 48
   7. ソフトウェア品質計測の障壁 50
   8. ベストインクラスの品質結果 53
   9. ソフトウェア品質改善のケーススタディ 55
   10. ソフトウェア欠陥の種類 69
   11. ソフトウェア品質要員の認証 84
   12. クリーンルーム開発 85
   13. クライアント/サーバの品質 91
   14. ソフトウェア品質要員の報酬レベル 95
   15. 複雑度分析および測定 97
   16. 構成管理 105
   17. コスト見積とソフトウェア品質 108
   18. 品質コスト 116
   19. 欠陥あたりのコスト 119
   20. 徐々に増大するユーザ要求とソフトウェア品質 124
   21. ソフトウェア品質の米国平均の現状 127
   22. データ品質とデータ尺度 131
   23. 顧客およびユーザによる欠陥発見率 133
   24. 欠陥予防手法 134
   25. 欠陥予防および欠陥除去における産業間差異 137
   26. 欠陥除去率 140
   27. 欠陥修復率 147
   28. 欠陥の埋込み 150
   29. 欠陥重度レベル 152
   30. 欠陥追跡 153
   31. デミング賞 156
   32. ソフトウェア品質要員の人口調査 157
   33. DoD品質標準 159
   34. ダウンサイジングとソフトウェア品質 159
   35. ソフトウェア品質の経済的および競合的価値 159
   36. 欠陥多発モジュール 162
   37. ヨーロッパのソフトウェア品質イニシアティブ 164
   38. 正規の設計およびコードインスペクション 175
   39. ファンクションポイント尺度とソフトウェア品質 180
   40. ファンクションポイントによるソフトウェア品質見積の概算 194
   41. ソフトウェア品質データの欠落 197
   42. 世界的な品質レベル 198
   43. 「十分に良い」品質の誤謬 201
   44. 大規模なベータテスト 206
   45. IEEE品質標準 207
   46. ISO9001-9004の認証 209
   47. 日本のソフトウェア品質アプローチ 214
   48. ジョイントアプリケーション設計(JAD) 222
   49. キビアートグラフ 225
   50. Microsoftの品質手法 226
   51. 複数リリースの品質測定 232
   52. オブジェクト指向の品質レベル 235
   53. 直交欠陥報告(ODR) 245
   54. アウトソーシングと受託ソフトウェアの品質レベル 246
   55. プロジェクト管理とソフトウェア品質 255
   56. プロトタイピングとソフトウェア品質 260
   57. 品質保証部門 267
   58. 品質保証ツール量 271
   59. 品質定義 278
   60. 品質見積ツール 283
   61. 訴訟および保証にかかわる品質要因 285
   62. 品質機能展開(QFD) 287
   63. 品質後進企業 289
   64. 品質計測 291
   65. ラピッドアプリケーション開発(RAD)とソフトウェア品質 296
   66. 信頼性とソフトウェア品質 300
   67. 再利用性とソフトウェア品質 302
   68. リスク分析計画とソフトウェア品質 320
   69. スケジュールプレッシャとソフトウェア品質 322
   70. SEIの成熟度モデルとソフトウェア品質 326
   71. 6シグマ品質レベル 341
   72. テスト 342
   73. 総合的品質管理(TQM) 367
   74. 利用性研究室 368
   75. 顧客満足度 369
   76. 2000年問題 372
   要約および結論 373
文献 375
索引 381
訳者紹介 387
はじめに 1
ソフトウェアの品質に影響を与える36の要因 5
   1. 高いソフトウェア品質レベルの達成 15
27.

図書
図書
27. 理工系情報リテラシー入門
神奈川工科大学電子計算センター編
出版情報: 東京 : 昭晃堂, 1999.4  ix, 223p ; 26cm
所蔵情報: loading…
28.

図書
図書
28. コンピュータ・リテラシー : インターネットを中心にして
青山満, 新田光重共著
出版情報: 東京 : 昭晃堂, 1999.4  ii, iv, 174p ; 26cm
所蔵情報: loading…
29.

図書
図書
29. 情報リテラシー入門. 新版
一瀬益夫編著
出版情報: 東京 : 同友館, 1999.4  xiv, 233p ; 21cm
所蔵情報: loading…
30.

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

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

図書
図書
32. 電子透かし : その技術的・経済的・法的・暗号的・倫理的側面
スコット・モスコウィッツ著 ; 坂本仁訳
出版情報: 東京 : セレンディップ , 東京 : 小学館 (発売), 1999.12  158p ; 22cm
所蔵情報: loading…
33.

図書
図書
33. 痛快!コンピュータ学 : global standard・computer science
坂村健著
出版情報: 東京 : 集英社インターナショナル , 東京 : 集英社 (発売), 1999.11  210p ; 26cm
所蔵情報: loading…
34.

図書
図書
34. コンピュータ/通信/放送標準事典
基盤技術研究促進センター編
出版情報: 東京 : アスキー, 1998.5  xix, 793p ; 26cm
シリーズ名: ポイント図解式
所蔵情報: loading…
35.

図書
図書
35. ネットワーク時代のエンドユーザコンピューティング
大阪産業大学情報科学センター編
出版情報: 東京 : 共立出版, 1998.3  200p ; 21cm
所蔵情報: loading…
36.

図書
図書
36. スーパーコンピュータを創った男 : 世界最速のマシンに賭けたシーモア・クレイの生涯
チャールズ・マーレイ著 ; 小林達監訳
出版情報: 東京 : 廣済堂出版, 1998.4  326p ; 20cm
所蔵情報: loading…
37.

図書
図書
37. デジタル情報化社会の衝撃 : 五年後、私たちの生活はこう変わる
小泉修著
出版情報: 東京 : 太陽企画出版, 1997.8  238p ; 20cm
所蔵情報: loading…
38.

図書
図書
38. プログラマ、石をみがく : ソフトウェア開発の現場から
木下恂著
出版情報: 東京 : 中央公論社, 1998.5  240p ; 19cm
所蔵情報: loading…
39.

図書
図書
39. 思考・表現・コンピュータ : あなたがあなたを救うには
石川博久著
出版情報: 東京 : 現代書館, 1998.6  268p ; 22cm
所蔵情報: loading…
40.

図書
図書
40. 情報学入門 : コンピュータの仕組みと言語
上島紳一, 吉田宣章, 柴田一著
出版情報: 東京 : 朝倉書店, 1998.10  vi, 198p ; 21cm
所蔵情報: loading…
41.

図書
図書
41. 情報リテラシー入門 : 経営・ビジネス・情報ダイナミズム時代のキーワード
佐藤憲正編
出版情報: 東京 : 東洋経済新報社, 1998.11  xii, 249p ; 21cm
所蔵情報: loading…
42.

図書
図書
42. 暗号のすべてがわかる本 : デジタル時代の暗号革命
吹田智章著
出版情報: 東京 : 技術評論社, 1998.7  222p ; 21cm
所蔵情報: loading…
43.

図書
図書
43. 世界にないものを創れ : なんと30年前、世界初の携帯コンピュータが日本で創られていた!! : 日本コカ・コーラ、シャープ、NECによる携帯用コンピュータ開発物語
多田則明著
出版情報: 東京 : コスモトゥーワン, [1998.7]  215p ; 20cm
所蔵情報: loading…
44.

図書
図書
44. ミニマル・トランスレーション : コンピューター・マニュアルの英文和訳
小澤勉著
出版情報: 東京 : バベル・プレス, 1998.5  xiii, 208p ; 21cm
所蔵情報: loading…
45.

図書
図書
45. 新科学対話
竹内郁雄著
出版情報: 東京 : アスキー, 1997.3  238p ; 22cm
所蔵情報: loading…
46.

図書
図書
46. 高度情報社会と人間 : 日常生活・情報・マルチメディア
村上則夫著
出版情報: 京都 : 松籟社, 1997.4  245p ; 20cm
所蔵情報: loading…
47.

図書
図書
47. モバイルコンピューティング入門 : 能率が5倍あがる : どこでも通信どこでも仕事
小泉修著
出版情報: 東京 : 日本実業出版社, 1997.4  229p ; 19cm
所蔵情報: loading…
48.

図書
図書
48. 情報科学とコンピュータ
竹田仁, 浜田直道, 福田千代子著
出版情報: 東京 : 日本理工出版会, 1997.5  ix, 368p ; 26cm
所蔵情報: loading…
49.

図書
図書
49. Neural networks in pattern recognition and their applications
editor, C.H. Chen
出版情報: Singapore : World Scientific, c1991  iii, 159 p. ; 26 cm
所蔵情報: loading…
50.

図書
図書
50. 並列コンピュータ工学
富田眞治著
出版情報: 東京 : 昭晃堂, 1996.8  2, 5, 339p ; 22cm
所蔵情報: loading…
51.

図書
図書
51. インターネット世紀のコンピュータネットワーク暗号システム
菊池豊彦著
出版情報: 東京 : NECクリエイティブ, 1995.12  171p ; 21cm
所蔵情報: loading…
52.

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

図書
図書
53. フォールトトレラントシステム論
当麻喜弘編著 ; 電子情報通信学会編
出版情報: 東京 : 電子情報通信学会, 1990.6  viii, 305p ; 22cm
所蔵情報: loading…
54.

図書
図書
54. ノーベルコンピューティングへの挑戦
相磯秀夫, 甘利俊一著者代表
出版情報: 東京 : 三田出版会, 1990.9  240p ; 20cm
所蔵情報: loading…
55.

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

図書
図書
56. コンピュータ帝国の興亡 : 覇者たちの神話と内幕 (上 ; 下)
ロバート・X・クリンジリー著 ; 薮暁彦訳
出版情報: 東京 : アスキー, 1993.3  2冊 ; 20cm
シリーズ名: ASCII books
所蔵情報: loading…
57.

図書
図書
57. コンピュータハードウェア
富田眞治, 中島浩共著
出版情報: 東京 : 昭晃堂, 1995.10  2, ii, 254p ; 22cm
シリーズ名: 情報系教科書シリーズ ; 第6巻
所蔵情報: loading…
58.

図書
図書
58. インテリジェントコンピューティングへの挑戦
相磯秀夫, 甘利俊一著者代表
出版情報: 東京 : 三田出版会, 1991.9  301p ; 20cm
所蔵情報: loading…
59.

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

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

図書
図書
61. コネクションマシン : 65,536台のプロセッサから構成される超並列コンピュータ
ダニエル・ヒリス著 ; 喜連川優著訳
出版情報: 東京 : パーソナルメディア, 1990.9  271p ; 22cm
所蔵情報: loading…
62.

図書

東工大
目次DB
図書
東工大
目次DB
62. ソフトウェアインスペクション
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
63.

図書
図書
63. 量子コンピュータ入門
西野哲朗著
出版情報: 東京 : 東京電機大学出版局, 1997.3  vi, 144p ; 22cm
シリーズ名: 情報科学
所蔵情報: loading…
64.

図書
図書
64. マイクロプロセッサ
楠菊信著
出版情報: 東京 : 丸善, 1994.12  ix, 186p ; 21cm
シリーズ名: 電気・電子・情報・通信基礎コース
所蔵情報: loading…
65.

図書

東工大
目次DB
図書
東工大
目次DB
65. 情報セキュリティの科学 : マジック・プロトコルへの招待
太田和夫, 黒澤馨, 渡辺治著
出版情報: 東京 : 講談社, 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
66.

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

図書
図書
67. ノンバーバルインタフェース
黒川隆夫著
出版情報: 東京 : オーム社, 1994.2  x, 221p ; 21cm
シリーズ名: ヒューマンコミュニケーション工学シリーズ / 電子情報通信学会編
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼