河原崎 裕朗 | Atr通信システム研
スポンサーリンク
概要
関連著者
-
河原崎 裕朗
(株)エイ・ティ・アール通信システム研究所
-
河原崎 裕朗
Atr通信システム研
-
河原崎 裕朗
Atr通信システム研究所
-
河原崎 裕朗
Nttソフトウエア株式会社
-
太田 理
ATR通信システム研究所
-
若林 学
Atr通信システム研究所
-
鶴亀 崇昭
ATR通信システム研究所
-
佐藤 正和
Atr通信システム研究所
-
和田 隆
Atr通信システム研究所
-
太田 理
創価大学大学院工学研究科
-
上田 佳寛
沖電気工業株式会社
-
上田 佳寛
Atr通信システム研究所
-
田倉 昭
ATR通信システム研究所
-
田倉 昭
十文字学園女子大学
-
原田 英二
Atr通信システム研究所
著作論文
- サービス仕様検証法の一考察 : サービス競合検出法の効率化
- 通信ソフトウェア仕様の検証に関する課題
- 異常な状態への遷移の検証手法 : 競合検出精度の向上手法の提案
- プロダクションルールに基づく通信サービス仕様記述法 : 条件判定記述についての一考察
- プロダクションルールに基づくスクリーニングサービス : 仕様記述法の一考察
- 非専門家を対象とした仕様記述支援法
- サービス競合検出法の一考察
- 通信サービスの意味的競合の検出 : 非決定性によるサービス競合検出の拡張
- 仕様記述時のサービス競合検出手法の評価