上田 佳寛 | Atr通信システム研究所
スポンサーリンク
概要
関連著者
-
上田 佳寛
沖電気工業株式会社
-
上田 佳寛
Atr通信システム研究所
-
太田 理
ATR通信システム研究所
-
安藤 津芳
沖電気工業(株)
-
安藤 津芳
沖電気工業株式会社
-
田倉 昭
ATR通信システム研究所
-
田倉 昭
十文字学園女子大学
-
鶴岡 亮
沖電気工業株式会社
-
田倉 昭
ATR・通信システム研究所
-
太田 理
ATR・通信システム研究所
-
加藤 尚玄
沖電気工業株式会社
-
長谷川 晴朗
沖電気工業(株)政策調査部
-
菊地 奈穂美
沖電気工業(株)
-
菊地 奈穂美
沖電気工業株式会社
-
河原崎 裕朗
(株)エイ・ティ・アール通信システム研究所
-
河原崎 裕朗
Atr通信システム研
-
河原崎 裕朗
Atr通信システム研究所
-
河原崎 裕朗
Nttソフトウエア株式会社
-
長谷川 晴朗
沖電気工業株式会社
-
長谷川 晴朗
沖電気工業
著作論文
- 連結グラフを考慮するコンカレントシステムの状態生成手法
- サービス仕様検証法の一考察 : サービス競合検出法の効率化
- 離散事象システムにおける可達集合の高速検証方式
- 要求仕様の検証における状態検索の効率化方式
- 通信システムサービス仕様における正当性検出と解消方式
- 通信システムサービス仕様におけるデッドロック検出方式(グラフ,ネットワークとアルゴリズムおよび一般)
- 通信サービス要求記述の静的解析手法
- プロダクションシステムにおける詳細優先方式による競合解消戦略の静的解析手法
- プロダクションシステムで記述された通信ソフトウェア仕様の検証方式の一検討
- 状態遷移指向の仕様検証における状態検索の効率化方式
- マルチエージェント協調プロトコルのコンカレントモデル
- マルチエージェント協調機構のペトリネットによるモデル化の一考察
- インバリアントおよびサイフォンの効率的な検出アルゴリズムについて
- インバリアントおよびサイフォンの効率的な検出アルゴリズムについて
- コンカレントシステムの仕様検証手法
- ソフトウェアメトリックスを導入するソフトウェア開発支援手法
- ソフトウェアメトリックスを利用する統合的開発支援環境の構築法
- ソフトウェアメトリックスを導入する通信ソフトウェア開発支援手法
- コンカレント工学の技術を利用するソフトウェアの計量化についての一考察
- 端末数に非依存となる通信サービスの状態の最大数について
- Coloured Petri Netsに基づいた通信サービス要求仕様化支援