Doctor of Engineering

Software Engineering

Software, Software

1977, Osaka University, Graduate School, Division of Engineering, 通信工学専攻

1972, Osaka University, Faculty of Engineering, 通信工学科

2010
教育システム情報学会, 論文賞

2006
MCL, Best Paper Award

IR Based Traceability Link Recovery Method Mining
Takeyuki Ueda,hinpei Ogata, Haruhiko Kaiya, Kenji Kaijiri
ICSEA, 2013

ソフトウェアが中心でない製品における既存技術を利用したソフトウェア改訂支援
海谷、原、古林、長田、海尻
論文誌, 53(2), 2012

Model Transformation Patterns for Introducing Suitable Information Systems
Haruhiko Kaiya, Shunsuke Morita, Shinpei Ogata, Kenji Kaijiri, Shinpei Hayashi, and Motoshi Saeki
APSEC, 2012

Evaluation Of Effectiveness Of Authentication System Based On Location Information Of Mobile Phones
Takamizawa, Kaijiri
WBE, 2010

Enhancing Domain Knowledge for Requirement Elicitation with Web Mining
Kaiya, Shimizu, Yasui, Kaijiri, Saeki
APSEC, 2010

Towards an Integrated Support for Traceability of Quality Requiements using Software Spectrum Analysis
Kaiya, Amemiya, Shimizu, Kaijiri
ICSOFT, 2010

Improving Reliability of Spectrum Analysis for Software Quality Requirements using TCM
Kaiya, Tanigawa, Suzukim Sato, Osada, Kaijiri
Transaction, E93-D(4), 702-712, 2010

Identifying stakeholders and their preferences about NFR by comparing use case diagrams of several existing systems
Kaiya H,Osada A,Kaijiri K
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E91D(4), 897-906, 2008

マルチエージェントベースアプローチによるリスク・生産情報格差下における政府調達契約に関する一考察
池田 明、海尻賢二
情報処理学会論文誌, 49(12), 4105-4110, 2008

マルチエージェントシミュレーションによる開発をともなう政府調達の制度設計に関する一考察
池田 明、海尻賢二
情報処理学会論文誌, 49(7), 2731-2740, 2008

要求追加によるインパクトの分析に基づく組込みソフトウェア開発の効率化(開発支援(学生セッション))
川平航介、長田　晃、海谷治彦、北澤直幸、海尻賢二
情報処理学会研究報告. ソフトウェア工学研究会報告, 2008(29), 17-24, 2008

PORTAM: policy, requirements, and threats analyzer for mobile code applications.
Kaiya H, Sasaki K, Kaijiri K
Progress in Informatics, 5, 7-18, 2008

Adaptive Courseware Generation of a Web-based tutorial System
G.Agular and K.Kaijiri
Int'l J. of Instructional Media, 34(3), 2007

Fundamental Personalization Factors for Adaptive Tutorials
G. Aguilar and K. Kaijiri
Int. J. of Instructional Media, 34(1), 2007

要求獲得におけるドメイン知識表現の役割
長田 晃、小澤 大伍、 海谷 治彦、 海尻 賢二
情報処理学会論文誌, 48(8), 2522-2533, 2007

履歴情報を用いた英単語学習ツールの開発
長岡弘美、海尻賢二
情報処理学会研究報告. コンピュータと教育研究会報告, 2007(69), 9-13, 2007

Design Overview of an Adaptive Computer-based Assessment System,
G. Aguilar and K. Kaijiri
IEM Journal, 14, 116-130, 2007

ドメイン知識表現が要求獲得に与える影響の分析(要求獲得・分析(学生セッション))
長田　晃、小澤大伍、海谷治彦、海尻賢二
情報処理学会研究報告. ソフトウェア工学研究会報告, 2006(35), 57-64, 2006

タンパク質の機能解析を目指した三角形IDに基づくタンパク質三次元モチーフの検討
丸山英俊、海尻賢二
Journal of Computer Aided Chemistry, 7, 57-68, 2006

Reliable Authentication Method by Using Cellular Phones in Web Based Training
H. Takamizawa and K. Kaijiri
International Journal of Instructional Technology and Distance Learning,, 3(12), 35-45, 2006

Adaptive Tutorial's Constructivist Basis for the Teaching-Learning Process of an OOPL,
Gabriela Aguilar&Kenji Kaijiri:
Interactive Educational Multimedia, 12, 1-7, 2006

Static Adaptations Of Personalization Factors Included In The Development Of An Adaptive Web-Based Tutorial
Gabriela Aguilar&Kenji Kaijiri:
Interactive Educational Multimedia, 12, 8-16, 2006

理解状況に適応した多肢選択式問題の自動生成に関する構想
津森伸一、海尻賢二
教育システム情報学会研究報告, 21(4), 3-8, 2006

ソフトウェア規模見積もりと進捗管理手法の提案
上田健之、海谷治彦、海尻賢二
情報処理学会研究報告 ソフトウェア工学研究会報告, 2005(119), 117-124, 2005

新規な三角形IDに基づくタンパク質立体構造ホモロジー検索アルゴリズム
丸山英俊、海尻賢二
Journal of Computer Aided Chemistry, 6, 44-56, 2005

Practical and Incremental Maintenance of Software Resources in Consumer Electronics Products
Aizawa K, Kaiya H, Kaijiri K
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E88D(6), 1117-1125, 2005

Special section on knowledge-based software engineering - Foreword
Kaijiri, K
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E87D(4), 799-800, 2004

プロセス改善の自己観測による設計手法有効性体験コースの実施(協調開発(学生セッション))
鈴森寿之、久保田卓秀、長田　晃、海谷治彦、海尻賢二
情報処理学会研究報告. ソフトウェア工学研究会報告, 2004(30), 9-16, 2004

小型モバイルコンピュータを用いたプロバイダ主体コンテンツ管理方式の提案
石井秀典、海谷治彦、海尻賢二
情報処理学会研究報告. MBL, [モバイルコンピューティングとユビキタス通信研究会研究報告], 2004(21), 103-109, 2004

A method to develop feasible requirements for Java mobile code application
Kaiya, H; Sasaki, K; Kaijiri, K
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E87D(4), 811-821, 2004

デジタルポートフォリオを利用したプロジェクト学習支援環境の提案
小林智子、海尻賢二
教育システム情報学会研究報告, 18(5), 34-41, 2004

Asynchronous Collaborative Learning System using Q&A
Ana HADIANA
4th international conference on Information Technology Based Higher Education, 2003

Peer Helpを利用した質問回答学習支援システム
アナ・ハディアナ
教育システム情報学会誌, 20(4), 2003

Lecture Recording System based on SMIL
Y.Suzuki, and H.Kaiya
ICCE2003, 2003

Trade-off Analysis between Security Policies for Java Mobile Codes and Requirements for Java Application
Haruhiko Kaiya,Kouta Sasaki,Yasunori Maebashi,Kenji Kaijiri
RE 2003, 357-358, 2003

Javaアプリケーションの要求仕様とセキュリティポリシィのトレードオフ分析
海谷治彦、佐々木宏太、海尻賢二
情報処理学会研究報告 ソフトウェア工学研究会報告, 2003(60), 17-24, 2003

PSPをもとにした形式手法有効性確認コースの設計
鈴森寿之、海谷治彦、海尻賢二
情報処理学会研究報告 ソフトウェア工学研究会報告, 2003(22), 63-70, 2003

VDM over PSP:A Pilot Course for VDM Beginners to Confirm its Fitness for Their Development
Hisayuki Suzumori, Haruhiko Kaiya, Kenji Kaijiri
COMPSAC, 327-334, 2003

オブジェクト指向プログラムのリバースエンジニアリング
齊藤寿和、海尻賢二
情報処理学会研究報告. ソフトウェア工学研究会報告, 2002(23), 119-126, 2002

非同期型遠隔教育支援システム(Active Web)に関する構築
ハディアナ　アナ、海尻賢二
情報処理学会研究報告. コンピュータと教育研究会報告, 2002(17), 45-50, 2002

Refining behavioral specification for satisfying non-functional requirements of stakeholders
Kaiya, H; Kaijiri, K
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E85D(4), 623-636, 2002

Support tool for Internet based workshop
共著, R. Sekimoto,H.Kaiya
Proceedings of Workshop On Web Intelligence and software Engineering, 2001

大学におけるプロセス改善教育のあり方について－PSP法実践の経験をもとに
海谷治彦、小島彰、海尻賢二
Software Symposium2001, 137-142, 2001

A diagnosis system of programming styles using program patterns
共著、R.Sekimoto,
電子情報通信学会英文論文誌 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E83-D(4), 722-728, Apr. 2000

Specifying Runtime Environments and Functionalities of Downloadable Compoｎents under the Sandbox Model
共著, K. Haruhiko
Proceedings of the International Symposium on Principles of Software Evolution, 138-142, 2000

新技術導入をトリガーとした面接型教育方法の変更促進
海谷治彦、関本理佳、海尻賢二
情報処理学会研究報告. ソフトウェア工学研究会報告, 2000(104), 153-158, 2000

プログラミングスタイルの診断システムの構築
関本理佳、海尻賢二
教育システム情報学会誌, 17(1), 21-29, 2000

ネットワークを利用したレポート受け付け評価支援システムの実現
教育システム情報学会誌, 14, 5, 1998

GUIを併記した00分析手法について
00シンポジウム, 98, 1998

ＷＥＢを利用したプログラムバグ診断システム
海尻賢二
教育システム情報学会研究報告, 1998

Novice program recognition diagnosis system based on goal plan concepts
Kaijiri, K
SYSTEMS AND COMPUTERS IN JAPAN, 27(2), 26-40, 1996

ゴール/プランに基づく初心者プログラムの認識システム
海尻賢二
電子情報通信学会論文誌 D-II, 情報・システム, II-パターン処理, 78(2), 321-332, 1995

HELP:Interactive Programming System
Kaijiri, K
Journal of information processing, 6(4), 239-241, 1983

２パス変換システムによるプリプロセッサ生成機の実現
海尻賢二
情報処理学会論文誌, 22(4), 376-382, 1981

ＳＬＲ（ｋ）パーザにおける誤り訂正，　回復について
海尻賢二、打浪清一、手塚慶一
情報処理, 18(3), 230-236, 1977

拡張弱順位関数
海尻賢二、打浪清一、手塚慶一
情報処理, 18(6), 542-549, 1977

計算機ソフトウェア
手塚慶一, Joint work
オーム社

Spectrum Analysis for Software Quality Requirements using Analyses Records.
Haruhiko Kaiya, Shunichi Suzuki, Toru Ogawa, Masaaki Tanigawa, Masahiro Umemura, and Kenji Kaijiri.
COMPSAC, 2011, IEEE

Exploring how to support software revision in software non-intensive projects using existing techniques
Haruhiko Kaiya, Kenichiro Hara, Kyotaro Kobayashi, Akira Osada, and Kenji Kaijiri
COMPSAC, 2011, IEEE

So/M: A Requirements Definition Tool using Characteristics of Existing Similar Systems
Kitazawa N, Osada A, Kamijo K, Kaiya H, Kaijiri K
Proceedings of the 32th Annual International Computer Software and App lications Conference, 2008, IEEE Computer Society,

Overview of a Factual Question Generator System
Aguilar G, Kaijiri K
ED-MEDIA 2008 : World Conference on Educational Multimedia, Hypermedia&Telecommunications, 2008, Association for the Advancement of Computing in Education,

The Role of Domain Knowledge Representation in Requirements Elicitation
Akira Osada, Daigo Ozawa, Haruhiko Kaiya and Kenji Kaijiri.
IASTED International Conference on Software Engineering, 2007

デザインパターンに基づくソフトウェアevolutionにおけるtraceability linkの利用
守田、表、海谷、海尻
KBSE研究会, 2007, 電子情報通信学会

Adaptive Approach for the Integration of Homogeneous Teams
G. Aguilar and K. Kaijiri
E-Learn 597-602, 2007, Association for the Advancement of Computing in Education,

System Design for Automatic Generation of Multiple-Choice Questions Adapted to Students' Understanding
Shin'ichi Tsumori and Kenji Kaijiri:
ITHET 541-546, 2007,

Learners and Knowledge: A New Personalization Factor Perspective for Adaptive Computer-based Assessment Systems
G. Aguilar, A.Gomez, and K.Kaijiri:
ED-Media 2143-2148, 2007, Association for the Advancement of Computing in Education,

拡張可能な診断記述項目を用いた多視点からのプログラム診断システム
高野佑一、海谷治彦、海尻賢二
全国大会講演論文集 第69回 449-450, 2007, 社団法人情報処理学会,

デザインパターンに基づいたTraceability Linkの構築とSoftware Evolutionのサポート
佐々木宏太、表　秀和、海谷治彦、海尻賢二
全国大会講演論文集 第67回 335-336, 2007, 社団法人情報処理学会,

Assessment Strategies for Learning Regulation to be Included in the Development of a Computer-based Assessment System
Aguilar G, Gómez A, Kaijiri K
Proceedings of Society for Information Technology and Teacher Education International Conference 10-15, 2007, Association for the Advancement of Computing in Education,

Adaptive Teaching And Learning Using A Classroom Communication System And An Adaptive Computer-Based Assessment Tool
Gabriela Aguilar, Adrianna Gomez, Kenji Kaijiri:
E-Learn, 2006

A Supporting Tool to Identify Both Satisfied Requirements and Tolerant Threats for A Java Mobile Code Application
Haruhiko Kaiya, Kouta Sasaki, Chikanobu Ogawa and Kenji Kaijiri
ICEIS, 2006

要求工学におけるドメイン知識表現の役割
長田、小澤、海谷、海尻
ソフトウェアエンジニリングシンポジウム, 2006, 情報処理学会

PORTAM: Policy, Requirements and Threats Analyzer for Mobile Code Application
Haruhiko Kaiya, Kouta Sasaki, Kenji Kaijiri:
QSIC 125-132, 2006, IEEE Computer Society,

Reliable Authentication Method by Using Cellular Phones in WBT
Hideyuki Takamizawa and Kenji Kaijiri
MCL, 2006, IEEE Computer Society,

課題の解としてのGUI プログラムの評価システム
横濱彰則、海谷治彦、海尻賢二
全国大会講演論文集 第68回 4 621-622, 2006, 社団法人情報処理学会,

プロセス改善の自己観測による仕様記述手法有効性体験コースの実施
鈴森寿之、久保田卓秀、長田晃、海谷治彦、海尻賢二
全国大会講演論文集 第67回 293-294, 2005, 社団法人情報処理学会,

ソフトウェア工学教育用プロジェクトコース支援システムに関する研究～診断プロセス～
鈴木善晴、高野祐一、海谷治彦、海尻賢二
全国大会講演論文集 第67回 435-436, 2005, 社団法人情報処理学会,

TabletPCを用いた講義の細粒度な記録再生
平川良太、海谷治彦、海尻賢二
全国大会講演論文集 第67回 483-484, 2005, 社団法人情報処理学会,

Modeling Software Characteristics and Their Correlations in A Specific Domain by Comparing Existing Similar Systems
Osada A, Ozawa D, Kaiya H, Kaijiri K
Proceedings : the Fifth International Conference on Quality Software 215-222, 2005, IEEE Computer Society,

類似する既存システムの比較による要求ビューポイントの識別
海谷治彦、久保田卓秀、長田晃、海尻賢二
ウィンターワークショップ2005・イン・伊豆論文集, 2005, 社団法人情報処理学会,

FC method: A Practical Approach to Improve Quality and Efficiency of Software Processes for Embedded System Revision
Aizawa K, Kaiya H, Kaijiri K
Proceedings of the 28th Annual International Computer Software and App lications Conference, 2004, IEEE Computer Society,

A Support Environment for Project-Based Learning Using a Digital Portfolio
Kobayashi T, Kaijiri K
Proceedings of the International Conference on Computers in Education (ICCE’04), 2004, IEEE Computer Society,

Fine-grained Recording and Streaming Lectures
Kaijiri K, Saitoh R, KaiyaH
Proceedings of the International Conference on Computers in Education (ICCE’04), 2004, IEEE Computer Society,

Software Evolution Support Using Traceability Link between UML diagrams
Omote H, Sasaki K, Kaiya H, Kaijiri K
Knowledge-based software engineering : proceedings of the Sixth Joint Conference on Knowledge-Based Software Engineering 15-23, 2004, IOS PRESS,

ステークホルダの期待に基づくゴール階層の構成法
海谷治彦、海尻賢二
ウィンターワークショップ・イン・神戸論文集 2003 5 63-64, 2003, 社団法人情報処理学会,

コラボレーションに基づく非同期型Q&A 支援システムの構築
アナ　ハディアナ、海尻賢二
FIT（情報科学技術フォーラム）2002, 2002, 社団法人情報処理学会,

A Web-Based VOD Clipping Tool for Efficient Private Review
Miyahara N, Kaiya H, Kaijiri K
Knowledge-based software engineering : proceedings of the fifth Joint Conference on Knowledge-Based Software Engineering 313-316, 2002, IOS PRESS,

SECURITY POLICY CHECKER AND GENERATOR FOR JAVA MOBILE CODES
Kaiya H, Furukawa H, Kaijiri K
Engineering Information Systems in the Internet Context 255-264, 2002, Kluwer Academic Publishers,

非機能要求を共通評価基準とした並列要求獲得法
海谷治彦、海尻賢二
ウィンターワークショップ・イン・神戸論文集 2002 2 29-30, 2002, 社団法人情報処理学会,

Specifying Downloadable Properties for Reusing Software Components : A Case Study of Java
Kaiya H, Kaijiri K
Knowledge-based software engineering : proceedings of the fourth joint Conference on Knowledge-Based Software Engineering, Brno, Czech Republic, 2000, 2000, IOS PRESS,

部品交換をトリガーとした要求仕様改定の促進
海谷治彦、海尻賢二
サマーワークショップ・イン・小樽 論文集 99 11 15-16, 1999, 社団法人情報処理学会,

Conducting Requirements Evolution by Replacing Components in the Current System
Kaiya H, Kaijiri K
Proceedings : sixth Asia-Pacific Software Engineering Conference 224-227, 1999, IEEE Computer Society,

Program Diagnosis System using World Wide Web
Kaijiri, K
Knowledge-based software engineering : proceedings of the Third Joint Conference on Knowledge-based Software Engineering in Smolenice, Slovakia, 1998, 1998, IOS PRESS,

A detection of ill-formed patterns about programming style
Sekimoto R, Kaijiri K
Knowledge-based software engineering : proceedings of the Third Joint Conference on Knowledge-based Software Engineering in Smolenice, Slovakia, 1998, 1998, IOS PRESS,

HyperCardに基づくプログラミング言語用知的ＣＡＩシステム
酒井　仁、海尻賢二
全国大会講演論文集 第39回平成元年後期 3 2157-2158, 1989, 社団法人情報処理学会,

ソフトウェアメトリクスに関する研究