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