19.ビジネス分野における業務要件の形式的検証技術(<特集>情報処理技術の未来地図,50周年記念特集号)
スポンサーリンク
概要
- 論文の詳細を見る
- 2010-05-15
著者
関連論文
- 19.ビジネス分野における業務要件の形式的検証技術(情報処理技術の未来地図,50周年記念特集号)
- ソフトウェア設計におけるデザインパターン誤適用のパターン化
- LB-3 オブジェクト指向入門教育における逸脱パターンの提示による効果(B. ソフトウェア)
- ソフトウェアパターンの適用における逸脱パターンの提案
- オフショア・ソフトウェア開発向けのシステムズ・アプローチ
- 4H-9 DVDライブラリアレイ装置の開発(2) : ソフトウェア・アーキテクチャ
- 4H-8 DVDライブラリアレイ装置の開発(1) : 開発コンセプトと信頼性に対する考察
- 業務特化型設計開発環境構築基盤の提案(モデルベース開発)
- 業務特化型設計開発環境構築基盤の提案(モデルベース開発)
- 情報制御システムの再利用型開発方法
- 情報制御システムの再利用型機能仕様書生成ツールの提案
- 大規模並行開発での運用を考慮した成果物間整合保証方式の提案(開発プロセス)
- 要求のパタン化による要求獲得手法の研究
- タスクの順序に基づくビジネスプロセスの検証方法の提案(一般)
- 実行可能な画面プロトタイプによる業務システム開発手法の提案
- 実行時情報に基づくWebアプリケーション可視化手法
- メタモデル上でのルール定義に基づく多ドメイン展開可能な依存関係抽出技術
- メタモデル上でのルール定義に基づく多ドメイン展開可能な依存関係抽出技術