(最終更新日:2023-12-19 16:27:22)
  カイヤ ハルヒコ   Kaiya Haruhiko
  海谷 治彦
   所属   神奈川大学  情報学部 計算機科学科
    神奈川大学大学院  理学研究科 理学専攻(情報科学領域)
   職種   教授
■ 専門分野
要求分析, 仕様記述, ソフトウェア工学, ソフトウェアセキュリティ (キーワード:要求分析、仕様記述) 
■ 学位等
博士(工学)
■ 著書・論文歴
1. 著書  Designing Secure Software by Testing Application of Security Patterns Exploring Security in Software Architecture and Design 6,pp.136-169 (共著) 2019/01 Link
2. 著書  Designing Secure Software by Testing Application of Security Patterns Exploring Security in Software Architecture and Design 6,pp.136-169 (共著) 2019/01 Link
3. 著書  ソフトウェアエンジニアリング最前線 2007―情報処理学会SEシンポジウム (2007)   (共著) 2007/09
4. 論文  Finding Contributable Activities Using Non-Verb Attributes In Events Procedia Computer Science 225,pp.507-516 (共著) 2023/09 Link
5. 論文  A Proposal to Find Mutually Contributable Business or Life Activities Using Conformance Checking Procedia Computer Science 207,pp.542-551 (共著) 2022/09 Link
全件表示(136件)
■ ホームページ
   海谷
■ 本学関連サイト
1. 「神大の先生」サイトページ Link