Papers, Technical Reports (Higo, Inoue & Torii Laboratories)
Nos. 1 - 100
[99] Kusumoto Shinji, Matsumoto Ken-ichi, Kikuno Tohru, Torii Koji: “GINGER:Data Collection and Analysis System”, 電子情報通信学会 ソフトウェアサイエンス90-5
[98] Matsumoto Ken-ichi, Takada Yoshihiro, Kikuno Tohru, Torii Koji: “SQUARE:Software Quality Assurance Supporting System”, 電子情報通信学会 ソフトウェアサイエンス90-4
[94] 松本健一, 菊野亨, 鳥居宏次: “S字型ソフトウェア信頼度成長モデルの大学環境における実験的評価−推定精度の比較と習熟係数の決定−”, 電子情報通信学会論文誌D−1 Vol.J73-D-1 No.2 pp.175-182
[93] Torii Koji: “A New Framework for Software Quality Assurance”, 1st International Workshop on Software Quality Improvement (JSDWS-1)
[92] 稲田良造, 荻原剛志, 井上克郎, 鳥居宏次: “ソフトウェア開発過程の形式化とその詳細化による支援システムの作成−JSDを例として−”, 電子情報通信学会論文誌D−1 Vol.J72-D-1 No.12
[78] Inoue Katsuro, Ogihara Takeshi, Kikuno Tohru, Torii Koji: “A Formal Adaptation Method for Process Descriptions”, 11th International Conference on Software Engineering (ICSE-11), Pittsburgh, PA, pp.145-153
[77] Ohmaki Kazuhito, Tomura Satoru, Inoue Katsuro, Ito Toshio, Ito Keiichi, Torii Koji: “TERM: A parallel executable graph reduction machine for equational language”, Parallel Computing Vol. 11, No. 1, 1989
[70] Kudo Hideo, Sugiyama Yuji, Fujii Mamoru, Torii Koji: “Quantifying a Design Process Based on Experiments”, IEEE The Journal of Systems and Software No.9 pp.129-136
[69] Seki Hiroyuki, Nabika Eiji, Matsumura Takashi, Sugiyama Yuji, Fujii Mamoru, Torii Koji, Kasami Tadao: “A Processing System for Program Specifications in a Natural Language”, IEEE HICSS-21
[68] Kishida Kouichi, Teramoto Masanori, Torii Koji, Urano Yoshiyori: “Quality-Assurance Technology in Japan”, IEEE Software Vol.4 No.5 pp.11-18
[67] Torii Koji: “Activities for reliable softwares in Japan”, US-JAPAN Workshop on Computer Software Engineering
[62] Inoue Katsuro, Seki Hiroyuki, Yagi Hikaru: “Analysis of Functional Programs to Detect Run-Time Garbage Cells”, ACM Transactions on Programming Languages and Systems, Vol.10 No.4
[50] Kishida Kouichi, Katayama Takuya, Matsuo Masatoshi, Miyamoto Isao, Ochimizu Koichiro, Saito Nobuo, Sayler John H., Torii Koji, Williams Lloyd G.: “SDA:A Novel Approach To Software Environment Design and Construction”, IEEE ICSE-10
[49] Matsumoto Kenichi, Inoue Katsuro, Kikuno Tohru, Torii Koji: “Experimental Evaluation of Software Reliability Growth Models”, IEEE International Symposium on Fault-Tolerant Computing FTCS-18, pp.148-153, Tokyo, Japan, 1988.
[45] Sugiyama Yuji, Torii Koji, Kasami Tadao: “Functional Programming for the Telegram Analysis Problem”, The Transactions of The IEICE Vol.E71 No.5
[40] Kudo Hideo, Sugiyama Yuji, Fujii Mamoru, Torii Koji: “Quantifying a Design Process Based on Experiments”, IEEE HICSS-21
[36] Feng An, Sugiyama Yuji, Fujii Mamoru, Torii Koji: “Generating Practical PROLOG Programs from Attribute Grammars”, IEEE COMPSAC 1987
[35] Matsumoto Kenichi, Inoue Katsuro, Kudo Hideo, Sugiyama Yuji, Torii Koji: “Error Life Span and Programmer Performance”, IEEE COMPSAC 1987
[24] Torii Koji, Sugiyama Yuji, Fujii Mamoru, Kasami Tadao, Morisawa Yoshitomi: “Logical Programming for the Telegram Analysis Problem”, Computer Languages Vol.12 No.1
[16] 石木信之, 並河英二, 関浩之, 杉山裕二, 藤井護, 鳥居宏次, 中小路久美代: “プログラム仕様に用いる自然語の処理システム −代数的仕様への変換と知識管理−”, 情報処理学会 ソフトウェア工学 52-6
[4] 鳥居宏次, 嵩忠雄, 杉山裕二, 森沢好臣: “Logical Programming for the Telegram Analysis Problem”, 情報処理学会 ソフトウェア工学 46-6
[1] Torii Koji, Morisawa Yoshitomi, Sugiyama Yuji, Kasami Tadao: “Functional Programming and Logical Programming for the Telegram Analysis Problem”, IEEE 1984 The 7th International Conference on Software Engineering