高橋 薫


状態遅延と入力遅延を導入したオートマトンによるディジタル論理とPLCの仕様化
山中 一宏 和泉 諭 加藤 靖 高橋 薫 
誌名:   電子情報通信学会論文誌 D
発行日: 2005/11/01
Vol. J88-D1  No. 11  pp. 1718-1722
論文種別:  レター
専門分野: 
キーワード: 
オートマトンディジタル論理PLC形式仕様
 あらまし | 本文:PDF(111.8KB)

命題論理に基づいた並行システムの制約付き仕様記述
高橋 薫 佐藤 明子 加藤 靖 白鳥 則郎 
誌名:   電子情報通信学会論文誌 D
発行日: 2002/01/01
Vol. J85-D1  No. 1  pp. 91-94
論文種別:  レター
専門分野: 
キーワード: 
並行システム命題論理制約仕様記述
 あらまし | 本文:PDF(104.6KB)

SDL仕様のLOTOSによる解釈
安藤 津芳 太田 正孝 高橋 薫 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/06/25
Vol. J76-D1  No. 6  pp. 300-314
論文種別:  論文
専門分野: ネットワーク
キーワード: 
仕様記述形式的仕様記述技法SDLLOTOS交換サービス
 あらまし | 本文:PDF(1MB)

プロセスの独立性を考慮した通信システムの相互接続試験系列生成法
朴 美娘 岡崎 直宣 太田 正孝 高橋 薫 白鳥 則郎 野口 正一 
誌名:   電子情報通信学会論文誌 B
発行日: 1993/03/25
Vol. J76-B1  No. 3  pp. 264-273
論文種別:  論文
専門分野: 信号方式,通信プロトコル
キーワード: 
試験系列生成相互接続試験システム状態グラフ状態確認
 あらまし | 本文:PDF(697.8KB)

プロセス仕様の検証のための模倣性判定法
高橋 薫 山野 敬一郎 太田 正孝 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/01/25
Vol. J76-D1  No. 1  pp. 27-30
論文種別:  レター
専門分野: 
キーワード: 
仕様検証プロセス代数模倣関係判定手続きLOTOS
 あらまし | 本文:PDF(236.3KB)

LOTOS仕様からの効率的な試験系列の生成法
岡崎 直宣 高橋 薫 白鳥 則郎 野口 正一 
誌名:   電子情報通信学会論文誌 B
発行日: 1991/10/25
Vol. J74-B1  No. 10  pp. 733-747
論文種別:  論文
専門分野: 信号方式,通信プロトコル
キーワード: 
 あらまし | 本文:PDF(941.4KB)

LOTOS仕様の効率的な等価性判定法
神長 裕明 高橋 薫 白鳥 則郎 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1990/02/25
Vol. J73-D1  No. 2  pp. 214-224
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
 あらまし | 本文:PDF(854.9KB)

プロトコルの状態遷移表現の分解法とその適用
高橋 薫 荒川 暢也 白鳥 則郎 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1989/08/25
Vol. J72-D1  No. 8  pp. 601-611
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
 あらまし | 本文:PDF(628KB)

プロトコルの状態遷移表現の生成法とその適用
高橋 薫 荒川 暢也 白鳥 則郎 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1989/06/25
Vol. J72-D1  No. 6  pp. 440-454
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
 あらまし | 本文:PDF(942.9KB)

LOTOS仕様の等価性とその判定法
神長 裕明 高橋 薫 白鳥 則郎 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1989/05/25
Vol. J72-D1  No. 5  pp. 367-376
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
 あらまし | 本文:PDF(585.3KB)

プロトコルの合成支援環境の構成と実現
白鳥 則郎 張 尭学 高橋 薫 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1989/01/25
Vol. J72-D1  No. 1  pp. 33-42
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
 あらまし | 本文:PDF(621.1KB)

オブジェクトの概念に基づいたネットワークOSの設計法
高橋 薫 太田 佳行 白鳥 則郎 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1988/10/25
Vol. J71-D  No. 10  pp. 2128-2139
論文種別:  論文
専門分野: ネットワーク
キーワード: 
 あらまし | 本文:PDF(961.2KB)

ユーザフレンドリープロトコル検証システム
山本 博章 相沢 茂喜 岡崎 直宣 高橋 薫 白鳥 則郎 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1987/11/25
Vol. J70-D  No. 11  pp. 2219-2227
論文種別:  特集論文 (ヒューマンインタフェース特集)
専門分野: マン・マシンソフトウェア
キーワード: 
 あらまし | 本文:PDF(872.9KB)

利用者とコンピュータとの間の対話の過程に基づいたユーザインタフェースの設計
黒澤 公紀 高橋 薫 白鳥 則郎 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1987/11/25
Vol. J70-D  No. 11  pp. 2250-2258
論文種別:  特集論文 (ヒューマンインタフェース特集)
専門分野: マン・マシンソフトウェア
キーワード: 
 あらまし | 本文:PDF(709.3KB)

プロトコルインプリメンテーションの支援環境とそのユーザインタフェース
高橋 薫 白鳥 則郎 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1987/11/25
Vol. J70-D  No. 11  pp. 2211-2218
論文種別:  特集論文 (ヒューマンインタフェース特集)
専門分野: マン・マシンソフトウェア
キーワード: 
 あらまし | 本文:PDF(640.3KB)