田倉 昭 | ATR通信システム研究所
スポンサーリンク
概要
関連著者
-
田倉 昭
ATR通信システム研究所
-
田倉 昭
十文字学園女子大学
-
太田 理
ATR通信システム研究所
-
上田 佳寛
沖電気工業株式会社
-
上田 佳寛
Atr通信システム研究所
-
世良 孝文
Atr通信システム研究所:nec C&c基盤開発研究所
-
近藤 良樹
ATR通信システム研究所
-
田倉 昭
ATR・通信システム研究所
-
太田 理
ATR・通信システム研究所
-
深山 尚
ATR通信システム研究所
-
佐藤 正和
Atr通信システム研究所
-
太田 理
創価大学大学院工学研究科
-
河田 慶三
Atr通信システム研究所
-
河原崎 裕朗
(株)エイ・ティ・アール通信システム研究所
-
柴田 健次
Atr通信システム研究所
-
河原崎 裕朗
Atr通信システム研
-
河原崎 裕朗
Atr通信システム研究所
-
河原崎 裕朗
Nttソフトウエア株式会社
-
中村 光宏
エイティアール通信システム研究所
-
中村 光宏
ATR通信システム研究所
-
灰塚 凡樹
Atr通信システム研究所
著作論文
- 連結グラフを考慮するコンカレントシステムの状態生成手法
- 離散事象システムにおける可達集合の高速検証方式
- 通信システムサービス仕様における正当性検出と解消方式
- 通信システムサービス仕様におけるデッドロック検出方式(グラフ,ネットワークとアルゴリズムおよび一般)
- 通信サービス要求記述の静的解析手法
- プロダクションシステムにおける詳細優先方式による競合解消戦略の静的解析手法
- 通信サービスに対する要求理解に関する一検討率
- 通信ソフトウェア仕様の検証に関する課題
- 通信サービス仕様生成における要求理解に関する一考察
- 宣言型通信サービス仕様記述言語からSDLへの変換法
- 規則形式の通信サービス仕様からのプロトコル合成
- 通信ソフトウェア自動生成のためのプロトコル整合に関する一考察
- インタフェースの意味対応によるプロトコル整合
- プロダクションルールを用いた通信サービス仕様の詳細化
- 機能分散モデルのアーキテクチャ配置の考察
- 二段階通信サービス仕様記述とプログラム仕様への自動変換
- 任意プロトコル仕様に合わせたネットワーク制御タスク自動配置
- 自動合成プロトコルと標準プロトコルとの整合法に関する一考察
- 通信サービス要求理解に関する一考察
- グラフ表現可能な通信サービス仕様からソフトウェア仕様への変換法について
- 機能分散モデルのためのソフトウェア構成に関する一考察
- 機能分散モデルにおけるサービス機能展開の考察
- 端末動作記述によるサービス仕様記述の機能分散モデルへの展開
- サービス非依存な競合回避機能を有するプロトコル合成法
- 通信サービス記述からプログラム仕様への自動変換と最適化