高信頼ソフトウェア領域
スポンサーリンク
概要
- 論文の詳細を見る
2009年度の高信頼ソフトウェア領域の活動概要につして、大規模化、複雑化が進む情報システムの開発技術として、欠陥の挿入の抑止から製品の検証と妥当性確認に関する技法及び手法などについて紹介する。
著者
関連論文
- モデルベース開発技術による信頼性向上にむけて
- 新たな技術動向等に対応したソフトウェアエンジニアリング手法
- 形式手法・モデルベース開発技術の推進
- ソフトウェアの品質保証とテスト
- 続 米国主要機関の取り組み状況から見た統合システムのディペンダビリティ確保に向けたエンジニアリング的課題について
- ビジネス・プロセス改善領域
- ソフトウェアの高信頼化手法の実践にむけて
- 統合系
- 高信頼ソフトウェア領域
- NASSCOM Quality Summit 2008参加報告
- 要求・アーキテクチャ領域
- 非ウォーターフォール型開発の現状と課題:非ウォーターフォール型開発に関する調査、及び研究会における検討結果