橋本 正明 | Atr通信システム研究所通信ソフトウェア研究室
スポンサーリンク
概要
関連著者
-
橋本 正明
Atr通信システム研究所通信ソフトウェア研究室
-
橋本 正明
ATR通信システム研究所
-
岡本 克己
Atr通信システム研究所 住友金属工業(株)
-
佐藤 正和
Atr通信システム研究所
-
竹中 豊文
Atr通信システム研究所
-
門田 充弘
Atr通信システム研究所
-
岡本 克己
ATR通信システム研究所
-
中島 俊介
ATR通信システム研究所
-
橋本 正明
(株)ATR通信システム研究所
-
横田 和久
横河・ヒューレット・パッカード株式会社アジアパシフィックプロダクト開発本部システム環境開発部
-
伊吹 公夫
東京工科大学
-
岡本 克己
住友金属工業(株)
-
寺島 信義
Atr通信システム研
-
横田 和久
ATR通信システム研究所
-
横田 和久
AIR通信システム研究所
-
橋本 正明
AIR通信システム研究所
-
岡本 克巳
AIR通信システム研究所
-
佐藤 正和
AIR通信システム研究所
-
竹中 豊文
AIR通信システム研究所
著作論文
- ERモデル+制約を用いた対象世界の記述による高次部品化について
- partialな状態による呼処理の仕様記述
- リアルタイム・ソフトウェア仕様の時間に関する一考察
- プランナーと要求定義
- 概念データモデルに基づくプログラム仕様記述言語の実時間処理への拡張
- 入出力データの構造不一致検出解決法に関する実験
- 高次部品化における概念辞書の構造
- ヒューリスティックなカットセット解析によるPSDLコンパイラの処理ネック解決
- 概念モデル上のカーディナリティに着目した仕様の洗練化
- E-Rモデルと制約に基づく仕様部品の合成と制約論理プログラムへの変換
- E-R モデルを用いた視覚的プログラミング言語 : PSDL-GR とその一実現法
- 非手続き型言語と入出力データの構造不一致
- プログラム仕様記述法PSDMを用いたプログラム量産方式の提案