研究者情報 - 海谷　治彦

（最終更新日：2024-10-02 14:24:17）

  カイヤ　ハルヒコ   Kaiya Haruhiko
  海谷　治彦
   所属   神奈川大学情報学部計算機科学科

神奈川大学大学院理学研究科理学専攻（情報科学領域）

職種教授

■ 専門分野

要求分析, 仕様記述, ソフトウェア工学, ソフトウェアセキュリティ　（キーワード：要求分析、仕様記述）

■ 学位等

博士（工学）

■ 著書・論文歴

1.	著書	要求工学（共著） 2024/03
2.	著書	Designing Secure Software by Testing Application of Security Patterns Exploring Security in Software Architecture and Design 6,pp.136-169 （共著） 2019/01
3.	著書	Designing Secure Software by Testing Application of Security Patterns Exploring Security in Software Architecture and Design 6,pp.136-169 （共著） 2019/01
4.	著書	ソフトウェアエンジニアリング最前線 2007―情報処理学会SEシンポジウム (2007) （共著） 2007/09
5.	論文	Evaluating Introduction of Systems by Goal Dependency Modeling IEICE Transaction on Information and Systems E107-D(10),pp.1297-1311 （共著） 2024/10
6.	論文	制約概念を取り入れた要求獲得のためのシソーラス情報処理学会研究報告 2024-SE-217(9),118-125頁（共著） 2024/07
7.	論文	Finding Contributable Activities Using Non-Verb Attributes In Events Procedia Computer Science 225,pp.507-516 （共著） 2023/09
8.	論文	Practice-based Collection of Bad Smells in Machine Learning Projects Procedia Computer Science 225(2023),pp.517-526 （共著） 2023/09
9.	論文	A Proposal to Find Mutually Contributable Business or Life Activities Using Conformance Checking Procedia Computer Science 207,pp.542-551 （共著） 2022/09
10.	論文	Efficient secure DevOps using process mining and Attack Defense Trees Procedia Computer Science 207,pp.446-455 （共著） 2022/09
11.	論文	A Study on Analyzing Learner Behaviors in State Machine Modeling Using Process Mining and Statistical Test Learning and Analytics in Intelligent Systems 30,pp.141-153 （共著） 2022/08
12.	論文	Reference Model for Agile Development of Machine Learning-based Service Systems pp.17-20 （共著） 2021/12
13.	論文	Tools for logging and analyzing goal dependency modeling 192,pp.1639-1648 （共著） 2021/08
14.	論文	Systematic Literature Review of Security Pattern Research 12(1),pp.36-36 （共著） 2021/01
15.	論文	A Tool to Manage Traceability on Several Models and Its Use Case Procedia Computer Science 176,pp.1449-1458 （共著） 2020/10
16.	論文	Evaluating Mutual Requirements Evolution of Several Information Systems Procedia Computer Science 176,pp.1251-1260 （単著） 2020/10
17.	論文	Experimental Evaluation of Traceability Checking Tool for Goal Dependency Modeling Learning and Analytics in Intelligent Systems 19,pp.70-83 （共著） 2020/07
18.	論文	Quantitative Analysis of Goal Oriented Requirements Models Learning and Analytics in Intelligent Systems 19,pp.1-6 （単著） 2020/07
19.	論文	Mutual Requirements Evolution by Combining Different Information Systems PCI '19 Proceedings of the 23rd Pan-Hellenic Conference on Informatics pp.159-162 （共著） 2019/11
20.	論文	A System for Seamless Support from Security Requirements Analysis to Security Design Using a Software Security Knowledge Base 2019 IEEE 27th International Requirements Engineering Conference Workshops (REW) pp.134-140 （共著） 2019/09
21.	論文	Towards A Knowledge Base for Software Developers to Choose Suitable Traceability Techniques Procedia Computer Science 159(2019),pp.1075-1084 （共著） 2019/09
22.	論文	Landscape of IoT patterns SERP4IoT pp.57-60 （共著） 2019/05
23.	論文	Taxonomy and Literature Survey of Security Pattern Research AINS 2018 pp.87-92 （共著） 2018/11
24.	論文	Meta-Requirements for Information System Requirements: Lesson Learned from Software Ecosystem Researches. Procedia Computer Science 126,pp.1243-1252 （単著） 2018/09
25.	論文	Requirements Exploration by Comparing and Combining Models of Different Information Systems Smart Innovation, Systems and Technologies 108,pp.64-74 （共著） 2018/08
26.	論文	Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model. Smart Innovation, Systems and Technologies 108,pp.158-167 （共著） 2018/08
27.	論文	Security Requirement Modeling Support System using Software Security Knowledge Base pp.234-239 （共著） 2018/07
28.	論文	Generalizing and Composing Goals and Objects in a Scenario Together for Requirements Analysis International Conference on Information Intelligence Systems Applications 8,pp.1-6 （共著） 2018/03
29.	論文	Cloud Security and Privacy Metamodel - Metamodel for Security and Privacy Knowledge in Cloud Services International Conference onModel-Driven Engineering and SoftwareDevelopment 6 （共著） 2018/01
30.	論文	Goal Modeling for Security Problem Matching and Pattern Enforcement International Journal of Secure Software Engineering (IJSSE) 8(3),pp.42-57 （共著） 2017/12
31.	論文	Eliciting requirements for improving users' behavior using transparency Springer CCIS 809,pp.41-56 （共著） 2017/11
32.	論文	A CASE tool for Goal Dependency Model with Attributes based on An Existing UML Editor Procedia Computer Science 112,pp.1196-1205 （共著） 2017/09
33.	論文	Preliminary Systematic Literature Review of Software and Systems Traceability Procedia Computer Science 112,pp.1141-1150 （共著） 2017/09
34.	論文	Identifying fundamental goals from objects in a scenario to facilitate system introduction COMPSAC 2017 pp.276-277 （共著） 2017/07
35.	論文	Traceability Link Mining - Focusing on Usability - COMPSAC 2017 pp.286-287 （共著） 2017/07
36.	論文	Early Requirements Analysis for a Socio-Technical System based on Goal Dependencies The 15th International Conference 0n Intelligent Software Methodologies, Tools and Techniques pp.125-138 （共著） 2016/09
37.	論文	Literature Survey on Technologies for Developing Privacy-aware Software IEEE 24th International Requirements Engineering Conference Workshops, ESPRE pp.86-91 （共著） 2016/09
38.	論文	Modelling Goal Dependencies and Domain Model Together KES-2016 Procedia Computer Science 96,pp.791-800 （単著） 2016/09
39.	論文	Requirements Analysis for Privacy Protection and Third Party Awareness using Logging Models New Trends in Software Methodologies, Tools and Techniques pp.155-166 （共著） 2016/09
40.	論文	A Metamodel for Security and Privacy Knowledge in Cloud Services IEEE Services 2016 pp.142-143 （共著） 2016/07
41.	論文	要求獲得のためのシソーラス構築支援情報処理学会論文誌 57(7),1576-1589頁（共著） 2016/07
42.	論文	Implementation Support of Security Design Patterns Using Test Templates i nformation 7(2),pp.34-34 （共著） 2016/06
43.	論文	Annotating Goals with Concerns in Goal-Oriented Requirements Engineering Communications in Computer and Information Science (CCIS) 586,pp.269-286 （共著） 2016/02
44.	論文	Finding Potential Threats in Several Security Targets for Eliciting Security Requirements ICCGI 2015: The 10th International Multi-Conference on Computing in the Global Information Technolo pp.83-92 （共著） 2015/10
45.	論文	A Case-based Management System for Secure Software Development Using Software Security Knowledge 60,pp.1092-1100 （共著） 2015/09
46.	論文	Case Base for Secure Software Development Using Software Security Knowledge Base The 39th Annual International Computers, Software and Applications Conference, Workshop (STPSA 2015) pp.97-103 （共著） 2015/07
47.	論文	Multi-Dimensional Goal Refinement in Goal-Oriented Requirements Engineering 10th Internatonal Conference on Software Engineering and Applications Proceedings pp.185-195 （共著） 2015/07
48.	論文	TESEM: A tool for verifying security design pattern applications by model testing 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 （共著） 2015/04
49.	論文	入力保存機能に着目したモデル駆動ユーザビリティ評価法の提案と評価コンピュータソフトウェア 32(1),147-160頁（共著） 2015/01
50.	論文	静的解析によるAndroidパーミッションの利用目的の可視化方法情報処理学会論文誌 56(1),391-400頁（共著） 2015/01
51.	論文	Security and Privacy Behavior Definition for Behavior Driven Development Product-Focused Software Process Improvement (Profes 2014), LNCS 8892 pp.306-309 （共著） 2014/12
52.	論文	Validating Security Design Pattern Applications by Testing Design Models International Journal of Secure Software Engineering (IJSSE) 5(4),pp.1-30 （共著） 2014/12
53.	論文	Verification of Implementing Security Design Patterns Using a Test Template Proceedings of International Conference on Availability, Reliability and Security (ARES 2014) pp.178-183 （共著） 2014/09
54.	論文	MASG: Advanced Misuse Case Analysis Model with Assets and Security Goals Journal of Information Processing 22(3),pp.536-546 （共著） 2014/07
55.	論文	Requirements Refinement and Exploration of Architecture for Security and Other NFRs Lecture Notes in Business Information Processing (LNBIP) 178,pp.286-298 （共著） 2014/06
56.	論文	Security Requirements Analysis Using Knowledge in CAPEC Lecture Notes in Business Information Processing (LNBIP) 178,pp.343-348 （共著） 2014/06
57.	論文	情報検索手法に基づくトレーサビリティリンク回復のための手法オプションについてのマイニングの提案と評価. 電子情報通信学会論文誌, Vol. J97-D, No. 3, 414-426頁（共著） 2014/05
58.	論文	Eliciting Security Requirements for an Information System using Asset Flows and Processor Deployment International Journal of Secure Software Engineering (IJSSE), IGI Global, Vol. 4, Issue 3. （共著） 2013/11
59.	論文	機能要求に必要な品質要求の機械学習による予測法電子情報通信学会論文誌和文D （共著） 2013/11
60.	論文	Enhancing Goal-Oriented Security Requirements Analysis Using Common Criteria-Based Knowledge International Journal of Software Engineering and Knowledge Engineering (IJSEKE). World Scientific Publishing. （共著） 2013/09
61.	論文	Spectrum analysis on quality requirements consideration in software design documents SpringerPlus, Vol. 2, Issue 1, No. 310. （共著） 2013/07
62.	論文	Finding incorrect and missing quality requirements definitions using requirements frame IEICE Transactions on Information and Systems, Vol. E95-D, No. 4. 1031-1043頁（共著） 2012/04
63.	論文	Impact analysis on an attributed goal graph IEICE Transactions on Information and Systems, Vol. E95-D, No. 4. 1012-1020頁（共著） 2012/04
64.	論文	Toward the decision tree for inferring requirements maturation types IEICE Transactions on Information and Systems, Vol. E95-D, No. 4. pp. 1021-1030頁（共著） 2012/04
65.	論文	Analyzing Impacts on Software Enhancement Caused by Security Design Alternatives with Patterns 37-61頁（共著） 2012/03
66.	論文	ソフトウェアが中心でない製品における既存技術を利用したソフトウェア改訂支援情報処理学会論文誌, Vol. 53, No. 2. 653-661頁（共著） 2012/02
67.	論文	分析履歴を用いたソフトウェア品質要求のスペクトル分析法情報処理学会論文誌, Vol. 53, No. 2. 510-522頁（共著） 2012/02
68.	論文	要求獲得のためのオントロジをWebマイニングにより拡充する手法の提案と評価情報処理学会論文誌, Vol. 53, No. 2. 495-509頁（共著） 2012/02
69.	論文	要求変更によるソースコードへのインパクトを分析するシステムの開発と評価. 電子情報通信学会論文誌, Vol. J93-D, No. 10. 1822-1835頁（共著） 2010/10
70.	論文	類似既存システムの情報を利用した要求獲得支援システムの開発と評価電子情報通信学会論文誌, Vol. J93-D, No. 10. 1836-1850頁（共著） 2010/10
71.	論文	An Integrated Support for Attributed Goal-Oriented Requirements Analysis Method and Its Implementation Proc. of the 10th International Conference on Quality Software, IEEE CPS. 357-360頁（共著） 2010/07
72.	論文	Towards an Integrated Support for Traceability of Quality Requirements using Software Spectrum Analysis Proceedings of the 5th International Conference on Software and Data Technologies (ICSOFT). 187-194頁（共著） 2010/07
73.	論文	Improving Reliability of Spectrum Analysis for Software Quality Requirements using TCM IEICE Transactions on Information and Systems, Vol. E93-D, No. 4. 702-712頁（共著） 2010/04
74.	論文	シソーラスを利用した要求獲得方法（THEOREE）情報処理学会論文誌, Vol. 50, No. 12. 3001-3017頁（共著） 2009/12
75.	論文	Identifying Stakeholders and Their Preferences about NFR by Comparing Use Case Diagrams of Several Existing Systems IEICE Transactions on Information and Systems, Vol. E91-D, No. 4. 897-906頁（共著） 2008/04
76.	論文	PORTAM: policy, requirements, and threats analyzer for mobile code applications Progress in Informatics, No. 5. 7-18頁（共著） 2008/04
77.	論文	要求獲得におけるドメイン知識表現の役割情報処理学会論文誌, Vol. 48, No. 8. 2522-2533頁（共著） 2007/08
78.	論文	Goal Oriented Requirements Engineering: Trends and Issues IEICE Transactions on Information and Systems, Vol. E89-D, No. 11. 2701-2711頁（共著） 2006/11
79.	論文	Improving the Detection of Requirements Discordances Among Stakeholders Requirements Engineering, Springer-Verlag, Vol. 10, No. 4. 289 - 303頁（共著） 2005/12
80.	論文	Practical and Incremental Maintenance of Software Resources in Consumer Electronics Products IEICE Transactions on Information and Systems, Vol. E88-D, No. 6. 1117-1125頁（共著） 2005/06
81.	論文	A Method to Develop Feasible Requirements for Java Mobile Code Application IEICE Trans. Inf. and Systems, Vol. E87-D, No. 4. 811-821頁（共著） 2004/04
82.	論文	Refining Behavioral Specification for Satisfying Non-functional Requirements of Stakeholders IEICE Trans. Inf. and Systems, Vol. E87-D, No. 4. 623-636頁（共著） 2002/04
83.	論文	代案発生に注目したソフトウェアの共同設計作業における認識不一致の分析情報処理学会論文誌, Vol.40, No.11. 3878-3886頁（単著） 1999/11
84.	論文	対面式会議を支援する計算機システムの評価実験電子情報通信学会論文誌, Vol. J79-D-I, No.6. 341-352頁（共著） 1996/06
85.	論文	プロダクトをもとにしたソフトウェアの仕様作成のための会議の分析法電子情報通信学会論文誌, Vol. J78-D-I, No. 1 23-31頁（共著） 1995/05
86.	その他	Security Driven Requirements Refinement and Exploration of Architecture with multiple NFR points of view. 201-205頁（共著） 2014/01
87.	その他	国際会議論文 IR based Traceability Link Recovery Method Mining. In The Eightth International Conference on Software Engineering Advances (ICSEA13) 278-284頁（共著） 2013/10
88.	その他	国際会議論文 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. 62-71頁（共著） 2013/09
89.	その他	Goal-oriented security requirements analysis for a system used in several different activities Advanced Information Systems Engineering Workshops, Vol. 148 of Lecture Notes in Business Information Processing (LNBIP), Springer. 478-489頁（共著） 2013/06
90.	その他	Model Transformation Patterns for Introducing Suitable Information Systems Proceedings of 19th Asia-Pacific Software Engineering Conference (APSEC 2012), IEEE CPS. 434-439頁（共著） 2012/12
91.	その他	Predicting Quality Requirements Necessary for a Functional Requirement based on Machine Learning The Seventh International Conference on Software Engineering Advances (ICSEA 2012), IARIA. 540-547頁（共著） 2012/11
92.	その他	Validating Quality Requirements Considerations in a Design Document using Spectrum Analysis Knowledge-Based Software Engineering, IOS Press. 88-97頁（共著） 2012/08
93.	その他	Improving Software Quality Requirements Specifications Using Spectrum Analysis 36th Annual IEEE International Computer Software and Applications Conference Workshops (COMPSACW 2012), IEEE CPS. 379-384頁（共著） 2012/07
94.	その他	Mutual Refinement of Security Requirements and Architecture Using Twin Peaks Model 36th Annual IEEE International Computer Software and Applications Conference Workshops (COMPSACW 2012), IEEE CPS. 367-372頁（共著） 2012/07
95.	その他	Facilitating Business Improvement by Information Systems using Model Transformation and Metrics Proceedings of the Forum at the CAiSE 2012 Conference (CAiSE 2012 Forum), CEUR Workshop Proceedings, Vol-453 106-113頁（共著） 2012/06
96.	その他	Effective Security Impact Analysis with Patterns for Software Enhancement Proceedings of the 2011 Sixth International Conference on Availability, Reliability and Security (ARES), IEEE CPS. 527-534頁（共著） 2011/08
97.	その他	Exploring how to support software revision in software non-intensive projects using existing techniques 35th Annual IEEE International Computer Software and Applications Conference Workshops (COMPSACW 2011), IEEE CPS. 327-334頁（共著） 2011/07
98.	その他	Quality Requirements Analysis using Requirements Frames Proc. of the 11th International Conference on Quality Software (QSIC), IEEE CPS. 198-207頁（共著） 2011/07
99.	その他	Spectrum Analysis for Software Quality Requirements using　Analyses Records 35th Annual IEEE International Computer Softwareand Applications Conference Workshops (COMPSACW 2011), IEEE CPS. 500-503頁（共著） 2011/07
100.	その他	Checking Regulatory Compliance of Business Processes and Information Systems Software and Data Technologies, Vol. 50, Springer, Communications in Computer and Information Science (CCIS). 71-84頁（共著） 2011
101.	その他	Enhancing Domain Knowledge for Requirements Elicitation with Web Mining Proceedings of 17th Asia-Pacific Software Engineering Conference (APSEC 2010), IEEE CPS. 3-12頁（共著） 2010/11
102.	その他	Measuring Characteristics of Models and Model Transformations Using Ontology and Graph Rewriting Techniques Lecture Notes in Communications in Computer and Information Science (CCIS 69), Springer 3-16頁（共著） 2010
103.	その他	A Tool for Attributed Goal-Oriented Requirements Analysis 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009). 670-672頁（共著） 2009/11
104.	その他	Tool Support for Requirements Changes in AGORA ソフトウェアエンジニアリング最前線2009, 近代科学社. 49-50頁（共著） 2009/09
105.	その他	ソフトウェア成果物のためのスペクトル分析ソフトウェアエンジニアリング最前線2009, 近代科学社. 51-52頁（単著） 2009/09
106.	その他	Spectrum Analysis for Quality Requirements by using A Term-Characteristics Map 21th International Conference Advanced Information Systems Engineering (CAiSE 2009), LNCS 5565. 546-560頁（共著） 2009/06
107.	その他	Security Requirements Elicitation Using Method Weaving and Common Criteria MODELS 2008 Workshops, Springer-Verlag LNCS 5421. 185-196頁（共著） 2009/04
108.	その他	A Systematic Method for Generating Quality Requirements Spectrum Proc. of the 24th Annual ACM Symposium on Applied Computing 2009, Volume 1 of 3, ACM. 399-400頁（共著） 2009/03
109.	その他	Extracting Conceptual Graphs from Japanese Documents for Software Requirements Modeling Proc. of the Sixth Asia-Pacific Conference on Conceptual Modelling (APCCM 2009), Vol. 96 in the Conferences in Research and Practice in Information Technology Series. 87-96頁（共著） 2009/01
110.	その他	A Supporting Tool for Requirements Elicitation Using a Domain Ontology Software and Data Technologies, Vol. 22, Springer, Communications in Computer and Information Science (CCIS). 128-140頁（共著） 2008/11
111.	その他	Enforcing a Security Pattern in Stakeholder Goal Models Proc. of the 2008 ACM workshop on Quality of protection (QoP'08), ACM. 9-13頁（共著） 2008/10
112.	その他	Supporting Requirements Change Management in Goal Oriented Analysis Proc. of 16th IEEE International Requirements Engineering Conference (RE'08), IEEE CPS. 3-12頁（共著） 2008/09
113.	その他	So/M: A Requirements Definition Tool using Characteristics of Existing Similar Systems 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC2008), IEEE CPS. 255-262頁（共著） 2008/07
114.	その他	Supporting the Elicitation of Requirements Compliant with Regulations 20th International Conference Advanced Information Systems Engineering (CAiSE 2008), LNCS 5074. 228-242頁（共著） 2008/06
115.	その他	Proposing Metrics of Difficulty of Domain Knowledge using Usecase Diagrams Proc. of the 23rd Annual ACM Symposium on Applied Computing 2008, Volume 1 of 3, ACM 624-629)頁（共著） 2008/03
116.	その他	Toward Quality Requirements Analysis based on Domain Specific Quality Spectrum Proc. of the 23rd Annual ACM Symposium on Applied Computing 2008, Volume 1 of 3, ACM. 596-601頁（共著） 2008/03
117.	その他	GOORE: Goal-Oriented and Ontology Driven Requirements Elicitation Method Advances in Conceptual Modeling - Foundations and Applications, Springer, LNCS 4802 225-234頁（共著） 2007/11
118.	その他	An Integrated Tool For Supporting Ontology Driven Requirements Elicitation ICSOFT 2007, 2nd International Conference on Software and Data Technologies. 73-80頁（共著） 2007/07
119.	その他	PORTAM: Policy, Requirements and Threats Analyzer for Mobile Code Application Proc. of The 6th International Conference on Quality Software, IEEE CPS. 125-132頁（共著） 2006/10
120.	その他	要求獲得におけるドメイン知識表現の役割ソフトウェアエンジニアリング最前線2006, 近代科学社. 149-156頁（共著） 2006/10
121.	その他	Using Domain Ontology as Domain Knowledge for Requirements Elicitation Proc. of 14th IEEE International Requirements Engineering Conference (RE'06), IEEE CPS. 189-198頁（共著） 2006/09
122.	その他	Modeling Software Characteristics and Their Correlations in a Specific Domain by Comparing Existing Similar Systems Proceedings of the 5th International Conference on Quality Software, IEEE CPS. 215-222頁（共著） 2005/09
123.	その他	Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach Proceedings of the 5th International Conference on Quality Software, IEEE CPS. 223-230頁（共著） 2005/09
124.	その他	Weaving Multiple Viewpoint Specifications in Goal Oriented Requirements Analysis Proceedings of 11th Asia-Pacific Software Engineering Conference (APSEC 2004), IEEE CPS. 418-427頁（共著） 2004/11
125.	その他	FC method: A Practical Approach to Improve Quality and Efficiency of Software Processes for Embedded System Revision Proceeding of the 28th Annual International Computer Software and Applications Conference (COMPSAC2004), IEEE CPS. 286-292頁（共著） 2004/09
126.	その他	Identifying Stakeholders and Their Preferences about NFR by Comparing Use Case Diagrams of Several Existing Systems Proceedings of 12th IEEE International Requirements Engineering Conference, IEEE CPS. 112-121頁（共著） 2004/09
127.	その他	Software Evolution Support Using Traceability Link between UML diagrams Knowledge-Based Software Engineering, IOS Press. 15-23頁（共著） 2004/08
128.	その他	Identifying Requirements Gaps among Stakeholders by using Goal Oriented Analysis Proceedings of the 10th Anniversary International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'04), Essener Informatik Beitrage. 219-234頁（共著） 2004/06
129.	その他	PAORE: Package oriented requirements elicitation Proceedings of 10th Asia-Pacific Software Engineering Conference (APSEC 2003), IEEE CPS. 17-26頁（共著） 2003/12
130.	その他	VDM over PSP: A Pilot Course for VDM Beginners to Confirm its Suitability for Their Development Proceedings of COMPSAC2003, IEEE CPS. 327-334頁（共著） 2003/11
131.	その他	Trade-off Analysis between Security Policies for Java Mobile Codes and Requirements for Java Application 11th IEEE International Requirements Engineering Conference, IEEE CPS. 357-358頁（共著） 2003/09
132.	その他	AGORA: Attributed Goal-Oriented Requirements Analysis Method 11th IEEE International Requirements Engineering Conference, IEEE CPS. 13-22頁（共著） 2002/09
133.	その他	大学におけるプロセス改善教育のあり方について - PSP法実践の経験をもとに Software Symposium 2001 Proceedings, ソフトウェア技術者協会. 137-142頁（共著） 2001/06
134.	その他	Specifying Runtime Environments and Functionalities of Downloadable Components under the Sandbox Model International Symposium on Principles of Software Evolution, IEEE CPS. 138-142頁（共著） 2000/11
135.	その他	Conducting Requirements Evolution by Replacing Components in the Current System Proc. of APSEC'99, IEEE CPS. 224-227頁（共著） 1999/12
136.	その他	作図を目的とした摺合せ作業における認識の不一致を検出する手法の提案レクチャーノート/ソフトウェア学16 インタラクティブシステムとソフトウェアIV, 近代科学社. 159-168頁（単著） 1996/12
137.	その他	共同ソフトウェア開発における非同期型コミュニケーションの生産物への影響レクチャーノート/ソフトウェア学17 ソフトウェア工学の基礎III, 近代科学社. 166-169頁（共著） 1996/12
138.	その他	Structuring Utterance Records for Requirements Elicitation Meetings Based on Speech Act Theory Proc. of 2nd International Conference on Requirements Engineering (ICRE'96), IEEE CPS. .21-30頁（共著） 1996/04
139.	その他	Building the structure of specification documents from utterances of requirements elicitation meetings APSEC'95 proceedings, IEEE CPS 64-73頁（共著） 1995/12
140.	その他	Design of a Hyper Media Tool to support Requirements Elicitation Meetings CASE'95: Proceedings Seventh International Workshop on Computer-Aided Software Engineering, IEEE CPS. 250-259頁（共著） 1995/07
5件表示
全件表示(140件)

■ ホームページ

海谷

■ 本学関連サイト

1.	「神大の先生」サイトページ