太田 理 | ATR通信システム研究所
スポンサーリンク
概要
関連著者
-
太田 理
ATR通信システム研究所
-
田倉 昭
ATR通信システム研究所
-
田倉 昭
十文字学園女子大学
-
小林 吉純
Atr通信システム研究所:ntt情報通信研究所
-
高見 一正
創価大学大学院工学研究科情報システム工学専攻
-
高見 一正
日本電信電話株式会社NTTサービスインテグレーション基盤研究所
-
小林 吉純
ATR通信システム研究所
-
高見 一正
創価大学工学部情報システム工学科
-
高見 一正
ATR通信システム研究所
-
上田 佳寛
沖電気工業株式会社
-
河原崎 裕朗
(株)エイ・ティ・アール通信システム研究所
-
河原崎 裕朗
Atr通信システム研
-
河原崎 裕朗
Atr通信システム研究所
-
河原崎 裕朗
Nttソフトウエア株式会社
-
上田 佳寛
Atr通信システム研究所
-
太田 理
創価大学大学院工学研究科情報システム工学専攻
-
榎木 浩
ATR通信システム研究所
-
安達 久人
ATR通信システム研究所
-
安達 久人
Atr通信システム研究所通信ソフトウェア研究室
-
榎木 浩
Atr通信システム研究所:富士通関西通信システム(株)
-
原田 良雄
ATR通信システム研究所
-
世良 孝文
Atr通信システム研究所:nec C&c基盤開発研究所
-
若林 学
Atr通信システム研究所
-
和田 隆
Atr通信システム研究所
-
太田 理
創価大学大学院工学研究科
-
寺島 信義
Atr通信システム研
-
寺島 信義
早稲田大学
-
張 遷仁
山一情報システム
-
田倉 昭
ATR・通信システム研究所
-
太田 理
ATR・通信システム研究所
-
張 遷仁
ATR通信システム研究所
-
高見 一正
NTTネットワークサービスシステム研究所
-
井上 泰彰
ATR通信システム研究所通信ソフトウェア研究室
-
浜田 雅樹
ATR通信システム研究所
-
力石 徹也
Atr通信システム研究所
-
浜田 雅樹
Atr通信システム研究所通信ソフトウェア研究室 Nttソフトウェア研究所ソフトウ
-
下村 隆夫
Atr通信システム研究所
-
沖 也寸志
ATR通信システム研究所
-
近藤 良樹
ATR通信システム研究所
-
佐藤 正和
Atr通信システム研究所
-
門田 充弘
Ntt交換システム研究所
-
和佐野 哲男
NTT情報通信網研究所
-
小林 吉純
NTT情報通信網研究所
-
大久保 利一
NTT交換システム研究所
-
河田 慶三
Atr通信システム研究所
-
柴田 健次
Atr通信システム研究所
-
横田 和久
ATR通信システム研究所
-
中村 光宏
エイティアール通信システム研究所
-
中村 光宏
ATR通信システム研究所
-
小林 吉純
Ntt情報通信研究所
-
和佐野 哲男
(株)国際電気通信基礎技術研究所
-
原田 英二
Atr通信システム研究所
-
鶴亀 崇昭
ATR通信システム研究所
-
横田 和久
横河・ヒューレット・パッカード株式会社アジアパシフィックプロダクト開発本部システム環境開発部
-
深山 尚
ATR通信システム研究所
著作論文
- マルチベンダ指向リアルタイムソフトウェアプラットフォーム
- 通信サービスの視覚的な要求仕様化支援法
- サービス競合における異常な状態への遷移の検出法
- 通信サービス相互作用に含まれる意味的矛盾動作検出方式
- 通信サービス仕様記述支援のためのデータベース構成法
- 非専門家を対象としたサービス仕様記述支援法
- 通信サービス概念モデルの応用に関する一考察
- 通信サービス動作の修正影響解析支援方法
- 通信サービスの概念モデルの一考察
- 通信サービス仕様記述支援におけるガイダンス手法の一考察
- 通信サービス仕様間の矛盾の自動検出法
- 通信サービス課金仕様競合検出方式
- 通信サーピス課金仕様競合検出方式
- 連結グラフを考慮するコンカレントシステムの状態生成手法
- サービス仕様検証法の一考察 : サービス競合検出法の効率化
- 離散事象システムにおける可達集合の高速検証方式
- 通信システムサービス仕様における正当性検出と解消方式
- 通信システムサービス仕様におけるデッドロック検出方式(グラフ,ネットワークとアルゴリズムおよび一般)
- 通信サービス要求記述の静的解析手法
- プロダクションシステムにおける詳細優先方式による競合解消戦略の静的解析手法
- 通信サービスに対する要求理解に関する一検討率
- 概念データモデルで記述された仕様の関数型言語への変換
- 通信サービス仕様生成における要求理解に関する一考察
- 宣言型通信サービス仕様記述言語からSDLへの変換法
- 規則形式の通信サービス仕様からのプロトコル合成
- 通信ソフトウェア自動生成のためのプロトコル整合に関する一考察
- 機能分散モデルのアーキテクチャ配置の考察
- 二段階通信サービス仕様記述とプログラム仕様への自動変換
- グラフ表現可能な通信サービス仕様からソフトウェア仕様への変換法について
- 機能分散モデルのためのソフトウェア構成に関する一考察
- 機能分散モデルにおけるサービス機能展開の考察
- 端末動作記述によるサービス仕様記述の機能分散モデルへの展開
- サービス非依存な競合回避機能を有するプロトコル合成法
- 通信サービス記述からプログラム仕様への自動変換と最適化
- 異常な状態への遷移の検証手法 : 競合検出精度の向上手法の提案
- プロダクションルールに基づく通信サービス仕様記述法 : 条件判定記述についての一考察
- オントロジーによる通信サービス要求定義手法
- 通信サービス開発へのオントロジーの導入
- 属性操作による通信サービスの発想支援
- ネットワークサービス概念体系に基づく要求記述の意味理解
- 事例からの新しい通信サービスの導出
- 事例ベース推論に基づく通信サービス要求獲得手法
- ドキュメントと概念の対応管理に基づくドキュメント保守支援
- 概念構造を利用したドキュメント保守支援方式
- 非専門家を対象とした仕様記述支援法
- サービス競合検出法の一考察
- 通信サービスの意味的競合の検出 : 非決定性によるサービス競合検出の拡張
- 仕様記述時のサービス競合検出手法の評価
- プログラムスライシングに基づくソフトウェア独立改造方式
- 改造に伴う影響を除去するソフトウェア独立改造方式
- ソフトウェア修正支援を目的とした設計プロセスの獲得支援方式
- 設計情報再利用支援における事例提示方式
- ソフトウェア修正支援を目的とした設計プロセスの獲得支援方式 : 設計目標提示方式
- 概念モデルに基づく通信サービス仕様記述法