フォーマルメソッド:分散開発への応用例
スポンサーリンク
概要
- 論文の詳細を見る
フォーマルメソッド ??????????????????????????? は高信頼ソフトウェア ?????????????? を開発するための方法論として有効であるが、多くの場合、信頼性を得るよりも高いコストを要求する。そのため、フォーマルメソッドの適用においては、適用範囲と適用時の効果を明確にする必要がある。本稿では、アプリケーション開発に対して、フォーマルメソッドを適用することにより、効果的な適用方法について分析する。
- 2009-06-25