佐藤 正和 | Atr通信システム研究所
スポンサーリンク
概要
関連著者
-
佐藤 正和
Atr通信システム研究所
-
橋本 正明
Atr通信システム研究所通信ソフトウェア研究室
-
竹中 豊文
Atr通信システム研究所
-
橋本 正明
ATR通信システム研究所
-
横田 和久
横河・ヒューレット・パッカード株式会社アジアパシフィックプロダクト開発本部システム環境開発部
-
横田 和久
ATR通信システム研究所
-
太田 理
ATR通信システム研究所
-
寺島 信義
Atr通信システム研
-
河原崎 裕朗
(株)エイ・ティ・アール通信システム研究所
-
小林 吉純
ATR通信システム研究所
-
河原崎 裕朗
Atr通信システム研
-
河原崎 裕朗
Atr通信システム研究所
-
河原崎 裕朗
Nttソフトウエア株式会社
-
横田 和久
AIR通信システム研究所
-
橋本 正明
AIR通信システム研究所
-
岡本 克巳
AIR通信システム研究所
-
佐藤 正和
AIR通信システム研究所
-
竹中 豊文
AIR通信システム研究所
-
田倉 昭
ATR通信システム研究所
-
HASHIMOTO Masaaki
ATR通信システム研究所
-
田倉 昭
十文字学園女子大学
-
小林 吉純
Atr通信システム研究所:ntt情報通信研究所
著作論文
- ヒューリスティックなカットセット解析によるPSDLコンパイラの処理ネック解決
- 概念モデル上のカーディナリティに着目した仕様の洗練化
- E-Rモデルと制約に基づく仕様部品の合成と制約論理プログラムへの変換
- E-R モデルを用いた視覚的プログラミング言語 : PSDL-GR とその一実現法
- 広域状態遷移規則を用いた通信サービス仕様記述における可到達解析
- 通信システム仕様の高速検証方式
- 通信ソフトウェア仕様の検証に関する課題
- 広域状態遷移ルールの述語的解釈による可到達判定
- プロダクションシステムを用いた通信ソフトウェア仕様の可到達解析に関する考察
- 概念データモデルで記述された仕様の関数型言語への変換