English
→神奈川大学公式ホームページへ
→神大の先生サイトへ
(最終更新日:2022-12-09 16:58:36)
カイヤ ハルヒコ
Kaiya Haruhiko
海谷 治彦
所属
神奈川大学 情報学部 計算機科学科
神奈川大学大学院 理学研究科 理学専攻(情報科学領域)
職種
教授
■
専門分野
要求分析, 仕様記述, ソフトウェア工学, ソフトウェアセキュリティ (キーワード:要求分析、仕様記述)
■
学位等
博士(工学)
■
著書・論文歴
1.
著書
Designing Secure Software by Testing Application of Security Patterns (共著) 2019/01
2.
著書
Designing Secure Software by Testing Application of Security Patterns (共著) 2019/01
3.
著書
ソフトウェアエンジニアリング最前線 2007―情報処理学会SEシンポジウム (2007) (共著) 2007/09
4.
論文
A Proposal to Find Mutually Contributable Business or Life Activities Using Conformance Checking (共著) 2022/09
5.
論文
Efficient secure DevOps using process mining and Attack Defense Trees (共著) 2022/09
6.
論文
Reference Model for Agile Development of Machine Learning-based Service Systems (共著) 2021/12
7.
論文
Tools for logging and analyzing goal dependency modeling (共著) 2021/08
8.
論文
Systematic Literature Review of Security Pattern Research (共著) 2021/01
9.
論文
A Tool to Manage Traceability on Several Models and Its Use Case (共著) 2020/10
10.
論文
Evaluating Mutual Requirements Evolution of Several Information Systems (単著) 2020/10
11.
論文
Experimental Evaluation of Traceability Checking Tool for Goal Dependency Modeling (共著) 2020/07
12.
論文
Quantitative Analysis of Goal Oriented Requirements Models (単著) 2020/07
13.
論文
Mutual Requirements Evolution by Combining Different Information Systems (共著) 2019/11
14.
論文
A System for Seamless Support from Security Requirements Analysis to Security Design Using a Software Security Knowledge Base (共著) 2019/09
15.
論文
Towards A Knowledge Base for Software Developers to Choose Suitable Traceability Techniques (共著) 2019/09
16.
論文
Landscape of IoT patterns (共著) 2019/05
17.
論文
Taxonomy and Literature Survey of Security Pattern Research (共著) 2018/11
18.
論文
Meta-Requirements for Information System Requirements: Lesson Learned from Software Ecosystem Researches. (単著) 2018/09
19.
論文
Requirements Exploration by Comparing and Combining Models of Different Information Systems (共著) 2018/08
20.
論文
Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model. (共著) 2018/08
21.
論文
Security Requirement Modeling Support System using Software Security Knowledge Base (共著) 2018/07
22.
論文
Generalizing and Composing Goals and Objects in a Scenario Together for Requirements Analysis (共著) 2018/03
23.
論文
Cloud Security and Privacy Metamodel - Metamodel for Security and Privacy Knowledge in Cloud Services (共著) 2018/01
24.
論文
Goal Modeling for Security Problem Matching and Pattern Enforcement (共著) 2017/12
25.
論文
Eliciting requirements for improving users' behavior using transparency (共著) 2017/11
26.
論文
A CASE tool for Goal Dependency Model with Attributes based on An Existing UML Editor (共著) 2017/09
27.
論文
Preliminary Systematic Literature Review of Software and Systems Traceability (共著) 2017/09
28.
論文
Identifying fundamental goals from objects in a scenario to facilitate system introduction (共著) 2017/07
29.
論文
Traceability Link Mining - Focusing on Usability - (共著) 2017/07
30.
論文
Early Requirements Analysis for a Socio-Technical System based on Goal Dependencies (共著) 2016/09
31.
論文
Literature Survey on Technologies for Developing Privacy-aware Software (共著) 2016/09
32.
論文
Modelling Goal Dependencies and Domain Model Together (単著) 2016/09
33.
論文
Requirements Analysis for Privacy Protection and Third Party Awareness using Logging Models (共著) 2016/09
34.
論文
A Metamodel for Security and Privacy Knowledge in Cloud Services (共著) 2016/07
35.
論文
要求獲得のためのシソーラス構築支援 (共著) 2016/07
36.
論文
Implementation Support of Security Design Patterns Using Test Templates (共著) 2016/06
37.
論文
Annotating Goals with Concerns in Goal-Oriented Requirements Engineering (共著) 2016/02
38.
論文
Finding Potential Threats in Several Security Targets for Eliciting Security Requirements (共著) 2015/10
39.
論文
A Case-based Management System for Secure Software Development Using Software Security Knowledge (共著) 2015/09
40.
論文
Case Base for Secure Software Development Using Software Security Knowledge Base (共著) 2015/07
41.
論文
Multi-Dimensional Goal Refinement in Goal-Oriented Requirements Engineering (共著) 2015/07
42.
論文
TESEM: A tool for verifying security design pattern applications by model testing (共著) 2015/04
43.
論文
入力保存機能に着目したモデル駆動ユーザビリティ評価法の提案と評価 (共著) 2015/01
44.
論文
静的解析によるAndroidパーミッションの利用目的の可視化方法 (共著) 2015/01
45.
論文
Security and Privacy Behavior Definition for Behavior Driven Development (共著) 2014/12
46.
論文
Validating Security Design Pattern Applications by Testing Design Models (共著) 2014/12
47.
論文
Verification of Implementing Security Design Patterns Using a Test Template (共著) 2014/09
48.
論文
MASG: Advanced Misuse Case Analysis Model with Assets and Security Goals (共著) 2014/07
49.
論文
Requirements Refinement and Exploration of Architecture for Security and Other NFRs (共著) 2014/06
50.
論文
Security Requirements Analysis Using Knowledge in CAPEC (共著) 2014/06
51.
論文
情報検索手法に基づくトレーサビリティリンク回復のための手法オプションについてのマイニングの提案と評価. (共著) 2014/05
52.
論文
Eliciting Security Requirements for an Information System using Asset Flows and Processor Deployment (共著) 2013/11
53.
論文
機能要求に必要な品質要求の機械学習による予測法 (共著) 2013/11
54.
論文
Enhancing Goal-Oriented Security Requirements Analysis Using Common Criteria-Based Knowledge (共著) 2013/09
55.
論文
Spectrum analysis on quality requirements consideration in software design documents (共著) 2013/07
56.
論文
Finding incorrect and missing quality requirements definitions using requirements frame (共著) 2012/04
57.
論文
Impact analysis on an attributed goal graph (共著) 2012/04
58.
論文
Toward the decision tree for inferring requirements maturation types (共著) 2012/04
59.
論文
Analyzing Impacts on Software Enhancement Caused by Security Design Alternatives with Patterns (共著) 2012/03
60.
論文
ソフトウェアが中心でない製品における既存技術を利用したソフトウェア改訂支援 (共著) 2012/02
61.
論文
分析履歴を用いたソフトウェア品質要求のスペクトル分析法 (共著) 2012/02
62.
論文
要求獲得のためのオントロジをWebマイニングにより拡充する手法の提案 と評価 (共著) 2012/02
63.
論文
要求変更によるソースコードへのインパクトを分析するシステムの開発と評価. (共著) 2010/10
64.
論文
類似既存システムの情報を利用した要求獲得支援システムの開発と評価 (共著) 2010/10
65.
論文
An Integrated Support for Attributed Goal-Oriented Requirements Analysis Method and Its Implementation (共著) 2010/07
66.
論文
Towards an Integrated Support for Traceability of Quality Requirements using Software Spectrum Analysis (共著) 2010/07
67.
論文
Improving Reliability of Spectrum Analysis for Software Quality Requirements using TCM (共著) 2010/04
68.
論文
シソーラスを利用した要求獲得方法(THEOREE) (共著) 2009/12
69.
論文
Identifying Stakeholders and Their Preferences about NFR by Comparing Use Case Diagrams of Several Existing Systems (共著) 2008/04
70.
論文
PORTAM: policy, requirements, and threats analyzer for mobile code applications (共著) 2008/04
71.
論文
要求獲得におけるドメイン知識表現の役割 (共著) 2007/08
72.
論文
Goal Oriented Requirements Engineering: Trends and Issues (共著) 2006/11
73.
論文
Improving the Detection of Requirements Discordances Among Stakeholders (共著) 2005/12
74.
論文
Practical and Incremental Maintenance of Software Resources in Consumer Electronics Products (共著) 2005/06
75.
論文
A Method to Develop Feasible Requirements for Java Mobile Code Application (共著) 2004/04
76.
論文
Refining Behavioral Specification for Satisfying Non-functional Requirements of Stakeholders (共著) 2002/04
77.
論文
代案発生に注目したソフトウェアの共同設計作業における認識不一致の分析 (単著) 1999/11
78.
論文
対面式会議を支援する計算機システムの評価実験 (共著) 1996/06
79.
論文
プロダクトをもとにしたソフトウェアの仕様作成のための会議の分析法 (共著) 1995/05
80.
その他
Security Driven Requirements Refinement and Exploration of Architecture with multiple NFR points of view. (共著) 2014/01
81.
その他
国際会議論文
IR based Traceability Link Recovery Method Mining. In The Eightth International Conference on Software Engineering Advances (ICSEA13) (共著) 2013/10
82.
その他
国際会議論文
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. (共著) 2013/09
83.
その他
Goal-oriented security requirements analysis for a system used in several different activities (共著) 2013/06
84.
その他
Model Transformation Patterns for Introducing Suitable Information Systems (共著) 2012/12
85.
その他
Predicting Quality Requirements Necessary for a Functional Requirement based on Machine Learning (共著) 2012/11
86.
その他
Validating Quality Requirements Considerations in a Design Document using Spectrum Analysis (共著) 2012/08
87.
その他
Improving Software Quality Requirements Specifications Using Spectrum Analysis (共著) 2012/07
88.
その他
Mutual Refinement of Security Requirements and Architecture Using Twin Peaks Model (共著) 2012/07
89.
その他
Facilitating Business Improvement by Information Systems using Model Transformation and Metrics (共著) 2012/06
90.
その他
Effective Security Impact Analysis with Patterns for Software Enhancement (共著) 2011/08
91.
その他
Exploring how to support software revision in software non-intensive projects using existing techniques (共著) 2011/07
92.
その他
Quality Requirements Analysis using Requirements Frames (共著) 2011/07
93.
その他
Spectrum Analysis for Software Quality Requirements using Analyses Records (共著) 2011/07
94.
その他
Checking Regulatory Compliance of Business Processes and Information Systems (共著) 2011
95.
その他
Enhancing Domain Knowledge for Requirements Elicitation with Web Mining (共著) 2010/11
96.
その他
Measuring Characteristics of Models and Model Transformations Using Ontology and Graph Rewriting Techniques (共著) 2010
97.
その他
A Tool for Attributed Goal-Oriented Requirements Analysis (共著) 2009/11
98.
その他
Tool Support for Requirements Changes in AGORA (共著) 2009/09
99.
その他
ソフトウェア成果物のためのスペクトル分析 (単著) 2009/09
100.
その他
Spectrum Analysis for Quality Requirements by using A Term-Characteristics Map (共著) 2009/06
101.
その他
Security Requirements Elicitation Using Method Weaving and Common Criteria (共著) 2009/04
102.
その他
A Systematic Method for Generating Quality Requirements Spectrum (共著) 2009/03
103.
その他
Extracting Conceptual Graphs from Japanese Documents for Software Requirements Modeling (共著) 2009/01
104.
その他
A Supporting Tool for Requirements Elicitation Using a Domain Ontology (共著) 2008/11
105.
その他
Enforcing a Security Pattern in Stakeholder Goal Models (共著) 2008/10
106.
その他
Supporting Requirements Change Management in Goal Oriented Analysis (共著) 2008/09
107.
その他
So/M: A Requirements Definition Tool using Characteristics of Existing Similar Systems (共著) 2008/07
108.
その他
Supporting the Elicitation of Requirements Compliant with Regulations (共著) 2008/06
109.
その他
Proposing Metrics of Difficulty of Domain Knowledge using Usecase Diagrams (共著) 2008/03
110.
その他
Toward Quality Requirements Analysis based on Domain Specific Quality Spectrum (共著) 2008/03
111.
その他
GOORE: Goal-Oriented and Ontology Driven Requirements Elicitation Method (共著) 2007/11
112.
その他
An Integrated Tool For Supporting Ontology Driven Requirements Elicitation (共著) 2007/07
113.
その他
PORTAM: Policy, Requirements and Threats Analyzer for Mobile Code Application (共著) 2006/10
114.
その他
要求獲得におけるドメイン知識表現の役割 (共著) 2006/10
115.
その他
Using Domain Ontology as Domain Knowledge for Requirements Elicitation (共著) 2006/09
116.
その他
Modeling Software Characteristics and Their Correlations in a Specific Domain by Comparing Existing Similar Systems (共著) 2005/09
117.
その他
Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach (共著) 2005/09
118.
その他
Weaving Multiple Viewpoint Specifications in Goal Oriented Requirements Analysis (共著) 2004/11
119.
その他
FC method: A Practical Approach to Improve Quality and Efficiency of Software Processes for Embedded System Revision (共著) 2004/09
120.
その他
Identifying Stakeholders and Their Preferences about NFR by Comparing Use Case Diagrams of Several Existing Systems (共著) 2004/09
121.
その他
Software Evolution Support Using Traceability Link between UML diagrams (共著) 2004/08
122.
その他
Identifying Requirements Gaps among Stakeholders by using Goal Oriented Analysis (共著) 2004/06
123.
その他
PAORE: Package oriented requirements elicitation (共著) 2003/12
124.
その他
VDM over PSP: A Pilot Course for VDM Beginners to Confirm its Suitability for Their Development (共著) 2003/11
125.
その他
Trade-off Analysis between Security Policies for Java Mobile Codes and Requirements for Java Application (共著) 2003/09
126.
その他
AGORA: Attributed Goal-Oriented Requirements Analysis Method (共著) 2002/09
127.
その他
大学におけるプロセス改善教育のあり方について - PSP法実践の経験をもとに (共著) 2001/06
128.
その他
Specifying Runtime Environments and Functionalities of Downloadable Components under the Sandbox Model (共著) 2000/11
129.
その他
Conducting Requirements Evolution by Replacing Components in the Current System (共著) 1999/12
130.
その他
作図を目的とした摺合せ作業における認識の不一致を検出する手法の提案 (単著) 1996/12
131.
その他
共同ソフトウェア開発における非同期型コミュニケーションの生産物への影響 (共著) 1996/12
132.
その他
Structuring Utterance Records for Requirements Elicitation Meetings Based on Speech Act Theory (共著) 1996/04
133.
その他
Building the structure of specification documents from utterances of requirements elicitation meetings (共著) 1995/12
134.
その他
Design of a Hyper Media Tool to support Requirements Elicitation Meetings (共著) 1995/07
5件表示
全件表示(134件)
■
ホームページ
海谷
■
本学関連サイト
1.
「神大の先生」サイトページ
Copyright © Kanagawa University. All Rights Reserved.