海谷治彦

カイヤハルヒコ | 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 ソフトウェア分散開発における協調作業モデルとその支援環境

全件表示

論文 (130件)：

Finding Contributable Activities Using Non-Verb Attributes In Events. 2023. 225. 507-516
Takao Okubo, Haruhiko Kaiya. Efficient secure DevOps using process mining and Attack Defense Trees. Procedia Computer Science. 2022. 207. 446-455
A Proposal to Find Mutually Contributable Business or Life Activities Using Conformance Checking. Procedia Computer Science. 2022. 207. 542-551
Shinpei Ogata, Hiroyuki Nakagawa, Haruhiko Kaiya, Hironori Takeuchi. A Study on Analyzing Learner Behaviors in State Machine Modeling Using Process Mining and Statistical Test. 2022. 30. 141-153
Hironori Takeuchi, Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata. Reference Model for Agile Development of Machine Learning-based Service Systems. 2021. 17-20

MISC (99件)：

書籍 (2件)：

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

Works (58件)：

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の登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

海谷 治彦