スポンサーリンク
ATR Spoken Language Translation Research Laboratories | 論文
- 要求工学(第105回)SEMATと保証ケース
- 要求工学(第110回)機能要求の分類
- 要求工学(第106回)Assure 2013の概要
- アーキテクチャ論(28)高保証アーキテクチャ標準O-DA
- 要求工学(第108回)要求に基づくテストの十分性
- シーケンス図に基づくディペンダビリティケース作成法の適用性検討 (知能ソフトウェア工学)
- 運用手順に対するアシュアランスケース作成法の比較評価 (知能ソフトウェア工学)
- 要求工学(第109回)システムの安全検証知識体系
- 非機能要求グレードの大学ポータルサービスへの適用についての考察 (知能ソフトウェア工学)
- アーキテクチャ論(31)ArchiMate2.0
- アーキテクチャ論(29)高保証アーキテクチャ開発法
- SEMATと保証ケースの関係についての考察 (知能ソフトウェア工学)
- 要求工学(第107回)要求の完全性
- ゴール構文表を利用したディペンダビリティケースのゴール分析法について (知能ソフトウェア工学)
- アーキテクチャ論(26)アジャイル開発とアーキテクチャ(2)
- アーキテクチャ論(30)高保証アーキテクチャ開発法(2)
- 要求工学(第104回)SEMATの活用
- D-Caseを利用したゴール分析プロセスの提案(一般・学生)
- 議論分解パターンに基づくディペンダビリティケースの作成実験(一般・学生)