竹中 豊文 | Atr通信システム研究所
スポンサーリンク
概要
関連著者
-
竹中 豊文
Atr通信システム研究所
-
平川 豊
ATR通信システム研究所
-
平川 豊
電気電子情報工学専攻画像情報処理研究
-
橋本 正明
Atr通信システム研究所通信ソフトウェア研究室
-
佐藤 正和
Atr通信システム研究所
-
橋本 正明
ATR通信システム研究所
-
原田 良雄
ATR通信システム研究所
-
浜田 雅樹
Atr通信システム研究所通信ソフトウェア研究室 Nttソフトウェア研究所ソフトウ
-
横田 和久
横河・ヒューレット・パッカード株式会社アジアパシフィックプロダクト開発本部システム環境開発部
-
門田 充弘
Atr通信システム研究所
-
岡本 克己
ATR通信システム研究所
-
岡本 克己
Atr通信システム研究所 住友金属工業(株)
-
河田 慶三
Atr通信システム研究所
-
柴田 健次
Atr通信システム研究所
-
浜田 雅樹
ATR通信システム研究所
-
横田 和久
ATR通信システム研究所
-
浜田 雅樹
(株)ATR通信システム研究所
-
竹中 豊文
(株)ATR通信システム研究所
-
横田 和久
AIR通信システム研究所
-
橋本 正明
AIR通信システム研究所
-
岡本 克巳
AIR通信システム研究所
-
佐藤 正和
AIR通信システム研究所
-
竹中 豊文
AIR通信システム研究所
-
全 明康
ATR通信システム研究所
著作論文
- サービス仕様の自動生成に関する考察
- 高次部品化における概念辞書の構造
- 仕様化支援方式に関する研究
- ヒューリスティックなカットセット解析によるPSDLコンパイラの処理ネック解決
- 設計履歴を利用したソフトウェア設計・保守支援方式
- 概念モデル上のカーディナリティに着目した仕様の洗練化
- E-Rモデルと制約に基づく仕様部品の合成と制約論理プログラムへの変換
- 図が表す概念の構造化とその効用
- サービス記述検証支援システム
- 分散システムの記述とプロセス動作
- プロセス数に依存しない動作記述における状態の到達可能性解析
- サービス仕様の自動生成に関する考察 : 自動生成機構の構想
- 広帯域パケット交換におけるパケット転送方式 (広帯域ネットワ-ク特集) -- (制御・プロトコル)