形式手法・モデルベース開発技術の推進
スポンサーリンク
概要
著者
関連論文
- モデルベース開発技術による信頼性向上にむけて
- 新たな技術動向等に対応したソフトウェアエンジニアリング手法
- 形式手法・モデルベース開発技術の推進
- ソフトウェアの品質保証とテスト
- 続 米国主要機関の取り組み状況から見た統合システムのディペンダビリティ確保に向けたエンジニアリング的課題について
- ビジネス・プロセス改善領域
- ソフトウェアの高信頼化手法の実践にむけて
- 統合系
- 高信頼ソフトウェア領域
- NASSCOM Quality Summit 2008参加報告