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