1995年度 学術論文誌等 / Journals
-
李 湘東, 東野 輝夫, 樋口 昌宏, 谷口 健一:
拡張有限状態機械モデルで書かれた通信プロトコルの適合性試験系列の自動生成の一手法
電子情報通信学会論文誌(B-I), Vol.J79-B-I, No.4, pp.137-147 (Apr. 1996).
-
中田 明夫, 東野 輝夫, 谷口 健一:
隣接しない動作間の時間制約を記述するためのLOTOS言語の拡張とその等価性の検証
コンピュータソフトウェア, Vol.12, No.6, pp.521-534 (Nov. 1995).
-
森岡 澄夫, 北道 淳司, 東野 輝夫, 谷口 健一:
代数的言語で記述した抽象的順序機械型プログラムの設計検証の自動化
情報処理学会論文誌, Vol. 36, No.10, pp.2409-2421 (Oct. 1995).
-
岡野 浩三, 東野 輝夫, 谷口 健一:
あるスタイルに基づく順序機械型記述における詳細化の正しさの証明方法
電子情報通信学会論文誌(D-I), Vol.J78-D-I, No.7, pp.622-633 (Jul. 1995).
-
伊東 達雄, 今城 広志, 岡野 浩三, 東野 輝夫, 松浦 敏雄, 谷口 健一:
グループワークを考慮した協調計算システムにおける動作プログラム群の生成と分散実行
情報処理学会論文誌, Vol.37, No.6, pp.1367-1378 (Jun. 1995).
-
森岡 澄夫, 岡野 浩三, 東野 輝夫, 谷口 健一:
関係データベースを用いた在庫管理プログラムの記述とその詳細化の正しさの証明
情報処理学会論文誌, Vol.36, No.5, pp.1091-1103 (May. 1995).
1995年度 国際会議 / International Conferences
-
Keiichi Yasumoto, Teruo Higashino, Toshio Matsuura and Kenichi Taniguchi:
Protocol Visualization using LOTOS Multi-Rendezvous Mechanism
Proceedings of the 1995 IEEE International Conference on Network Protocols (ICNP-95), pp.118-125 (Nov. 1995).
-
Akio Nakata, Teruo Higashino and Kenichi Taniguchi:
Protocol Synthesis from Timed and Structured Specifications
Proceedings of the 1995 IEEE International Conference on Network Protocols (ICNP-95), pp.74-81 (Nov. 1995).
-
Teruo Higashino, Akio Nakata, Tatsuo Itoh and Kenichi Taniguchi:
Verification of Liveness Property for Communicating FSM's with Conditional Transitions depending on State Visiting Numbers
Proceedings of the 8th International Conference on Formal Description Techniques (FORTE'95), pp.433-440 (Oct. 1995).
-
Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura and Kenichi Taniguchi:
A LOTOS Compiler Generating Multi-threaded Object Codes
Proceedings of the 8th International Conference on Formal Description Techniques (FORTE'95), pp.271-286 (Oct. 1995).
-
Alexandre Petrenko, Teruo Higashino and Tadashi Kaji:
Handling Redundant and Additional States in Protocol Testing
Proceedings of the Eighth IFIP Workshop on Protocol Test Systems (IWPTS'95), pp.307-322 (Sep. 1995).
-
Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino and Kenichi Taniguchi:
Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers
Proceedings of the 15th IEEE International Conference on Distributed Computing Systems (ICDCS-15), pp.510-517 (May. 1995).
1995年度 国内学会・研究会 / Domestic Conferences
1995年度 講演 / Invited Talks
1995年度 著書・訳書・解説等 / Edited Books
-
東野 輝夫:
プロトコル技術
情報処理学会編 新版情報処理ハンドブック, pp.1030-1034 (Nov. 1995).
1995年度 その他 / Others