-
[文献書誌] 結縁祥治: "正則な実時間通信プロセスに対するテスト擬順序の記号的特性化" 電子情報通信学会論文誌. (掲載予定).
-
[文献書誌] Nobuo Kawaguchi: "TERSE : A Visual Environment for Supporting Analysis,Verification and Transformation of Term Rewriting Systems" Proceedings of AMAST'96(LNCS 1101). 571-574 (1996)
-
[文献書誌] Tsuneo Ajisaka: "The Software Quark Model : a Universal Model for CASE Repositories" Information and Software Technology. 38. 173-180 (1996)
-
[文献書誌] 岡村耕二: "帯域予約されたネットワーク上の連続メディア送信" 情報処理学会論文誌. 37. 721-730 (1996)
-
[文献書誌] J.Zhao: "Program Dependence Analysis of Concurrent Logic Programs and its Applications" Proc.of the 1996 Int.Conf.on Parallel and Distributed Systems. 282-291 (1996)
-
[文献書誌] Tatsuhiro Tsuchiya: "Three-mode failure model for reliability analysis of distributed programs" IEICE Transactions on Information and Systems. E80-D. 3-9 (1997)
-
[文献書誌] Motoshi Saeki: "Structuring Utterance Records of Requirements Elicitation Meetings Based on Speech Act Theory" Proc.of 2nd Int.Conf.on Requirements Engineering. 21-30 (1996)
-
[文献書誌] Pairoj Termsinsuwan: "A new approach to ADT specification support bsed on reuse of similar ADT by the application of Case-Based Resoning" Information and Software Tehcnology. 38. 555-568 (1996)
-
[文献書誌] Koji Torii: "Quantitative analytic approaches in sofrware engineering" Inforamtion and Software Technology. 38. 155-163 (1996)
-
[文献書誌] Yoshihito Tohma: "SRGM (Sotware Reliability Growth Model) Tool based on Hyper-Geometric Distribution" Proc.of FTCS-26. 1-4 (1996)
-
[文献書誌] 宋国煥: "命題論理に基づいた要求記述法と状態遷移システムによる意味記述" 情報処理学会論文誌. 37. 511-519 (1996)
-
[文献書誌] Shusaku Iida: "Algebraic Specification of Distributed Systems based on Concurrent Object-Oriented Modeling" Formal Methods for Open Object-based Distributed Systems. 341-356 (1996)