256

索引 Agda ................................................... 234 Alloy ................................................... 232 Bandera.............................................. 234 CafeOBJ ............................................. 234 CBMC ................................................. 233 Coq ..................................................... 233 CTL .................................................... 235 ESC/JAVA2 ........................................ 233 FDR2 .................................................. 232 FMEA ................................................... 50 FTA ....................................................... 50 HAZOP ................................................. 50 JavaPathfinder .................................. 233 LOTOS ............................................... 234 LTL ..................................................... 235 PVS ..................................................... 231 SAL ..................................................... 232 Z ........................................................ 235 安全性 ................................................... 52 Event-B ................................................ 66 UPPAAL ............................................... 65 機能要求 ............................................... 46 脅威 ....................................................... 49 形式手法 ................................................. 5 形式仕様記述言語 ................................... 5 欠陥予防開発プロセス.......................... 39 顕在化損失 ............................................ 31 CIO ......................................................... ii CTO ........................................................ ii 仕様 ....................................................... 54

障害の発生可能性 ................................. 29 障害発生時の損害規模 ......................... 29 情報セキュリティ経済学 ...................... 32 信頼性 ................................................... 52 SCADE ................................................. 65 SPIN ..................................................... 64 設計仕様 ............................................... 54 絶対安全 ............................................... 31 潜在化損失 ............................................ 31 ソフトウェアの信頼性 ......................... 47 ソフトウェアの品質 ............................. 47 損害リスク ............................................ 28 ディペンダビリティ ............................. 48 ディペンダビリティ対策 ...................... 50 テスト中心プロセス ............................. 39 NuSMV ................................................ 64 B .......................................................... 66 非機能要求 ............................................ 46 VMM .................................................... 25 VDM++ ................................................. 67 フォーマルメソッド ............................... 5 フォーマルメソッドの適用レベル ......... 7 フロントローディング .......................... 11 無形資産 ............................................... 33 モデルベース開発 ................................. 50 要求 ....................................................... 54 要求仕様 ............................................... 54 要件定義書 ............................................ 54