海尻 賢二 (カイジリ ケンジ)
工学部
特任教授 名誉教授
研究者情報
研究活動情報
論文
- IR Based Traceability Link Recovery Method Mining
Takeyuki Ueda,hinpei Ogata, Haruhiko Kaiya, Kenji Kaijiri
ICSEA, 2013年 - ソフトウェアが中心でない製品における既存技術を利用したソフトウェア改訂支援
海谷、原、古林、長田、海尻
論文誌, 53(2), 2012年 - 分析履歴を用いたソフトウェア品質要求のスペクトル分析法
海谷、鈴木、小川、谷川、梅村、海尻
論文誌, 53(2), 2012年 - 要求獲得のためのオントロジをWebマイニングにより拡充する手法の提案と評価
海谷、清水、安井、海尻、林、佐伯
論文誌, 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年 - 要求変更によるソースコードへのインパクトを分析するシステムの開発と評価
海谷、長田、原、海尻
論文誌, 93-D(10), 2010年 - 類似する既存システムの比較による要求ビューポイントの識別
海谷、北澤、長田、海尻
論文誌, 93-D(10), 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, 2000年04月 - 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年
講演・口頭発表等
- 多数決手法によるError Prone予測手法の評価
高橋、大西、小形、海谷、海尻
KBSE研究会 2012 7, 2012年, 電子情報通信学会 - Ajaxアプリケーションの複雑性メトリクスの提案とツールの試作
加賀谷、海谷、海尻
SS研究会 2012 3, 2012年, 電子情報通信学会 - ソフトウェアプロジェクトにおけるtraceabilityの確立 - 実プロジェクトへの適用
宮下、海谷、海尻
SS研究会 2012 3, 2012年, 電子情報通信学会 - 原因指向脆弱性モデルに基づくWebアプリケーションのセキュリティ要求分析支援
西野、阪井、海谷
KBSE研究会 2012 1, 2012年, 電子情報通信学会 - サブモデルの再利用とメトリクスによるｉ＊SDモデルの改訂支援
森田、海谷、海尻
KBSE研究会 2012 1, 2012年, 電子情報通信学会 - 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年, 社団法人情報処理学会,
