導入方法
経済産業省「新世代情報セキュリティ研究開発 事業」において作成した「フォーマルメソッド導入ガイダンス」を公開します。(バージョン1.0, 2011年6月)
一括ダウンロード前書き 目次 第１部 意識啓発編 1. フォーマルメソッド応用に関する背景 2. フォーマルメソッドの概要と特徴 3. フォーマルメソッド導入の意義と効果の概要 第２部 マネジメント編 4. 組織へのフォーマルメソッドの導入方法 5. フォーマルメソッド導入のコストと効果の考え方 6. フォーマルメソッドと関連技術の位置づけ 7. 手法の選択方法 第３部 技術編 8. モデリングプロセスの構成と手順 9. モデルの抽象化と状態爆発の対策法 第４部 付録 10. ケーススタディ１：ブルーレイディスク 11. ケーススタディ２：入退室管理システム 12. 応用事例情報 13. 手法の概要および選択法に関する情報 14. ソフトウェア再利用とフォーマルメソッド 15. ソフトウェアの品質に関する計測の重要性 16. モデル検査ツール(SPIN)の使い方等のヒント 17. 関連文献、リンク集 18. フォーマルメソッド導入ガイダンス検討委員会 図表目次 索引