ソフトウェアの高信頼化手法の実践にむけて
スポンサーリンク
概要
- 論文の詳細を見る
本稿では、統合系プロジェクトの2010年度の活動として、欠陥挿入の抑止、製品の検証と妥当性確認に関する技法として、「形式手法」、「高信頼性のための手法」、「高信頼化ソフトウェアのための開発手法」、「信頼性自己診断ツール」の主な活動成果の概要を紹介する。
著者
関連論文
- モデルベース開発技術による信頼性向上にむけて
- 新たな技術動向等に対応したソフトウェアエンジニアリング手法
- 定量的プロジェクト管理の推進
- 高信頼なソフトウェアの開発・管理に向けて
- 形式手法・モデルベース開発技術の推進
- ソフトウェアの品質保証とテスト
- 続 米国主要機関の取り組み状況から見た統合システムのディペンダビリティ確保に向けたエンジニアリング的課題について
- ビジネス・プロセス改善領域
- ソフトウェアの高信頼化手法の実践にむけて
- 統合系
- 高信頼ソフトウェア領域
- NASSCOM Quality Summit 2008参加報告
- 定量的マネジメント領域
- 要求・アーキテクチャ領域