スポンサーリンク
独立行政法人 情報処理推進機構 ソフトウェア・エンジニアリング・センター | 論文
- 独立検証及び妥当性確認と形式手法がもたらすソフトウェア開発プロセスの高信頼化
- ビジネス・プロセス改善領域
- 実践活用へ向けて活発化するSECの『定量的アプローチ』
- SEC成果の普及
- Eメールアーカイブのクラスタリングによる開発コンテキストの可視化
- 安全性向上への要求工学の貢献の可能性
- 事故前提社会に向けたユーザ・ベンダ間での開発データ共有 第2回 : −ソフトウェアタグ規格とソフトウェアタグ支援ツール−
- 組込みソフトウェア・エンジニアリング領域