-
[文献書誌] 佐伯元司: "プロダクトの進化から見た要求分析の支援" 情報処理学会ソフトウェア工学研究会ウィンターワークショップ・イン・恵那論文集. 65-66 (1998)
-
[文献書誌] Tanaka,T., Chang,H.-M., Taguchi,K. and Araki,K.: "Formal Specification and Verification of Security Protocol in RSL" Proc.International Symposium on Future Software Technology '97. 143-150 (1997)
-
[文献書誌] 岡村耕二、荒木啓二郎(分担執筆): "フジテクノシステム" マルチメディア産業応用技術大系(片方善治監修)第二編第二章. 1206 (1997)
-
[文献書誌] 宮川治、当麻喜弘: "超幾何分布に基づくソフトウェア信頼性成長モデルの反応係数の拡張" 信学技報. SS97-20. 1-8 (1997)
-
[文献書誌] 鯵坂恒夫: "新工法モデルからみたドメイン分析・モデリング" 第11回人工知能学会全国大会論文集. 70-71 (1997)
-
[文献書誌] Masahide Nakamura,Yoshiaki Kakuda and Tohru Kikuno: "Analysing non-determinism in telecommuniocation services using P-Invariant of Petri-Net model" Proceedings of 16th IEEE Conference on Computer Communications. 1253-1260 (1997)
-
[文献書誌] Yutaka Tsutsumi,Kazuo Ushijima: "Building and evaluating an automatic search method for pre-answered questions in an Online classroom" ED-MEDIA/ED-TELECOM 98 conference proceedings. to appear (1998)
-
[文献書誌] Kokichi Futatsugi and Ataru Nakagawa: "An Overview of CAFE Specification Environment-an algebraic approach for creating,verifying,and maintaining formal specifications over networks-" Proc.1st IEEE Intl.Conf.on Formal Engineering Methods. 170-181 (1997)
-
[文献書誌] 片桐秀樹,河口信夫,稲垣康善: "モ-バイル環境下における赤外線を用いた自律分散通信プロトコル" 情報処理学会マルチメディア,分散,協調とモ-バイルワークショップ論文集(DiCoMo97). 67-72 (1997)
-
[文献書誌] 山本泰三 山本晋一郎,阿草清滋: "通信アプリケーションの変更に応じた状態機械の記述への操作とその再利用について" 電子情報通信学会技術研究報告. SS97-40. 25-32 (1997)
-
[文献書誌] Bhed Bahadur Bista,Kaoru Takahashi,Tetsuo Kinoshita and Norio Shiratori: "Making Changes in Formal Protocol Specifications" IEICE Trans.Commun.E80-B. 974-978 (1997)
-
[文献書誌] S.Feng, T.Sakabe, Y.Inagaki: "Confluence Property of Simple Frames in Dynamic Term Rewriting Calculus" IEICE Transactions on Information and Systems. E80-D,6. 625-645 (1997)
-
[文献書誌] Atsushi Togashi,Fumiaki Kanazashi,Xiaosong Lu: "A Methodology for the Description of System Requirements and the Derivation of Formal Specifications" Proc.IFIP TC6/WG6.1 Joint International Conference on FORTE/PSTV97. 383-398 (1997)
-
[文献書誌] 落水浩一郎: "ネットワークを介した共同作業の支援環境構築にむけて" SEAMAIL. 10. 2-37 (1997)
-
[文献書誌] 岡村耕二、荒木啓二郎(分担執筆): "マルチメディア産業応用技術大系(片方善治監修)第二編第二章" フジテクノシステム, 1206 (1997)
-
[文献書誌] 白鳥則郎,水野忠則,高橋修,佐藤文明: "コンピュータネットワーク" オーム社, 273 (1997)