海谷治彦

カイヤハルヒコ | Kaiya Haruhiko

所属機関・部署：
職名：教授
ホームページURL (2件)： http://www.sci.kanagawa-u.ac.jp/info/kaiya/ , http://www.sci.kanagawa-u.ac.jp/info/kaiya/index.html.en

研究分野 (4件)：ソフトウェア , ソフトウェア , ソフトウェア , ソフトウェア

研究キーワード (4件)： specification description , Requirements analysis , 仕様記述 , 要求分析

競争的資金等の研究課題 (24件)：

2015 - 2019 プライバシーとセキュリティを統合した要求分析フレームワーク

2015 - 2018 ゴール依存モデルとメトリクスを用いた要求獲得支援システムの構築

2014 - 2017 モデリングツールとソフトウェアセキュリティ知識ベースを連携したモデリング学習環境

2012 - 2015 セキュリティの変化に迅速に対応できるパターン指向ソフトウェア開発法の研究

2011 - 2013 情報システムの要求分析段階における脆弱性除去と対策選択を支援するシステムの開発

2011 - 2013 セマンティック要求工学の研究

2008 - 2010 スペクトル分析を用いたソフトウェア品質要求の妥当性と継承の確認法

2008 - 2010 法令や規則に適合したソフトウェア要求の獲得技術の研究

2007 - 2008 要求工学における品質評価指標の研究

2006 - 2007 類似既存システムの比較とステークホルダ毎の保有知識に基づく要求定義支援法

2005 - 2006 リポジトリを用いた要求獲得と要求進化の支援技術の研究

2004 - 2005 オントロジを用いたソフトウェア要求分析・設計技術の研究

2003 - 2004 ゴール指向分析を用いたJavaセキュリティポリィシィの確認法

2003 - 2004 ソフトウェアパッケージ指向の要求工学の研究

2000 - 2001 面接型教育支援システム構築を題材とした新技術導入の効果見積もり法の評価

1998 - 1999 ソフトウェア分散開発における共有情報の変更管理法

1996 - 1996 インフォーマル・インタラクションの情報を用いた共同作業支援システムの設計と実装

1995 - 1995 分散ソフトウェア開発における共同作業阻害要因の検出モデルに関する研究

1995 - 1995 ソフトウェア分散開発における協調作業モデルとその支援環境

全件表示

論文 (159件)：

Haruhiko Kaiya, Takeru Nakamura, Shinpei Ogata, Hiroyuki Nakagawa, Hironori Takeuchi. Rating the cost of quality in use for a business system using KAOS model. Procedia Computer Science. 2025. 270. 782-791
Takeharu Mitsuda, Hiroyuki Nakagawa, Haruhiko Kaiya, Hironori Takeuchi, Sinpei Ogata, Tatsuhiro Tsuchiya. Exhaustive Model Identification on Process Mining. Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering(ENASE). 2025. 449-456
COTTAGE: Supporting Threat Analysis for Security Novices with Auto-Generated Attack Defense Trees. 2025. 132-142
A Light-Weight Method of Concept Drift Detection using Heuristic Miner. 2024. 246. 2024. 343-352
Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi. Evaluating Introduction of Systems by Goal Dependency Modeling. IEICE Transaction on Information and Systems. 2024. E107-D. 10. 1297-1311

MISC (99件)：

書籍 (3件)：

要求工学
放送大学 2024 ISBN:9784595142031
Designing Secure Software by Testing Application of Security Patterns
IGI global 2019 ISBN:9781522563136
ソフトウェアエンジニアリング最前線 2007-情報処理学会SEシンポジウム (2007)
近代科学社 2007

Works (59件)：

Security Driven Requirements Refinement and Exploration of Architecture with multiple NFR points of view.
Takao Okubo, Nobukazu Yoshioka, and Haruhiko Kaiya 2014 -
国際会議論文 IR based Traceability Link Recovery Method Mining. In The Eightth International Conference on Software Engineering Advances (ICSEA13)
Takeyuki Ueda, Shinpei Ogata, Haruhiko Kaiya, and Kenji Kaijiri. 2013 -
国際会議論文 Validating Security Design Pattern Applications Using Model Testing, In Proceedings of International Conference on Availability, Reliability and Security (ARES 2013), IEEE CPS, 2-6 Sep., Regensburg, Germany.
Takanori Kobashi, Nobukazu Yoshioka, Takao Okubo, Haruhiko Kaiya, Hironori Washizaki and Yoshiaki Fukazawa. 2013 -
Goal-oriented security requirements analysis for a system used in several different activities
H. Kaiya, T. Okubo, N. Kanaya, Y. Suzuki, S. Ogata, K. Kaijiri, N. Yoshioka 2013 -
Goal-oriented security requirements analysis for a system used in several different activities
H. Kaiya, T. Okubo, N. Kanaya, Y. Suzuki, S. Ogata, K. Kaijiri, and N. Yoshioka. 2013 -

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

海谷 治彦