Papers, Technical Reports (Higo, Inoue & Torii Laboratories)

[200] Michitoshi Ishiwaka, Kagetomo Genji, Takeshi Ogihara, Katsuro Inoue: “A Project Support System Using Stepwise Particularizaed Software Process Description”, 3rd International Conference for Young Computer Sicentists, pp.9.36-9.39, Beijing, China, (July 1993)

[199] Kagetomo Genji, Michitoshi Ishiwaka, Takeshi Ogihara, Katsuro Inoue: “Process-Centered Project Management System by Stepwise Particularizing Software Process”, 17th Computer Software and Applications Conference '93, pp.41-48, Phenix, Arizona, (November 1993)

[198] Kagetomo Genji, Michitoshi Ishiwaka, Takeshi Ogihara, Katsuro Inoue: “Project and Process Management by Cooperative Software Process Description”, 8th International Software Process Workshop, Wadern, Germany, Marchi 2-5, 1993, pp.85-89

[197] 石若通利, 元治景朝, 荻原剛志, 井上克郎: “プロセス記述支援機構のプロジェクト計画への応用”, 情報処理学会第４６回（平成５年前期）全国大会 1J-6

[196] Katsuro Inoue, Hajimu Iida, Koji Torii: “Model-Based Approach for Generating Software Process Description”, 4th International Symposia on Future Software Environments, Sydney, Australia, May 1992.

[195] 井上克郎: “第１７回ソフトウェア工学国際会議の概要報告”, 情報処理学会ソフトウェア工学研究会報告 SE104-10, pp.73-79

[194] 佐藤慎一, 小林孝則, 飯田 元, 井上克郎, 鳥居宏次: “プログラムの依存関係解析に基づくデバッグ支援システムの試作”, 電子情報通信学会 ソフトウェアサイエンス研究会報告 SS95-4 p.23-30

[193] 井上克郎, 渡辺淳志, 飯田元, 鳥居宏次: “ソフトウェア品質保証規格 ISO 9000-3 に基づく管理プロセスの記述とその比較”, 情報処理学会 論文誌 Vol.36 No.2 pp.453-462

[192] 佐藤慎一, 飯田 元, 井上克郎, 鳥居宏次: “プログラムスライスの抽出・実行機能を組み込んだデバッグ支援システムの試作”, 情報処理学会第49回(平成6年後期)全国大会講演論文集(5)7M-4

[191] 植田良一, 練 林, 井上克郎, 鳥居宏次: “再帰を含むプログラムのスライス計算法”, 電子情報通信学会論文誌 D-I, Vol.J78-D-I, No.1, pp11-22, 1995年1月.

[190] Katsuro Inoue, Atsushi Watanabe, Koji Torii: “Modeling Method for Management Process and Its Application to CMM and ISO 9000-3”, Proceedings of The Third International Conference on The Software Process, pp.85-98, Reston, Virginia

[189] 松下誠, 飯田元, 鳥居宏次: “開発プロセスを構成する要素間のインタラクションに関する研究”, 情報処理学会ソフトウェア工学研究会 102-29 pp.165-170

[188] 飯田元, 井上克郎, 鳥居宏次: “プロジェクト管理支援環境 --- はこにわ”, 日本ソフトウェア科学会第11回大会論文集 E8-3 pp.441-444

[187] 会沢 実, 練 林, 荻原 剛志, 井上 克郎, 鳥居 宏次: “構文木の比較によるプログラム開発履歴分析ツールの試作”, 情報処理学会ソフトウェア工学研究会 94-100 pp.55-62

[186] 会沢 実, 練 林, 飯田 元, 井上 克郎, 鳥居 宏次: “構文木の比較に基づいたプログラム差分の表示方式”, 情報処理学会第48回 (平成6年前期) 全国大会 3H-4

[185] 玉井 昌朗, 飯田 元, 井上 克郎, 鳥居 宏次: “プロセス記述によるソフトウェア開発における連絡支援の試み”, 電子情報通信学会ソフトウェアサイエンス研究会報告 SS93-42 p.23-29

[184] Kazuyuki Shima, Ken-ichi Matsumoto, Koji Torii: “A mathematical comparison of Software Breeding and Community Error Recovery in multiversion software”, The 4th International Symposium on Software Reliability Engineering

[183] 高谷 暢之, 松本 健一, 鳥居 宏次: “モジュール間の依存関係に着目したソフトウェアプロダクト計測システムの作成”, 情報処理学会第45回(平成4年後期)全国大会6T-6

[182] 高谷 暢之, 練 林, 井上 克郎, 鳥居 宏次: “プログラムの静的解析技法を用いたプログラム簡素化手法の検討”, プログラミング—言語・基礎・実践—研究会 15-3 pp.17-24

[181] Hajimu Iida, Kei-ichi Mimura, Katsuro Inoue, Koji Torii: “Hakoniwa: Monitor and navigation system for cooperative development based on activity sequence model”, Second International Conference on the Software Process (ICSP2), Berlin,Germany

[180] 飯田 元, 三村 圭一, 井上 克郎, 鳥居 宏次: “ソフトウェア協調開発プロセスのモデル化とそれに基づく開発支援システムの試作”, 情報処理学会論文誌 Vol. 34 No. 11, pp.2213-2222

[179] 荻原 剛志, 飯田 元, 井上 克郎, 鳥居 宏次: “LZW法に移動窓を組み合わせたデータ圧縮方式について”, 電子情報通信学会論文誌 A, Vol. J76-A No. 11 pp.1593-1602

[178] 渡辺 淳志, 井上 克郎, 鳥居 宏次: “ソフトウェア開発における管理プロセス記述の試み”, 日本ソフトウェア科学会第13回ソフトウェア研究会研究会資料 SW-93-13, p.17-24

[177] 会沢 実, 高田 義広, 松本 健一, 鳥居 宏次: “プログラムの複雑さ尺度と開発労力間の依存関係の統計的分析”, 1993年電子情報通信学会秋期大会 D-351, 6-354

[176] 植田 良一, 練 林, 井上 克郎, 鳥居 宏次: “再帰を含むプログラムの依存関係解析とそれに基づくプログラムスライシング”, ソフトウェアサイエンス研究会報告 SS94-5 p.33-40

[175] 藤田 房之, 高田 義広, 松本 健一, 鳥居 宏次: “プログラマのテスト・デバッグ能力の自動計測環境”, ソフトウェアサイエンス研究会報告 SS94-10 pp.73-80

[174] 松下 誠, 玉井 昌朗, 飯田 元, 井上克郎, 鳥居宏次: “共有された処理ルールを用いるメールシステムの試作”, 1993年電子情報通信学会秋期大会 D-154, p.6-156

[173] 松永泰明, 飯田 元, 荻原 剛志, 井上克郎, 鳥居宏次: “図式表現を用いたソフトウェアプロセス構成・実行システムの試作”, 電子情報通信学会論文誌 D-I vol.J76-D-I, No.6, pp.324-326

[172] 飯田 元, 三村 圭一, 井上克郎, 鳥居宏次: “協調開発プロセスモデルを用いたプロジェクト管理手法について”, ソフトウェア工学研究会報告 SS93-10 pp.77-84

[171] 井上 克郎: “第２回ソフトウェアプロセス国際会議報告”, ソフトウェア科学会研究会報告 SP93-1-11, pp.89-92

[170] Lin Lian, Katsuro Inoue, Koji Torii: “An Experiment of Program Comparison Tool Based on the Mapping Between Parsing Trees”, ソフトウェアサイエンス研究会(SS93-18)

[169] 三村 圭一, 飯田 元, 井上 克郎, 鳥居 宏次: “プロセスのモニタシステムはこにわの拡張”, ソフトウェア科学会研究会報告 SP93-1-8, pp.67-74

[168] 飯田 元, 荻原 剛志, 井上 克郎, 鳥居 宏次: “ソフトウェア開発作業系列の形式的定義と誘導システムの生成”, 情報処理学会論文誌 Vol.34,No.3

[167] Shinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno, Koji Torii: “Approaches to improving effectiveness of review activities in technical review process”, Proc. of International Software Quality Exchange, pp.7B-1--7B-16

[166] Ken-ichi Matsumoto, Shinji Kusumoto, Tohru Kikuno, Koji Torii: “An experimental evaluation of team performance in program development based on model ---Extension of programmer performance model”, Journal of Information Processing, Vol.15, No.3, pp.466-473

[165] Shinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno, Koji Torii: “A new metric for cost effectiveness of software reviews”, IEICE Trans. on Communications Electronics Information and Systems, Vol.E75-D, No.5, pp.674-680

[164] 知能情報処理学講座: “協調開発支援・管理システムはこにわプロトタイプ”, 情報工学科展示会

[163] Hajimu Iida, Yoshihiro Okada, Katsuro Inoue, Koji Torii: “Experience of Solving Example Problem for Software Process Modeling”, IEICE Transactions on Information and Systems, Vol. E76-D No.2, pp. 302-306

[162] 松永泰明, 荻原剛志, 井上克郎, 鳥居宏次: “全体プロセス記述からの個人プロセス記述の導出”, ソフトウェア工学研究会 90-17 pp.129-136

[161] 井上克郎: “最近のソフトウェアプロセスの研究動向”, ソフトウェア・ツール・シンポジウム’９３論文集 pp.5-14

[160] 藤田房之, 楠本真二, 松本健一, 菊野亨, 鳥居宏次: “テスト工程における残存フォールト数の自動推定の試み”, ソフトウェア・シンポジウム’９２論文集 pp.D-22--27

[159] 熊本厚志, 松本健一, 鳥居宏次: “階層的データフロー図作成支援システムの評価”, ソフトウェア・シンポジウム’９２論文集 pp.C-61--69

[158] 藤田房之, 楠本真二, 松本健一, 菊野亨, 鳥居宏次: “プログラムテキストの更新履歴を利用した初期フォールト数推定の自動化の試み”, 情報処理学会第44回(平成4年前期)全国大会2K-5

[157] 三村圭一, 飯田元, 井上克郎, 鳥居宏次: “プロセスモデル化の例題の協調開発支援管理システムによる実行”, 情報処理学会第45回(平成4年後期)全国大会5S-10

[156] 渡辺淳志, 島和之, 松本健一, 鳥居宏次: “ソフトウェア開発期間推定における作業時間分布の考察”, 情報処理学会第45回(平成4年後期)全国大会5S-9

[155] 石若通利, 元治景朝, 荻原剛志, 井上克郎: “プロセス記述を用いた分散開発環境の生成”, 情報処理学会第45回(平成4年後期)全国大会1U-01

[154] 片岡欣夫, 松本健一, 熊本厚志, 鳥居宏次: “構造化分析法における階層的データフローダイアグラムの不偏性評価尺度の提案”, 知能ソフトウェア工学研究会(KBSE92-18)

[153] 松永泰明, 森藤元, 荻原剛志, 井上克郎, 鳥居宏次: “図式表現を用いたソフトウェアプロセス構成実行システムの試作”, ソフトウェアサイエンス研究会(SS92-7)

[152] 飯田元, 三村圭一, 井上克郎, 鳥居宏次: “協調開発におけるプロセスモニタリング／管理システムの設計と試作”, ソフトウェアサイエンス研究会(SS91-38)

[151] 飯田元, 井上克郎, 鳥居宏次: “複合プロセスモデルに基づく協調開発支援・管理システム”, 1992年電子情報通信学会春季大会

[150] Katsuro Inoue, Takeshi Ogihara, Hajimu Iida, Minoru Nitta: “Functional Language for Enacting Software Processes”, Proc. of the 15th Annual International Computer Software & Applications Conference

[149] Katsuro Inoue, Koji Torii: “Implementation and Analysis of Compile-time Garbage Collection”, New Generation Computing, Vol.10 No.1 pp.101-119

[148] Feng An, Kikuno Tohru, Torii Koji: “Fault-Tolerant Attribute Evaluation in Distributed Software Environments”, Proc. of the Pacific RIM International Symp. on Fault Tolerant Systems

[147] Matsumoto Ken-ichi, Kusumoto Shinji, Kikuno Tohru, Torii Koji: “Measurement-based Controlling in Project Management System”, 情報処理学会研究報告ソフトウェア工学82-9

[146] 牛尾亘綱, 簗場豊, 松本健一, 鳥居宏次: “定量的プロジェクト管理のための開発計画作成支援システム−要求品質決定ツ−ルの作成−”, 情報処理学会研究報告ソフトウェア工学82-8

[145] 岡田世志彦, 飯田元, 井上克郎, 鳥居宏次, 永岡渡, 梅本肇, 酒井睦雄: “ソフトウェアの分散開発のモデル化の試み”, 情報処理学会研究報告ソフトウェア工学82-1

[144] Iida Hajimu, Ogihara Takeshi, Inoue Katsuro, Torii Koji: “Generating a Menu-Oriented Navigation System from Formal Description of Software Development Activity Sequence”, Proc. of the 1st International Conference on the Software Process

[143] Inoue Katsuro, Iida Hajimu, Torii Koji: “Design and Implementation of Process-Centered Environments Based on Process Language PDL and Formal Grammar”, Proc. of the 7th International Softare Process Workshop October 1991

[142] Iida Hajimu, Nishimura Yoshihiro, Inoue Katsuro, Torii Koji: “Generating Software Development Environments from the Description of Product Relations”, Proc. of COMPSAC91 pp.487-492

[141] Kusumoto Shinji, Matsumoto Ken-ichi, Kikuno Tohru, Torii Koji: “Experimental Evaluation of the Cost Effectiveness of Software Reviews”, Proc. of COMPSAC91 pp.424-429

[140] 岡田世志彦, 松永泰明, 飯田元, 井上克郎, 鳥居宏次, 永岡渡, 梅本肇, 酒井睦雄: “「Kellner のソフトウェアプロセス問題」の記述の試み”, 情報処理学会第４３回（平成３年後期）全国大会

[139] 熊本厚志, 大野浩史, 菊野亨, 鳥居宏次: “階層的デ−タフロ−図作成支援システムの試作”, ソフトウェア・シンポジウム’９１論文集 pp.D-18--25

[138] 楠本真二, 松本健一, 菊野亨, 鳥居宏次: “開発者の能力向上を支援するプロジェクト管理の試み”, ソフトウェア・シンポジウム’９１論文集 pp.D-2--D-8

[137] 柳瀬健一, 荻原剛志, 井上克郎, 鳥居宏次: “実開発におけるプロセス記述の試みと開発支援に関する考察”, ソフトウェア・シンポジウム’９１論文集 pp.C-36--42

[136] 松本健一, 楠本真二, 菊野亨, 鳥居宏次: “ソフトウェア開発過程の図式化ツ−ル−ＧＩＮＧＥＲの情報フィ−ドバック部−”, ソフトウェア・シンポジウム’９１論文集 p. A-58

[135] Torii Koji: “An Example of Software Environment Evolution -From Past to Future at Osaka University-”, Proc. of the 3rd Inter. Workshop on Software Quality Improvement

[134] 松永泰明, 荻原剛志, 井上克郎, 鳥居宏次: “図式表現によるソフトウェアプロセスの構成と実行の試み”, 日本ソフトウェア科学会第８回大会論文集C2-2

[133] Kataoka Yoshio, Notkin David, Torii Koji: “A Study of Characteristics of Event Mechanisms in Several Systems ソフトウェア環境におけるイベントメカニズムに関する一考”, 電子情報通信学会１９９１年秋季大会

[132] 牛尾亘綱, 楠本真二, 松本健一, 菊野亨, 鳥居宏次: “定量的プロジェクト管理のための開発計画の作成−ＳＱＵＡＲＥとＧＩＮＧＥＲの統合−”, 電子情報通信学会１９９１年秋季大会

[131] 松永泰明, 岡田世志彦, 飯田元, 井上克郎, 鳥居宏次: “プロダクト間の関係記述に基づく開発支援系生成の試み”, 電子情報通信学会１９９１年秋季全国大会

[130] Chen Chang, Feng An, Kikuno Tohru, Torii Koji: “Reconfiguration Algorithm for Fault-Tolerant Arrays with Minimum Number of Dangerous Processors”, IEEE Proceedings of 21st FTCS

[129] 島和之, 飯田元, 井上克郎, 鳥居宏次: “ソフトウェア保守におけるファイル間の依存関係管理ツ−ルの試作”, 電子情報通信学会技術研究報告 COMP91-22, SS91-1 pp.1-6

[128] Kusumoto Shinji, Matsumoto Ken-ichi, Kikuno Tohru, Torii Koji: “On a Measurement Environment for Controlling Software Development Activities”, The Transactions of the IEICE Vol.E73, No.5 May 1991 pp.1051-1054

[127] 井上克郎, 鳥居宏次: “関数型プログラムにおける配列更新性判定の一手法”, 電子情報通信学会１９９１年春季全国大会

[126] Kusumoto Shinji, Matsumoto Ken-ichi, Kikuno Tohru, Torii Koji: “System Architecture of Measurement Environment GINGER”, 電子情報通信学会１９９１年春季全国大会

[125] 楠本真二, 松本健一, 菊野亨, 鳥居宏次: “テストコストの減少率に注目したレビュ−評価尺度の提案と実験的評価”, 電子情報通信学会 SS90-37

[124] Torii Koji, Kikuno Tohru, Matsumoto Ken-ichi, Kusumoto Shinji: “A Measurement Environment and Some Results at Class Experiments”, Proc. of the 2nd International Workshop on Software Quality Improvemen

[123] 毛利幸雄, 菊野亨, 鳥居宏次: “レビュ−で用いるチェックリストの作成法の提案”, 第１１回ソフトウェア信頼性シンポジウム論文集 pp.7-11

[122] 楠本真二, 松本健一, 菊野亨, 鳥居宏次: “レビュ−作業に対する評価尺度の提案”, 第１１回ソフトウェア信頼性シンポジウム論文集 pp.116-121

[121] 荻原剛志, 飯田元, 井上克郎, 鳥居宏次, 奥井順: “オブジェクト指向によるソフトウェアプロセスの記述モデル”, ソフトウェア・シンポジウム’９０論文集 pp.37-44

[120] 毛利幸雄, 菊野亨, 鳥居宏次: “フォ−ルト修正文に基づくフォ−ルト混入工程の分析”, ソフトウェア・シンポジウム’９０論文集 pp.228-235

[119] Kusumoto Shinji, Matsumoto Ken-ichi, Kikuno Tohru, Torii Koji: “Experimental Evaluation of Metrics for Review Activities”, ソフトウェア・シンポジウム’９０論文集 pp.236-241

[118] 新田稔, 井上克郎, 菊野亨, 鳥居宏次: “関数型プロセス記述言語とその実行環境の試作”, ソフトウェア・シンポジウム’８９論文集 pp.171-178

[117] 楠本真二, 高田義広, 松本健一, 菊野亨, 鳥居宏次: “モデルに基づく大学，及び，企業におけるプログラム開発プロセスの評価”, ソフトウェア・シンポジウム’８９論文集 pp.295-302

[116] 馮安, 菊野亨, 鳥居宏次: “分散配置された属性つき構文木の更新アルゴリズムについて”, 電子情報通信学会 COMP90-85

[115] 馮安, 菊野亨, 鳥居宏次: “非循環属性文法に対する属性付き構文木の更新アルゴリズムの高速化”, 電子情報通信学会論文誌 D-1 Vol.J74-D-1 No.1 pp.1-11

[114] 西村好洋, 飯田元, 荻原剛志, 井上克郎, 鳥居宏次: “あるプロダクト間関係の記述とプロセス記述言語ＰＤＬへの変換”, 情報処理学会ソフトウェア工学77-17

[113] 高木千春, 楠本真二, 松本健一, 菊野亨, 鳥居宏次: “ソフトウェア開発における進捗管理のためのモデルについて”, 情報処理学会 ソフトウェア工学77-23

[112] 松本健一, 菊野亨, 鳥居宏次: “ソフトウェア信頼度成長モデルの適用技術”, 情報処理 Vol.31 No.12 1990.12

[111] 松本健一, 楠本真二, 菊野亨, 鳥居宏次: “プログラム開発におけるチ−ム性能のモデルに基づく実験的評価−プログラマ性能モデルの拡張−”, 情報処理学会論文誌 Vol.31 No.12 1990.12

[110] Feng An, Kikuno Tohru, Torii Koji: “Incremental Attribute Evaluation for Multiple Subtree Replacements in Structure-Oriented Environments”, Proc. of International Conference WAGA 1990

[109] Chen Chang, Takada Yoshihiro, Kikuno Tohru, Torii Koji: “On Relation between Reliability and Topology of Starred Polygon with Redundant Nodes”, The Transactions of The IEICE Vol.E73, No.11 November 1990

[108] 高田義広, 脇田壽, 坪香英一: “ニュ−ラルネット予測型ＨＭＭにおける学習アルゴリズム”, 電子情報通信学会 ＣＯＭＰ９０−５５ pp.21-30

[107] 西村好洋, 飯田元, 荻原剛志, 新田稔, 井上克郎, 鳥居宏次: “プロダクトの関係記述による開発支援環境の構築”, 情報処理学会ソフトウェア工学ＳＥ75-3

[106] 松本健一, 牛尾亘綱, 菊野亨, 鳥居宏次: “品質保証システムＳＱＵＡＲＥにおける開発計画作成手順”, 電気関係学会関西支部平成２年連合大会

[105] 高木千春, 楠本真二, 松本健一, 菊野亨, 鳥居宏次: “プログラムテキストの変更情報に基づくプログラム開発プロセスのモデル化”, 電気関係学会関西支部平成２年連合大会

[104] 陳昶, 高田義広, 菊野亨, 鳥居宏次: “二重化スタ−ドポリゴンの形状と信頼性の関係”, 電子情報通信学会１９９０年秋期全国大会

[103] Chen Chang, Feng An, Takada Yoshihiro, Kikuno Tohru, Torii Koji: “Spare Processor Assignment for Reconfiguration of Fault-Tolerant Arrays”, The Transactions of the IEICE Vol. E73, No. 8 August 1990 PP.1247-1256

[102] 菊野亨, 松本健一, 鳥居宏次: “ソフトウェア信頼性の実現技術−現状と今後の展望−”, 電子情報通信学会誌 Vol.73 No.5 pp.454-460

[101] 陳昶, 高田義広, 山中康司, 菊野亨, 鳥居宏次: “高信頼多重化ネットワークの構成−二重化されたスタードポリゴンの信頼性評価−”, 電子情報通信学会 フォールトトレラントシステム90-12