論文(日英，逆時間順) | 論文 (英のみ，逆時間順) | その他
本ページ末へ | ホームページ
ご意見やコメントなど随時お待ちしています， 電子メールください．
国際会議 | 国内論文等 | 図書等 | 学位論文
予定 (見に来てね) 2021/1/20 更新
査読付雑誌論文
  1. Hironori Washizaki, Tian Xia, Natsumi Kamata, Yoshiaki Fukazawa, Hideyuki Kanuka, Takehisa Kato, Masayuki Yoshino, Takao Okubo, Shinpei Ogata, Haruhiko Kaiya, Atsuo Hazeyama, Takafumi Tanaka, Nobukazu Yoshioka and G. Priyalakshmi. Systematic Literature Review of Security Pattern Research. information 2021, 12(1) https://doi.org/10.3390/info12010036
  2. Yijun Yu, Haruhiko Kaiya, Nobukazu Yoshioka, Zhenjiang Hu, Hironori Washizaki, Yingfei Xiong, Amin Hosseinian-Far. Goal Modeling for Security Problem Matching and Pattern Enforcement. International Journal of Secure Software Engineering (IJSSE), Vol. 8, Issue. 3, Pages 42-57, 2017. https://doi.org/10.4018/IJSSE.2017070103 [概要]
  3. 加藤 潤三，佐伯 元司，大西 淳，海谷 治彦，林 晋平，山本 修一郎． 要求獲得のためのシソーラス構築支援． 情報処理学会論文誌． Vol. 57, No. 7, pp. 1576 - 1589, Jul. 2016, 掲載料 258120円 (税込) (採録通知 2016/4/6) [概要]
  4. Masatoshi Yoshizawa, Hironori Washizaki, Yoshiaki Fukazawa, Takao Okubo, Haruhiko Kaiya and Nobukazu Yoshioka. Implementation Support of Security Design Patterns Using Test Templates. information 2016, 7(2), 34; http://dx.doi.org/10.3390/info7020034. [概要]
  5. 小形 真平, 早川 弘基, 海谷 治彦, 海尻 賢二. 入力保存機能に着目したモデル駆動ユーザビリティ評価法の提案と評価, コンピュータソフトウェア， ソフトウェア科学会, Vol. 32, No. 1, pp. 147-160, Jan. 2015, DOI http://dx.doi.org/10.11309/jssst.32.1_147 掲載料 110000円． [概要]
  6. 坂下 卓弥, 小形 真平, 海谷 治彦, 海尻 賢二. 静的解析によるAndroidパーミッションの利用目的の可視化方法. 情報処理学会論文誌, Vol. 56, No. 1, pp. 391-400, 15 Jan. 2015. 掲載料 160920円． [概要]
  7. Takanori Kobashi, Nobukazu Yoshioka, Haruhiko Kaiya, Hironori Washizaki, Takao Okubo, and Yoshiaki Fukazawa. Validating Security Design Pattern Applications by Testing Design Models. International Journal of Secure Software Engineering (IJSSE), Vol. 5, Issue. 4, pp. 1-30, Dec. 2014. IGI-Global, DOI: 10.4018/ijsse.2014100101 [概要]
  8. Takao Okubo, Kenji Taguchi, Haruhiko Kaiya, and Nobukazu Yoshioka. MASG: Advanced Misuse Case Analysis Model with Assets and Security Goals. Journal of Information Processing, Vol. 22, No. 3, pp. 536-546, Jul. 2014, DOI: 10.2197/ipsjjip.22.536 [概要]
  9. 上田 健之, 小形 真平, 海谷 治彦, 海尻 賢二. 情報検索手法に基づくトレーサビリティリンク回復のための手法オプションについてのマイニングの提案と評価. 電子情報通信学会論文誌, Vol. J97-D, No. 3, pp. 414-426, Mar. 2014. 掲載料 289590円. [概要]
  10. 田中 賢, 海谷 治彦, 大西 淳. 機能要求に必要な品質要求の機械学習による予測法. 電子情報通信学会論文誌, Vol. J96-D, No. 11, pp. 2646-2656, Nov 2013. 掲載料 150780円. [概要]
  11. Haruhiko Kaiya, Junya Sakai, Shinpei Ogata and Kenji Kaijiri. 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, pp. 42-63, Jul.-Sep. 2013. DOI: 10.4018/jsse.2013070103 [概要]
  12. Motoshi Saeki, Shinpei Hayashi, Haruhiko Kaiya. Enhancing Goal-Oriented Security Requirements Analysis Using Common Criteria-Based Knowledge. International Journal of Software Engineering and Knowledge Engineering (IJSEKE). World Scientific Publishing, Vol. 23, No. 05, pp. 695-720, Jun. 2013. DOI: 10.1142/S0218194013500174 掲載料 780 USD. [概要]
  13. Haruhiko Kaiya, Masahiro Umemura, Shinpei Ogata, and Kenji Kaijiri. Spectrum analysis on quality requirements consideration in software design documents. SpringerPlus, Vol. 2, Issue 1, No. 310, pp. 1-14, 11 Jul. 2013, DOI: 10.1186/2193-1801-2-310 1095 USD. [HTML]
  14. Haruhiko Kaiya and Atsushi Ohnishi. Finding incorrect and missing quality requirements definitions using requirements frame. IEICE Transactions on Information and Systems, Vol. E95-D, No. 4, pp. 1031-1043, Apr. 2012. DOI 10.1587/transinf.E95.D.1012 掲載料 192360 円. [概要]
  15. Takako Nakatani, Narihito Kondo, Junko Shirogane, Haruhiko Kaiya, Shozo Hori, and Keiichi Katamine. Toward the decision tree for inferring requirements maturation types. IEICE Transactions on Information and Systems, Vol. E95-D, No. 4, pp. 1021-1030, Apr. 2012. DOI 10.1587/transinf.E95.D.1021 掲載料 129990 円. [概要]
  16. Shinpei Hayashi, Daisuke Tanabe, Haruhiko Kaiya, and Motoshi Saeki. Impact analysis on an attributed goal graph. IEICE Transactions on Information and Systems, Vol. E95-D, No. 4, pp. 1012-1020, Apr. 2012. DOI 10.1587/transinf.E95.D.1031 掲載料 109200 円. [概要]
  17. Takao Okubo, Haruhiko Kaiya, and Nobukazu Yoshioka. Analyzing Impacts on Software Enhancement Caused by Security Design Alternatives with Patterns. International Journal of Secure Software Engineering (IJSSE), IGI Global, Vol. 3, No. 1, pp. 37-61, Jan.-Mar. 2012. DOI: 10.4018/jsse.2012010103 [概要]
  18. 海谷 治彦, 原 賢一郎, 小林 亮太郎, 長田 晃, 海尻 賢二. ソフトウェアが中心でない製品における既存技術を利用したソフトウェア改訂支援. 情報処理学会論文誌, Vol. 53, No. 2, pp. 653-661, Feb. 2012. 掲載料 132825円. [概要]
  19. 海谷 治彦, 鈴木 駿一, 小川 享, 谷川 正明, 梅村 真弘, 海尻 賢二. 分析履歴を用いたソフトウェア品質要求のスペクトル分析法. 情報処理学会論文誌, Vol. 53, No. 2, pp. 510-522, Feb. 2012. 掲載料 227325円. [概要]
  20. 海谷 治彦, 清水 悠太郎, 安井 浩貴, 海尻 賢二, 林 晋平, 佐伯 元司. 要求獲得のためのオントロジをWebマイニングにより拡充する手法の提案と評価. 情報処理学会論文誌, Vol. 53, No. 2, pp. 495-509, Feb. 2012. 掲載料 274575円. [概要]
  21. 海谷 治彦, 北澤 直幸, 長田 晃, 海尻 賢二. 類似既存システムの情報を利用した要求獲得支援システムの開発と評価. 電子情報通信学会論文誌, Vol. J93-D, No. 10, pp. 1836-1850, Oct 2010, 掲載料 233940 円． [概要]
  22. 海谷 治彦, 長田 晃, 原 賢一郎, 海尻 賢二. 要求変更によるソースコードへのインパクトを分析するシステムの開発と評価. 電子情報通信学会論文誌, Vol. J93-D, No. 10, pp. 1822-1835, Oct 2010, 掲載料 213150 円． [概要]
  23. Haruhiko Kaiya, Masaaki Tanigawa, Shunichi Suzuki, Tomonori Sato, Akira Osada, and Kenji Kaijiri. Improving Reliability of Spectrum Analysis for Software Quality Requirements using TCM. IEICE Transactions on Information and Systems, Vol. E93-D, No. 4, pp. 702-712, Apr. 2010, 掲載料 150780 円. [概要]
  24. 加藤 潤三, 佐伯 元司, 大西 淳, 海谷 治彦, 山本 修一郎. シソーラスを利用した要求獲得方法(THEOREE). 情報処理学会論文誌, Vol. 50, No. 12, pp. 3001-3017, Dec. 2009. [概要]
  25. Haruhiko Kaiya, kouta Sasai, and Kenji Kaijiri. PORTAM: policy,requirements,and threats analyzer for mobile code applications. Progress in Informatics, No. 5, pp. 7-18, Apr. 2008.
  26. Haruhiko Kaiya, Akira Osada, and Kenji Kaijiri. 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, pp. 897-906, Apr. 2008. [概要]
  27. 長田 晃, 小澤 大伍, 海谷 治彦, 海尻 賢二. 要求獲得におけるドメイン知識表現の役割. 情報処理学会論文誌, Vol. 48, No. 8, pp. 2522-2533, Aug. 2007. [概要]
  28. Shuichiro Yamamoto, Haruhiko Kaiya, Karl Cox, and Steven Bleistein. Goal Oriented Requirements Engineering: Trends and Issues. IEICE Transactions on Information and Systems, Vol. E89-D, No. 11, pp. 2701-2711, Nov. 2006. [概要]
  29. Haruhiko Kaiya, Daisuke Shinbara, Junichi Kawano and Motoshi Saeki. Improving the Detection of Requirements Discordances Among Stakeholders. Requirements Engineering, Springer-Verlag. DOI: 10.1007/s00766-005-0017-2, Vol. 10, No. 4, pp. 289 - 303, Dec. 2005. [PDF文書] [概要]
  30. Kazuma Aizawa, Haruhiko Kaiya, and Kenji Kaijiri. Practical and Incremental Maintenance of Software Resources in Consumer Electronics Products. IEICE Transactions on Information and Systems, Vol. E88-D, No. 6, pp. 1117-1125, Jun. 2005. [概要]
  31. Haruhiko Kaiya, Kouta Sasaki, and Kenji Kaijiri. A Method to Develop Feasible Requirements for Java Mobile Code Application. IEICE Trans. Inf. and Syst.., Vol. E87-D, No. 4, pp. 811-821, Apr. 2004. [PDF文書] [概要]
  32. Haruhiko Kaiya and Kenji Kaijiri. Refining Behavioral Specification for Satisfying Non-functional Requirements of Stakeholders. IEICE Trans. Inf. and Syst., Vol. E85-D, No. 4, pp. 623-636, Apr. 2002. [PDF文書] [概要]
  33. 海谷 治彦． 代案発生に注目したソフトウェアの共同設計作業における認識不一致の分析 情報処理学会 論文誌, Vol.40, No.11, pp. 3878-3886, Nov. 1999. [PDF文書] [概要]
  34. 海谷治彦, 三浦信幸, 穴井豪, 江幡剛, 永岡洋樹, 佐伯元司. 対面式会議を支援する計算機システムの評価実験. 電子情報通信学会 論文誌, Vol. J79-D-I, No.6, pp. 341-352, Jun. 1996. [PDF文書] [概要]
  35. 海谷治彦, 佐伯元司. プロダクトをもとにしたソフトウェアの仕様作成のための会議の分析法 . 電子情報通信学会論文誌, Vol. J78-D-I, No. 1, pp. 23-31, Jan. 1995. [PDF文書] [概要]
国際会議論文 [先頭に戻る]
  1. Haruhiko Kaiya, Shogo Tatsui, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka and Hironori Washizaki. A Tool to Manage Traceability on Several Models and Its Use Case. Procedia Computer Science, Volume 176, 2020, Pages 1449-1458. https://doi.org/10.1016/j.procs.2020.09.155 24th KES 2020, Sep. 2020.
  2. Haruhiko Kaiya. Evaluating Mutual Requirements Evolution of Several Information Systems. Procedia Computer Science, Volume 176, 2020, Pages 1251-1260. https://doi.org/10.1016/j.procs.2020.09.134 24th KES 2020, Sep. 2020.
  3. Haruhiko Kaiya, Wataru Fujita, Ryotaro Yamada, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka and Hironori Washizaki. Experimental Evaluation of Traceability Checking Tool for Goal Dependency Modeling. Learning and Analytics in Intelligent Systems (LAIS), Vol. 19, Pages 70-83, https://doi.org/10.1007/978-3-030-53949-8_7, 13th JCKBSE, Aug. 2020.
  4. Haruhiko Kaiya. Quantitative Analysis of Goal Oriented Requirements Models. Learning and Analytics in Intelligent Systems (LAIS), Vol. 19, Pages 1-6, https://doi.org/10.1007/978-3-030-53949-8_1, 13th JCKBSE, Aug. 2020.
  5. Haruhiko Kaiya, Kaito Nagano, Ryoya Muto, Mizuki Yoshida. Mutual Requirements Evolution by Combining Different Information Systems. PCI 2019 Proceedings of the 23rd Pan-Hellenic Conference on Informatics, Pages 159-162, 28-30 Nov. 2019, Nicosia, Cyprus. (Short paper) https://doi.org/10.1145/3368640.3368662 [概要]
  6. Atsuo Hazeyama, Hikaru Miyahara, Takafumi Tanaka, Hironori Washizaki, Haruhiko Kaiya, Takao Okubo and Nobukazu Yoshioka. A System for Seamless Support from Security Requirements Analysis to Security Design using a Software Security Knowledge Base. ESPRE19, RE2019 workshop, 2019 IEEE 27th International Requirements Engineering Conference Workshops (REW), pp. 134-140 Sep. 2019, Jeju Island, https://doi.org/10.1109/REW.2019.00029 [概要]
  7. Haruhiko Kaiya, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki. Towards A Knowledge Base for Software Developers to Choose Suitable Traceability Techniques. KES 2019, Budapest, Hungary, 4-6 Sep. 2019. Procedia Computer Science pp. 1075-1084 DOI 10.1016/j.procs.2019.09.276 [概要]
  8. Hironori Washizaki, Nobukazu Yoshioka, Atsuo Hazeyama, Takehisa Kato, Haruhiko Kaiya, Shinpei Ogata, Takao Okubo, Eduardo B. Fernandez. Landscape of IoT patterns. SERP4IoT@ICSE 2019: 57-60. https://dl.acm.org/citation.cfm?id=3354013
  9. Hironori Washizaki, Tian Xia, Natsumi Kamata, Yoshiaki Fukazawa, Hideyuki Kanuka, Dan Yamamoto, Masayuki Yoshino, Takao Okubo, Shinpei Ogata, Haruhiko Kaiya, Takehisa Kato, Takafumi Tanaka, Atsuo Hazeyama, Nobukazu Yoshioka, G Priyalakshmi. Taxonomy and Literature Survey of Security Pattern Research. AINS 2018, IEEE Conference on Applications, Information and Network Security. 21-22 Nov. 2018, Langkawi, Malaysia. pp. 87-92. DOI: 10.1109/AINS.2018.8631465.
  10. Takanori Kobashi, Hironori Washizaki, Nobukazu Yoshioka, Haruhiko Kaiya, Takao Okubo, Yoshiaki Fukazawa. Designing Secure Software by Testing Application of Security Patterns. In Exploring Security in Software Architecture and Design, Chap. 6, Pages 136-169, Jan. 2019, IGI global, ISBN13: 9781522563136 DOI: 10.4018/978-1-5225-6313-6.ch006.
  11. Haruhiko Kaiya. Meta-Requirements for Information System Requirements: Lesson Learned from Software Ecosystem Researches. KES 2018, Procedia Computer Science Volume 126, pp. 1243-1252, 3-5 Sep. 2018, Belgrade, Serbia. DOI 10.1016/j.procs.2018.08.066 [概要]
  12. Haruhiko Kaiya, Kazuhiko Adachi, Yoshihide Chubachi. Requirements Exploration by Comparing and Combining Models of Different Information Systems. JCKBSE 2018, Knowledge-Based Software Engineering: 2018, pp. 64-74, 27 - 30 August, Corfu, Greece. DOI 10.1007/978-3-319-97679-2_7 [概要]
  13. Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya, Hironori Washizaki. Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model. JCKBSE 2018, Knowledge-Based Software Engineering: 2018, pp 158-167, 27 - 30 August, Corfu, Greece. DOI 10.1007/978-3-319-97679-2_16 [概要]
  14. Atsuo Hazeyama, Shunichi Tanaka, Takafumi Tanaka, Hiroaki Hashiura, Seiji Munetoh, Takao Okubo, Haruhiko Kaiya, Hironori Washizaki, Nobukazu Yoshioka. Security Requirement Modeling Support System using Software Security Knowledge Base. COMPSAC 2018 workshop (ADMNET), pages 234-239, 23 July 2018, Tokyo, Japan. DOI 10.1109/COMPSAC.2018.10235 [概要]
  15. Yoshihide Chubachi and Haruhiko Kaiya. Generalizing and Composing Goals and Objects in a Scenario Together for Requirements Analysis. The 8th International Conference on Information Intelligence Systems Applications (IISA 2017). 28-30 Aug. 2017. Larnaca, Cyprus. pp. 1-6. DOI: 10.1109/IISA.2017.8316365 [概要]
  16. Tian Xia, Hironori Washizaki, Takehisa Kato, Haruhiko Kaiya, Shinpei Ogata, Eduardo B. Fernandez, Hideyuki Kanuka, Masayuki Yoshino, Dan Yamamoto, Takao Okubo, Nobukazu Yoshioka and Atsuo Hazeyama. Cloud Security and Privacy Metamodel - Metamodel for Security and Privacy Knowledge in Cloud Services. Proceedings of the 6th International Conference onModel-Driven Engineering and SoftwareDevelopment (MODELSWARD 2018), 22-24 Jan. 2018, Funchal, Madeira, Portugal, pp. 379-386.
  17. Haruhiko Kaiya, Nobukazu Yoshioka, Hironori Washizaki, Takao Okubo, Atsuo Hazeyama, Shinpei Ogata and Takafumi Tanaka. Eliciting requirements for improving users' behavior using transparency. 4th Asia Pacific Requirements Engineering Symposium (APRES 2017), 9-10 Nov. 2017, Malaka, Malaysia, Springer CCIS Vol 809, Pages 41-56. [概要]
  18. Haruhiko Kaiya, Kazuto Haga. A CASE tool for Goal Dependency Model with Attributes based on An Existing UML Editor. KES 2017, Marseille, France. 6-8 Sep. 2017. pp. 1196-1205. [概要]
  19. Haruhiko Kaiya, Ryohei Sato, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Takafumi Tanaka, Nobukazu Yoshioka, Hironori Washizaki. Preliminary Systematic Literature Review of Software and Systems Traceability. KES 2017, Marseille, France. 6-8 Sep. 2017. pp. 1141-1150. [概要]
  20. Shinpei Ogata, Yukiya Yazawa, Kozo Okano, Haruhiko Kaiya, Hironori Washizaki. Traceability Link Mining - Focusing on Usability -. COMPSAC 2017, Fast Abstracts, Torino, Italy, 4-8 Jul. 2017. pages 286-287. DOI 10.1109/COMPSAC.2017.254
  21. Yoshihide Chubachi, Haruhiko Kaiya. Identifying fundamental goals from objects in a scenario to facilitate system introduction. COMPSAC 2017, Fast Abstracts, Torino, Italy, 4-8 Jul. 2017. pages 276-277. DOI 10.1109/COMPSAC.2017.143
  22. Atsuo Hazeyama, Hironori Washizaki, Nobukazu Yoshioka, Haruhiko Kaiya and Takao Okubo. Literature Survey on Technologies for Developing Privacy-aware Software. 2016 IEEE 24th International Requirements Engineering Conference Workshops, ESPRE, Sep. 2016, pp. 86-91, DOI 10.1109/REW.2016.27
  23. Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi, Motoshi Saeki. Early Requirements Analysis for a Socio-Technical System based on Goal Dependencies. The 15th International Conference on Intelligent Software Methodologies, Tools and Techniques (SOMET 2016), 12-14 Sep. 2016, Larnaca, Cyprus, New Trends in Software Methodologies, Tools and Techniques, Frontiers in Artificial Intelligence and Applications, Vol. 286, IOS Press, pp. 125-138, 2016, doi:10.3233/978-1-61499-674-3-125 論文賞もらいました [Get award!]
  24. Haruhiko Kaiya, Nobukazu Yoshioka, Takao Okubo, Hironori Washizaki and Atsuo Hazeyama. Requirements Analysis for Privacy Protection and Third Party Awareness using Logging Models. (SOMET 2016), 12-14 Sep. 2016, Larnaca, Cyprus, New Trends in Software Methodologies, Tools and Techniques, IOS Press, 2016, pp. 155-166, doi:10.3233/978-1-61499-674-3-155
  25. Haruhiko Kaiya. Modelling Goal Dependencies and Domain Model Together, KES-2016, York, UK. 5-6 Sep. 2016, Procedia Computer Science, Volume 96, 2016, Pages 791 - 800, [概要]
  26. Hironori Washizaki, Sota Fukumoto, Misato Yamamoto, Masatoshi Yoshizawa, Yoshiaki Fukazawa, Shinpei Ogata, Eduardo B. Fernandez, Nobukazu Yoshioka, Takehisa Kato, Haruhiko Kaiya, Hideyuki Kanuka, Yuki Kondo, Takao Okubo, Atsuo Hazeyama. A Metamodel for Security and Privacy Knowledge in Cloud Services. IEEE Services 2016, pp. 142-143. 27 June - 2 July 2016, San Francisco, USA. DOI 10.1109/SERVICES.2016.30
  27. Shinpei Hayashi, Wataru Inoue, Haruhiko Kaiya, and Motoshi Saeki. Annotating Goals with Concerns in Goal-Oriented Requirements Engineering. Communications in Computer and Information Science (CCIS), Volume 586, Software Technologies, 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. pp. 269-286, 2016. DOI: 10.1007/978-3-319-30142-6_15
  28. Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi, Motoshi Saeki, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki, and Atsuo Hazeyama. Finding Potential Threats in Several Security Targets for Eliciting Security Requirements. In InfoWare 2015, ICCGI 2015: The 10th International Multi-Conference on Computing in the Global Information Technology, pp.83-92, St. Julians, Malta, 11-16 Oct. 2015. [概要]
  29. Masahito Saito, Atsuo Hazeyama, Nobukazu Yoshioka, Takanori Kobashi, Hironori Washizaki, Haruhiko Kaiya, Takao Ohkubo. A Case-based Management System for Secure Software Development Using Software Security Knowledge. 19th International Conference on Knowledge Based and Intelligent Information and Engineering Systems (KES 2015), Singapore, pp. 1092-1100, 7-9 Sep. 2015, http://dx.doi.org/10.1016/j.procs.2015.08.155
  30. Wataru Inoue, Shinpei Hayashi, Haruhiko Kaiya, and Motoshi Saeki. Multi-Dimensional Goal Refinement in Goal-Oriented Requirements Engineering. In ICSOFT-EA 2015, 10th Internatonal Conference on Software Engineering and Applications Proceedings, pp. 185-195, INSTICC. Colmar, Alsace, France, 20-22 July 2015.
  31. Atsuo Hazeyama, Masahito Saito, Nobukazu Yoshioka, Azusa Kumagai, Takanori Kobashi, Hironori Washizaki, Haruhiko Kaiya, Takao Okubo. Case Base for Secure Software Development Using Software Security Knowledge Base. COMPSAC 2015: The 39th Annual International Computers, Software & Applications Conference, Workshop (STPSA 2015), pp. 97-103, IEEE Computer Society. Taichung, Taiwan, 1-5 July 2015. DOI 10.1109/COMPSAC.2015.86
  32. Takanori Kobashi, Masatoshi Yoshizawa, Hironori Washizaki, Yoshiaki Fukazawa, Nobukazu Yoshioka, Takao Okubo, and Haruhiko Kaiya. TESEM: A tool for verifying security design pattern applications by model testing. In 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, April 13-17, 2015, pp. 1-8, 2015. DOI 10.1109/ICST.2015.7102633
  33. Takao Okubo, Yoshio Kakizaki, Takanori Kobashi, Hironori Washizaki, Shinpei Ogata, Haruhiko Kaiya, and Nobukazu Yoshioka. Security and Privacy Behavior Definition for Behavior Driven Development , In Product-Focused Software Process Improvement (Profes 2014), LNCS 8892, pp. 306 -309, 10-12 Dec. 2014, Helsinki, Finland. [概要]
  34. Masatoshi Yoshizawa, Takanori Kobashi, Hironori Washizaki, Yoshiaki Fukazawa, Takao Okubo, Haruhiko Kaiya, and Nobukazu Yoshioka. Verification of Implementing Security Design Patterns Using a Test Template. In Proceedings of International Conference on Availability, Reliability and Security (ARES 2014), pp. 178-183. IEEE Computer Society, CPS, 8-12 Sep. 2014, Fribourg, Switzerland. [概要]
  35. Haruhiko Kaiya, Sho Kono, Shinpei Ogata, Takao Okubo, Nobukazu Yosioka, Hironori Washizaki, and Kenji Kaijiri. Security Requirements Analysis Using Knowledge in CAPEC. In Advanced Information Systems Engineering Workshops, Vol. 178 of Lecture Notes in Business Information Processing (LNBIP), pp. 343-348, Thessaloniki, Greece, 2014. Springer. ISBN 978-3-319-07868-7, June 16-20 2014. [概要]
  36. Takao Okubo, Nobukazu Yoshioka, and Haruhiko Kaiya. Requirements Refinement and Exploration of Architecture for Security and Other NFRs. In Advanced Information Systems Engineering Workshops, Vol. 178 of Lecture Notes in Business Information Processing (LNBIP), pp. 286-298, Thessaloniki, Greece, 2014. Springer. ISBN 978-3-319-07868-7, June 16-20 2014. [概要]
  37. Takao Okubo, Nobukazu Yoshioka, and Haruhiko Kaiya. Security Driven Requirements Refinement and Exploration of Architecture with multiple NFR points of view. In 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE 2014), pp. 201-205, Miami, Florida, USA, 9-11 Jan. 2014. IEEE Computer Society, CPS. [概要]
  38. Takeyuki Ueda, Shinpei Ogata, Haruhiko Kaiya, and Kenji Kaijiri. IR based Traceability Link Recovery Method Mining. In The Eightth International Conference on Software Engineering Advances (ICSEA13), pp. 278-284, Venice, Italy, Oct. 2013. [概要]
  39. Takanori Kobashi, Nobukazu Yoshioka, Takao Okubo, Haruhiko Kaiya, Hironori Washizaki and Yoshiaki Fukazawa. Validating Security Design Pattern Applications Using Model Testing, In Proceedings of International Conference on Availability, Reliability and Security (ARES 2013), pp. 62-71, IEEE CPS, 2-6 Sep., Regensburg, Germany. [概要]
  40. Haruhiko Kaiya, Takao Okubo, Nobuyuki Kanaya, Yuji Suzuki, Shinpei Ogata, Kenji Kaijiri, and Nobukazu Yoshioka. Goal-oriented security requirements analysis for a system used in several different activities. In Xavier Franch and Pnina Soffer, editors, Advanced Information Systems Engineering Workshops, Vol. 148 of Lecture Notes in Business Information Processing (LNBIP), pp. 478-489. Springer, June 18 2013, Valencia, Spain, The Third International Workshop on Information Systems Security Engineering - WISSE'13, in conjunction with the 25th International Conference on Advanced Information Systems Engineering (CAiSE'13). [概要]
  41. Haruhiko Kaiya, Shunsuke Morita, Shinpei Ogata, Kenji Kaijiri, Shinpei Hayashi, and Motoshi Saeki. Model Transformation Patterns for Introducing Suitable Information Systems. In Proceedings of 19th Asia-Pacific Software Engineering Conference (APSEC 2012), pp. 434-439, Hong Kong, 4-7 Dec. 2012. [概要]
  42. Ken Tanaka, Haruhiko Kaiya, and Atsushi Ohnishi. Predicting Quality Requirements Necessary for a Functional Requirement based on Machine Learning. In The Seventh International Conference on Software Engineering Advances (ICSEA 2012), pp. 540-547, Lisbon, 18-23 Nov. 2012. [概要]
  43. Masahiro Umemura, Haruhiko Kaiya, Shinpei Ogata and Kenji Kaijiri. Validating Quality Requirements Considerations in a Design Document using Spectrum Analysis. Knowledge-Based Software Engineering, Proc. of the Tenth Joint Conference on Knowledge-Based Software Engineering (JCKBSE2012), pp. 88-97. IOS Press. Rhodes, Greece. 23-26 Aug. 2012. [概要]
  44. Takao Okubo, Haruhiko Kaiya, and Nobukazu Yoshioka. Mutual Refinement of Security Requirements and Architecture Using Twin Peaks Model. In 36th Annual IEEE International Computer Software and Applications Conference Workshops (COMPSACW 2012), REFS 2012, pp. 367-372, Izmir, Turkey, Jul. 2012. IEEE CS. 16-20 July 2012. [概要]
  45. Haruhiko Kaiya and Atsushi Ohnishi. Improving Software Quality Requirements Specifications Using Spectrum Analysis. In 36th Annual IEEE International Computer Software and Applications Conference Workshops (COMPSACW 2012), REFS 2012, pp. 379-384, Izmir, Turkey, Jul. 2012. IEEE CS. 16-20 July 2012. [概要]
  46. Haruhiko Kaiya, Shunsuke Morita, Kenji Kaijiri, Shinpei Hayashi, and Motoshi Saeki. Facilitating Business Improvement by Information Systems using Model Transformation and Metrics. In Proceedings of the Forum at the CAiSE 2012 Conference (CAiSE 2012 Forum), pp. 106-113, Gdansk, Poland, 28 Jun. 2012. ISSN 1613-0073, CEUR Workshop Proceedings, Vol-453. [概要]
  47. Takao Okubo, Haruhiko Kaiya, and Nobukazu Yoshioka. Effective Security Impact Analysis with Patterns for Software Enhancement. In Proceedings of the 2011 Sixth International Conference on Availability, Reliability and Security (ARES), pp. 527-534, Vienna, Austria, 22-26 Aug. 2011. IEEE Computer Society, CPS. [概要]
  48. Haruhiko Kaiya and Atsushi Ohnishi. Quality Requirements Analysis using Requirements Frames. QSIC 2011, Proc. of The 11th International Conference on Quality Software, pp. 198-207, Madrid, Spain, 13-14 Jul. 2011. [概要]
  49. Haruhiko Kaiya, Shunichi Suzuki, Toru Ogawa, Masaaki Tanigawa, Masahiro Umemura, and Kenji Kaijiri. Spectrum Analysis for Software Quality Requirements using Analyses Records. In 35th Annual IEEE International Computer Software and Applications Conference Workshops (COMPSACW 2011), pp. 500-503, Munich, Germany, Jul. 2011. IEEE CS. [概要]
  50. Haruhiko Kaiya, Kenichiro Hara, Kyotaro Kobayashi, Akira Osada, and Kenji Kaijiri. Exploring how to support software revision in software non-intensive projects using existing techniques. In 35th Annual IEEE International Computer Software and Applications Conference Workshops (COMPSACW 2011), pp. 327-334, Munich, Germany, Jul. 2011. IEEE CS. 18-21 July 2011, [概要]
  51. Motoshi Saeki, Haruhiko Kaiya, and Satoshi Hattori. Checking Regulatory Compliance of Business Processes and Information Systems. In Software and Data Technologies, Vol. 50, pp. 71-84. Springer, 2011. Communications in Computer and Information Science (CCIS), DOI: 10.1007/978-3-642-20116-5 [概要]
  52. Motoshi Saeki and Haruhiko Kaiya. Measuring Characteristics of Models and Model Transformations Using Ontology and Graph Rewriting Techniques. Lecture Notes in Communications in Computer and Information Science (CCIS 69), pp. 3-16, Springer. 2010, DOI: 10.1007/978-3-642-14819-4_1 [概要]
  53. Haruhiko Kaiya, Yuutarou Shimizu, Hirotaka Yasui, Kenji Kaijiri, and Motoshi Saeki. Enhancing Domain Knowledge for Requirements Elicitation with Web Mining. In Proceedings of 17th Asia-Pacific Software Engineering Conference (APSEC 2010), pp. 3-12, Sydney, Australia, 30 Nov - 3 Dec 2010. [概要]
  54. Haruhiko Kaiya, Kasuhisa Amemiya, Yuutarou Shimizu, and Kenji Kaijiri. Towards an Integrated Support for Traceability of Quality Requirements using Software Spectrum Analysis. In Proceedings of the 5th International Conference on Software and Data Technologies (ICSOFT), pp. 187-194, Athens, Greece, Jul. 2010. [概要]
  55. Motoshi Saeki, Shinpei Hayashi, and Haruhiko Kaiya. An Integrated Support for Attributed Goal-Oriented Requirements Analysis Method and Its Implementation. In QSIC 2010, Proc. of The 10th International Conference on Quality Software, pp. 357-360, Zhangjiajie, China, Jul. 2010. [概要]
  56. Motoshi Saeki, Shinpei Hayashi, and Haruhiko Kaiya. A Tool for Attributed Goal-Oriented Requirements Analysis. In 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), pp. 670-672, Auckland, New Zealand, 16-20 Nov. 2009. [概要]
  57. Motoshi Saeki, Haruhiko Kaiya, and Satoshi Hattori. Detecting Regulatory Vulnerability in Functional Requirements Specifications. In Proceedings of the 4th International Conference on Software and Data Technologies (ICSOFT2009), Vol. 1, pp. 105-114, Sofia, Bulgaria, 26-29 Jul. 2009. INSTICC. [概要]
  58. Motoshi Saeki, Haruhiko Kaiya and Satoshi Hattori. Applying a Model Checker to Check Regulatory Compliance of Use Case Models. Proceedings of the Forum at the CAiSE 2009 Conference (CAiSE 2009 Forum), CEUR Workshop Proceedings, Vol. 453, pp. 13-18, 8-12 June 2009 Amsterdam, The Netherlands. [概要]
  59. Haruhiko Kaiya, Masaaki Tanigawa, Shunichi Suzuki, Tomonori Sato and Kenji Kaijiri. Spectrum Analysis for Quality Requirements by using A Term-Characteristics Map. 21th International Conference Advanced Information Systems Engineering (CAiSE 2009), pp. 546-560, 8-12 June 2009 Amsterdam, The Netherlands. LNCS 5565. [概要]
  60. Motoshi Saeki and Haruhiko Kaiya. Security Requirements Elicitation Using Method Weaving and Common Criteria. In MODELS 2008 Workshops, pp. 185-196. Springer-Verlag Berlin Heidelberg, 30 Apr. 2009. LNCS 5421. [概要]
  61. Shunichi Suzuki, Tomonori Sato, Masaaki Tanigawa, Akira Osada, Haruhiko Kaiya, and Kenji Kaijiri. A Systematic Method for Generating Quality Requirements Spectrum. In Proc. of the 24th Annual ACM Symposium on Applied Computing 2009, Volume 1 of 3, pp. 399-400, Honolulu, Hawaii, Mar. 2009. ACM. Track on Requirements Engineering, [概要]
  62. Ryo Hasegawa, Motohiro Kitamura, Haruhiko Kaiya, and Motoshi Saeki. Extracting Conceptual Graphs from Japanese Documents for Software Requirements Modeling. In Proc. of the Sixth Asia-Pacific Conference on Conceptual Modelling (APCCM 2009), pp. 87-96, Wellington, New Zealand, 20-23 Jan. 2009. Vol. 96 in the Conferences in Research and Practice in Information Technology Series. [概要]
  63. Motohiro Kitamura, Ryo Hasegawa, Haruhiko Kaiya, and Motoshi Saeki. A Supporting Tool for Requirements Elicitation Using a Domain Ontology. In Software and Data Technologies, Vol. 22, pp. 128-140. Springer Berlin Heidelberg, Nov. 2008. Communications in Computer and Information Science (CCIS), DOI 10.1007/978-3-540-88655-6_10 [概要]
  64. Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, and Nobukazu Yoshioka. Enforcing a Security Pattern in Stakeholder Goal Models. In Proc. of the 2008 ACM workshop on Quality of protection (QoP'08), pp. 9-13, Alexandria, Virginia, USA, 27 Oct. 2008. [概要]
  65. Motoshi Saeki and Haruhiko Kaiya. Using Common Criteria as Reusable Knowledge in Security Requirements Elicitation. Modeling Security Workshop, in Association with MODELS'08 (MODSEC08), Sep. 28, 2008, Toulouse, France, Proceedings [HTML]. [概要]
  66. Daisuke Tanabe, Kohei Uno, Kinji Akemine, Takashi Yoshikawa, Haruhiko Kaiya, and Motoshi Saeki. Supporting Requirements Change Management in Goal Oriented Analysis. In Proc. of 16th IEEE International Requirements Engineering Conference (RE'08), pp. 3-12, Barcelona, Catalunya, Spain, 8-12 Sep. 2008. IEEE CS. [概要]
  67. Naoyuki Kitazawa, Akira Osada, Kazuyuki Kamijo, Haruhiko Kaiya, and Kenji Kaijiri. So/M: A Requirements Definition Tool using Characteristics of Existing Similar Systems. In 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC2008), pp. 255-262, Turku, Finland, 28 July - 1 Aug. 2008. [概要]
  68. Motoshi Saeki and Haruhiko Kaiya. Supporting the Elicitation of Requirements Compliant with Regulations. In 20th International Conference Advanced Information Systems Engineering (CAiSE 2008), pp. 228-242, Montpellier, France, 16-20 Jun. 2008. LNCS 5074. [概要]
  69. Shinya Watanabe, Haruhiko Kaiya, and Kenji Kaijiri. Adapting a Fault Prediction Model to Allow Inter Language Reuse. In 4th International Workshop on Predictor Models in Software Engineering (PROMISE 2008), pp. 19-24, Leipzig, Germany, 12-13 May 2008. co-located workshop of ICSE'08. [概要]
  70. Motoshi Saeki and Haruhiko Kaiya. Metrics for a Model Driven Development Context. In 3rd International Conference on Evaluation on Novel Approaches to Software Engineering (ENASE 2008), pp. 13-22, Funchal, Madeira, Portugal, 4-7 May 2008. INSTICC. [概要]
  71. Haruhiko Kaiya, Tomonori Sato, Akira Osada, Naoyuki Kitazawa, and Kenji Kaijiri. Toward Quality Requirements Analysis based on Domain Specific Quality Spectrum. In Proc. of the 23rd Annual ACM Symposium on Applied Computing 2008, Volume 1 of 3, pp. 596-601, Fortaleza, Ceara, Brazil, Mar. 2008. ACM. Track on Requirements Engineering. [概要]
  72. Akira Osada, Daigo Ozawa, Naoyuki Kitazawa, Haruhiko Kaiya, and Kenji Kaijiri. Proposing Metrics of Difficulty of Domain Knowledge using Usecase Diagrams. In Proc. of the 23rd Annual ACM Symposium on Applied Computing 2008, Volume 1 of 3, pp. 624-629, Fortaleza, Ceara, Brazil, Mar. 2008. ACM. Track on Requirements Engineering. [概要]
  73. Masayuki Shibaoka, Haruhiko Kaiya, and Motoshi Saeki. GOORE: Goal-Oriented and Ontology Driven Requirements Elicitation Method. In Advances in Conceptual Modeling - Foundations and Applications, pp. 225-234, Auckland, New Zealand, Nov. 2007. Springer, LNCS 4802. Workshop on Requirements, Intentions and Goals in Conceptual Modeling (RIGiM). [概要]
  74. Motohiro Kitamura, Ryo Hasegawa, Haruhiko Kaiya, and Motoshi Saeki. An Integrated Tool For Supporting Ontology Driven Requirements Elicitation. In ICSOFT 2007, 2nd International Conference on Software and Data Technologies, pp. 73-80, Barcelona, Spain, Jul. 2007. [概要]
  75. Motoshi Saeki and Haruhiko Kaiya. Measuring Model Transformation in Model Driven Development. In CAiSE'07 Forum Proceedings, pp. 77-80, Trondheim, Norway, Jun. 2007. [概要]
  76. Junzo Kato, Motoshi Saeki, Atsushi Ohnishi, Haruhiko Kaiya, and Shuichiro Yamamoto. Effects of Thesaurus in Requirements Elicitation. In Colette Rolland et al., editor, Proc. of First International Conference on Research Challenges in Information Science (RCIS), pp. 385-400, Ouarzazate, Morocco, Apr. 2007. [概要]
  77. Akira Osada, Daigo Ozawa, Haruhiko Kaiya, and Kenji Kaijiri. The Role of Domain Knowledge Representation in Requirements Elicitation. In Proc. of the 25th IASTED International Multi-Conference Software Engineering (SE2007), pp. 84-92, Innsbruck, Austria, Feb. 2007. IASTED. ID: 552-135 [概要]
  78. Haruhiko Kaiya, Kouta Sasaki, and Kenji Kaijiri. PORTAM: Policy, Requirements and Threats Analyzer for Mobile Code Application. In QSIC 2006, Proc. of The 6th International Conference on Quality Software, pp. 125-132, Beijing, China, Oct. 2006. IEEE Computer Society. [PDF文書] [概要]
  79. Motoshi Saeki and Haruhiko Kaiya. Constructing Multi-Paradigm Modeling Methods based on Method Assembly Technique. In Proc. of Workshop on Multi-Paradigm Modeling: Concepts and Tools, pp. 39-50, Genova, Italy, Oct. 3, 2006.
  80. Motoshi Saeki and Haruhiko Kaiya. Model Metrics and Metrics of Model Transformation. In Proc. of 1st Workshop on Quality in Modeling, pp. 31-45, Genova, Italy, Oct. 1, 2006.
  81. Haruhiko Kaiya and Motoshi Saeki. Using Domain Ontology as Domain Knowledge for Requirements Elicitation. In Proc. of 14th IEEE International Requirements Engineering Conference (RE'06), pp. 189-198, Minneapolis/St. Paul, Minnesota, USA, Sep. 11-15 2006. IEEE CS. [PDF文書] [概要]
  82. Haruhiko Kaiya, Kouta Sasaki, Chikanobu Ogawa, and Kenji Kaijiri. A Supporting Tool to Identify Both Satisfied Requirements and Tolerant Threats for A Java Mobile Code Application. In Proc. of the 8th Internatinal Conference on Enterprise Information Systems (ICEIS 2006), pp. 444-448, Paphos, Cyprus, May 2006. [PDF文書] [概要]
  83. Akira Osada, Daigo Ozawa, Haruhiko Kaiya, and Kenji Kaijiri. Modeling Software Characteristics and Their Correlations in A Specific Domain by Comparing Existing Similar Systems. QSIC 2005, Proceedings of The 5th International Conference on Quality Software, pp. 215-222, Melbourne, Australia, Sep. 2005. IEEE Computer Society. [PDF文書] [概要]
  84. Haruhiko Kaiya and Motoshi Saeki. Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach. QSIC 2005, Proceedings of The 5th International Conference on Quality Software, pp. 223-230, Melbourne, Australia, Sep. 2005. IEEE Computer Society. [PDF文書] [概要]
  85. Haruhiko Kaiya and Motoshi Saeki. Weaving Multiple Viewpoint Specifications in Goal Oriented Requirements Analysis. In Proceedings of 11th Asia-Pacific Software Engineering Conference (APSEC 2004), pp. 418-427, Busan, Korea, Nov. 2004. IEEE Computer Society Press. [PDF文書] [概要]
  86. Kenji Kaijiri, Rihito Saitoh, and Haruhiko Kaiya. Fine-grained Recording and Streaming Lectures. In International Conference on Computers in Education 2004 (ICCE2004), pp. 1957-1962, Melbourne Exhibition Centre, Nov. 2004. RMIT Business. CD-ROM only. [概要]
  87. Kazuma Aizawa, Haruhiko Kaiya, and Kenji Kaijiri. FC method: A Practical Approach to Improve Quality and Efficiency of Software Processes for Embedded System Revision. In Proceeding of the 28th Annual International Computer Software and Applications Conference (COMPSAC2004), pp. 286-292, Hong Kong, Sep. 2004. [概要]
  88. Haruhiko Kaiya, Akira Osada, and Kenji Kaijiri. Identifying Stakeholders and Their Preferences about NFR by Comparing Use Case Diagrams of Several Existing Systems. In Proceedings of 12th IEEE International Requirements Engineering Conference, pp. 112-121, Sep. 2004. [PDF文書] [概要]
  89. Hidekazu Omote, Kohta Sasaki, Haruhiko Kaiya, and Kenji Kaijiri. Software Evolution Support Using Traceability Link between UML diagrams. In Vadim Stefanuk and Kenji Kaijiri, editors, Knowledge-Based Software Engineering, pp. 15-23. IOS Press, Aug. 2004. Proc. of the 6th JCKBSE. [概要]
  90. Daisuke Shinbara, Jinichi Kawano, Haruhiko Kaiya, and Motoshi Saeki. Identifying Requirements Gaps among Stakeholders by using Goal Oriented Analysis. In Proceedings of the 10th Anniversary International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'04), pp.219-234, Riga, Latvia, Jun. 2004. Essener Informatik Beitrage. [概要]
  91. Junzo Kato, Motoshi Saeki, Atsushi Ohnishi, Morio Nagata, Haruhiko Kaiya, Seiichi Komiya, Shuichiro Yamamoto, Hisayuki Horai, and Kenji Watahiki. PAORE: Package oriented requirements elicitation. In Proceedings of 10th Asia-Pacific Software Engineering Conference (APSEC 2003), pp. 17-26, Chiang Mai, Thailand, Dec. 2003. IEEE Computer Society Press. ISBN 0-7695-2011-1. [概要]
  92. Kenji Kaijiri, Yoshiharu Suzuki, and Haruhiko Kaiya. Lecture Recording System based on SMIL. In Proceedings of International Conference on Computers in Education, pp. 585-590, Hong Kong, China, Dec. 2003. the Asia-Pacific Chapter of the Association for the Advancement of Computing in Education (AACE). only CD-ROM. [概要]
  93. Hisayuki Suzumori, Haruhiko Kaiya, and Kenji Kaijiri. VDM over PSP: A Pilot Course for VDM Beginners to Confirm its Suitability for Their Development. In Proceedings of COMPSAC2003, pp. 327-334, Dallas, Texas, Nov. 2003. IEEE. [PDF文書] [概要]
  94. Haruhiko Kaiya, Kouta Sasaki, Yasunori Maebashi, and Kenji Kaijiri. Trade-off Analysis between Security Policies for Java Mobile Codes and Requirements for Java Application. In 11th IEEE International Requirements Engineering Conference, pp. 357-358, Monterey Bay, California, Sep. 2003. [PDF文書] [概要]
  95. Haruhiko Kaiya, Hitoshi Furukawa and Kenji Kaijiri. Security Policy Checker and Generator for Java Mobile Codes, EISIC : IFIP WG8.1 Working Conference on Engineering Information Systems in the Internet Context, pp. 255-264, Sep. 2002. [PDF文書] [概要]
  96. Nobuhiko Miyahara, Haruhiko Kaiya and Kenji Kaijiri. A Web-Based VOD Clipping Tool for Efficient Private Review, 5th Joint Conference on Knowledge-Based Software Engineering (JCKBSE2002), pp. 313-316, Maribor, Slovenia, Sep. 2002. [PDF文書] [概要]
  97. Haruhiko Kaiya, Hisayuki Horai and Motoshi Saeki. AGORA: Attributed Goal-Oriented Requirements Analysis Method, 10th Anniversary IEEE Joint International Requirements Engineering Conference (RE'02), pp. 13-22, Sep. 2002. [PDF文書] [概要]
  98. Haruhiko Kaiya and Kenji Kaijiri. Specifying Runtime Environments and Functionalities of Downloadable Components under the Sandbox Model. In Takuya Katayama, Tetsuo Tamai, and Naoki Yonezaki, editors, International Symposium on Principles of Software Evolution, pp. 138-142, Kanazawa, Japan, Nov. 2000. IEEE Computer Society Press. [PDF文書] [概要]
  99. Haruhiko Kaiya and Kenji Kaijiri. Specifying Downloadable Properties for Reusing Software Components: A Case Study of Java. In T. Hruska and M. Hashimoto, editors, Knowledge-Based Software Engineering, pp. 123-128, Brno, Czech Republic, Sep. 2000. IOS Press. Proc. of the 4th JCKBSE. [PDF文書] [概要]
  100. Haruhiko Kaiya and Kenji Kaijiri. Conducting Requirements Evolution by Replacing Components in the Current System. Proc. of APSEC'99, pp.224-227, Dec. 1999. [PDF文書] [概要]
  101. Haruhiko Kaiya, Finding Symptoms of Misunderstandings in Drawing Software Design, International Workshop on Human Dimensions in Successful Software Development, joint workshop of ICSE98, pp. 84-93, April 21, 1998, Kyoto, Japan. [PDF文書] [概要]
  102. Motoshi Saeki, Kinji Matsumura, Jun'ichi Shimoda and Haruhiko Kaiya, Structuring Utterance Records for Requirements Elicitation Meetings Based on Speech Act Theory, Proc. of 2nd International Conference on Requirements Engineering (ICRE'96), pp.21-30, Apr. 1996 [PDF文書] [概要]

  103. Nobuyuki Miura, Haruhiko Kaiya, and Motoshi Saeki. Building the structure of specification documents from utterances of requirements elicitation meetings. APSEC'95 proceedings, pp. 64-73, Brisbane Parkroyal Hotel, Brisbane, Australia, Dec. 1995. Australian Computer Society, IEEE Computer Society Press. [PDF文書] [概要]
  104. Hiroyuki Murakosi, Haruhiko Kaiya, and Koichiro Ochimizu. An Analysis of Obstruction in Cooperative Work over a Computer Network. CICS'95 proceedings, Changsha City, Hunan Province, pp. 98-103, China, Oct. 1995. SEA(Japan) and UNU/IIST(Macao) [PDF文書] [概要]
  105. Haruhiko Kaiya, Motoshi Saeki, and Koichiro Ochimizu. Design of a Hyper Media Tool to support Requirements Elicitation Meetings. In Hausi A. Miiller and Ronald J. Norman, editors, CASE'95:Proceedings Seventh International Workshop on Computer-Aided SoftwareEngineering, pp. 250-259, Toronto, Ontario, Canada, Jul. 1995. IWCASE, IEEE Computer Society Press. [PDF文書] [概要]
  106. Haruhiko Kaiya and Motoshi Saeki. A Groupware for Face-to-face Meetings to Develop Software Specifications. In InfoScience '93, International Conference organized by Korea Information Science Society, pp. 691-698. Korea Information Science Society, Oct. 1993. [PDF文書] [概要]
  107. Haruhiko Kaiya and Motoshi Saeki. An Experimental Results on Meetings to develop Software Specifications. In Poster Sessions: Abridged Proceedings, 5th International Conference on Human-Computer Interaction, p. 176, Aug. 1993. [PDF文書] [概要]
国内査読付会議論文 [先頭に戻る]
  1. 早川 弘基, 小形 真平, 海谷 治彦, 海尻 賢二. 入力保存機能に着目したモデル駆動ユーザビリティ評価法. 岡野 浩三, 関澤 俊弦 (編), レクチャーノート/ソフトウェア学 39, ソフトウェア工学の基礎XX, pp. 65-70, 石川県 加賀市, 28-30 Nov. 2013. 日本ソフトウェア科学会 FOSE 2013, 近代科学社. [概要]
  2. 海谷 治彦. ソフトウェア成果物のためのスペクトル分析. ソフトウェアエンジニアリング最前線2009, pp. 51-52, 東京女子大学, 9 Sep. 2009. 情報処理学会 ソフトウェア工学研究会, 近代科学社. ソフトウェアエンジニアリングシンポジウム2009 (SES2009). (招待論文) [概要]
  3. Motoshi Saeki, Shinpei Hayashi, and Haruhiko Kaiya. Tool Support for Requirements Changes in AGORA. ソフトウェアエンジニアリング最前線2009, pp. 49-50, 東京女子大学, 9 Sep. 2009. 情報処理学会 ソフトウェア工学研究会, 近代科学社. ソフトウェアエンジニアリングシンポジウム2009 (SES2009). (招待論文) [概要]
  4. 長田 晃, 小澤 大伍, 海谷 治彦, 海尻 賢二. 要求獲得におけるドメイン知識表現の役割. ソフトウェアエンジニアリング最前線2006, pp. 149-156. 情報処理学会 ソフトウェア工学研究会, 近代科学社, Oct. 2006. ソフトウェアエンジニアリングシンポジウム2006 (SES2006), 東京 日本科学未来館. [概要]
  5. 相沢一摩, 海谷治彦, 海尻賢二. 組み込みシステム改造開発における機能単位設計法の適用と効果. 組み込みソフトウェアシンポジウム2003(ESS 2003), pp. 8-13. ソフトウェア工学研究会, Oct. 2003. [概要]
  6. 海谷治彦, 小島彰, 海尻賢二. 大学におけるプロセス改善教育のあり方について - PSP法実践の経験をもとに - . In Software Symposium 2001 Proceedings, pp. 137-142. ソフトウェア技術者協会, Jun. 2001. [PDF文書] [概要]
  7. 村越広享, 海谷治彦, 落水浩一郎. 共同ソフトウェア開発における 非同期型コミュニケーションの特徴と生産物に与える影響の分析. Proceedings Software Symposium'97, pp. 132-141, 福岡ソフトリサーチパーク, Jun. 1997. ソフトウェア技術者協会. [PDF文書] [概要]
  8. 村越広享, 海谷治彦, 落水浩一郎. 共同ソフトウェア開発における非同期型コミュニケーションの生産物への影響． 佐伯元司, 権藤克彦（編）, レクチャーノート/ソフトウェア学17 ソフトウェア工学の基礎III, pp. 166-169, 日本ソフトウェア科学会 FOSE'96, 近代科学社, 会津若松, Dec. 1996. [PDF文書] [概要]
  9. 海谷治彦． 作図を目的とした摺合せ作業における認識の不一致を検出する手法の提案． 田中二郎（編）, レクチャーノート/ソフトウェア学16 インタラクティブシステムとソフトウェアIV, pp. 159-168. 日本ソフトウェア科学会WISS'96, 近代科学社, 北海道 池田町, Dec. 1996. [PDF文書] [概要]
その他論文 [先頭に戻る]
  1. 海谷 治彦, ドメインモデルを用いたアクター間のゴール依存関係分析, 電子情報通信学会技術研究報告, Vol. 116, No. 127, pp. 43-48, July 2016. ISSN 0913-5685, ソフトウェアサイエンス SS 2016-4, 2016年7月13～15日, 北海道立道民活動センター. [概要]
  2. 上田 健之, 小形 真平, 海谷 治彦, 海尻 賢二. Traceability link recoveryのためのmethod mining. 電子情報通信学会技術研究報告, Vol. 113, No. 71, pp. 25-30, May 2013. ISSN 0913-5685, 知能ソフトウェア工学 KBSE 2013-5, KBSE 5/30-31, 2013, 慶応義塾大学． [概要]
  3. 早川 弘基, 小形 真平, 海谷 治彦, 海尻 賢二. 入力保存機能に注目したユーザビリティ評価のための画面遷移モデル. 電子情報通信学会技術研究報告, Vol. 113, No. 71, pp. 31-36, May 2013. ISSN 0913-5685, 知能ソフトウェア工学 KBSE 2013-6, KBSE 5/30-31, 2013, 慶応義塾大学． [概要]
  4. 瀧澤 悠介, 阪井 隼也, 海谷 治彦, 小形 真平, 海尻賢二. アセットフロー図と配置図を用いた情報システムのセキュリティ要求分析支援ツール. 電子情報通信学会技術研究報告, Vol. 112, No. 496, pp. 31-36, 14 Mar. 2013. 知能ソフトウェア工学 KBSE 2012-74, 芝浦工業大学. [概要]
  5. 板垣 恭太, 海尻 賢二, 海谷 治彦, 小形 真平. Bugzilla 等へ報告されるIssue の分類手法の提案. 情報処理学会 全国大会, 6B-4, Vol. 1, pp. 337-338, 6-8 Mar. 2013.
  6. 田中 勝輝, 小形 真平, 海谷 治彦, 海尻 賢二. Ontology を利用したTraceability リンクの評価. 情報処理学会 全国大会, 3B-6, Vol. 1, pp. 297-298, 6-8 Mar. 2013.
  7. 松浦 優, 小形 真平, 海谷 冶彦, 海尻 賢二. 最適なError-prone モジュール予測器の識別手法の提案. 情報処理学会 全国大会, 6B-1, Vol. 1, pp.331-332, 6-8 Mar. 2013.
  8. 高橋 利英, 小形 真平, 海谷 治彦, 海尻 賢二. 集約的手法によるError Prone モジュール予測における最適モデル集合の選択. 情報処理学会 全国大会, 6B-2, Vol. 1, pp. 333-334, 6-8 Mar. 2013.
  9. 坂下 卓弥, 小形 真平, 海谷 治彦, 海尻 賢二. 静的解析によるAndroid パーミッションの利用目的の可視化方法. 情報処理学会 全国大会, 6L-2, Vol. 1, 367-368, 6-8 Mar. 2013.
  10. 鈴木 祐司, 海谷 治彦, 小形 真平, 大久保 隆夫, 金谷 延幸, 吉岡 信和. 私物デバイスの業務活用におけるセキュリティ要求変化予測法. 電子情報通信学会技術研究報告, Vol. 112, No. 314, pp. 55-60, Nov. 2012. 知能ソフトウェア工学 KBSE 2012-47, 22-23 Nov. 2012. 金沢大学． [概要]
  11. 小橋 孝紀, 大久保 隆夫, 海谷 治彦, 吉岡 信和, 伊永 祥太, 鷲崎 弘宜, 深澤 良彰. モデルテストによるセキュリティ分析・設計パターンの適用支援. コンピュータセキュリティシンポジウム 2012 (CSS2012) 論文集, pp.655-662, 松江市 くにびきメッセ, 30 Oct. - 1 Nov. 2012. 情報処理学会 コンピュータセキュリティ研究会. [概要]
  12. 高橋 利英, 大西 達也, 小形 真平, 海谷 治彦, 海尻 賢二. 多数決手法による Error Prone 予測手法の評価. 電子情報通信学会技術研究報告, Vol. 112, No. 164, pp. 25-30, Jul. 2012. ISSN 0913-5685, ソフトウェアサイエンス SS2012-14, はこだて未来大学 7/27-28. [概要]
  13. 宮下 学, 海谷 治彦, 海尻 賢二. ソフトウェアプロジェクトにおけるtraceabilityの確立　- 実プロジェクトへの適用 -. 電子情報通信学会技術研究報告, Vol. 111, No. 481, pp. 127-132, Mar. 2012. ソフトウェアサイエンス SS2011-78, 沖縄 3/13-14. [概要]
  14. 加賀谷 有紀, 海尻 賢二, 海谷 治彦. Ajaxアプリケーションの複雑性メトリクスの提案とツールの試作. 電子情報通信学会技術研究報告, Vol. 111, No. 481, pp. 85-90, Mar. 2012. ソフトウェアサイエンス SS2011-71, 沖縄 3/13-14. [概要]
  15. 大久保 隆夫, 海野 雪絵, 綿口 吉郎, 海谷 治彦, 吉岡 信和. アーキテクチャを考慮したセキュリティ要求分析の提案, 暗号と情報セキュリティシンポジウム, SCIS 2012, 2F2-4, 金沢， Jan. 2012.
  16. 森田 峻輔, 海谷 治彦, 海尻 賢二. サブモデルの再利用とメトリクスによる i* SD モデルの改訂支援. 電子情報通信学会技術研究報告, Vol. 111, No. 396, pp. 37-42, 23 Jan. 2012. ISSN 0913-5685, 知能ソフトウェア工学 KBSE2011-59, 機械振興会館 [概要]
  17. 西野 裕範, 阪井 隼也, 海谷 治彦, 海尻 賢二. 原因指向脆弱性モデルに基づくWebアプリケーションのセキュリティ要求分析支援. 電子情報通信学会技術研究報告, Vol. 111, No. 396, pp. 31-36, 23 Jan. 2012. ISSN 0913-5685, 知能ソフトウェア工学 KBSE2011-58, 機械振興会館. [概要]
  18. 加賀谷 有紀, 海谷 治彦, 海尻 賢二. AjaxのためのWEB保守性メトリクスの提案. 電子情報通信学会技術研究報告, Vol. 111, No. 282, pp. 91-96, 11 Nov. 2011. ISSN 0913-5685, 知能ソフトウェア工学 KBSE2011-51, 信州大学. [概要]
  19. 梅村 真弘, 海谷 治彦, 海尻 賢二. スペクトル分析を用いたソフトウェア設計工程における品質特性情報の抽出. 電子情報通信学会技術研究報告, Vol. 111, No. 282, pp. 7-12, 10 Nov. 2011. ISSN 0913-5685, 知能ソフトウェア工学 KBSE2011-37, 信州大学. 概要
  20. 寺岡 仁志, 海尻 賢二, 海谷 治彦. コーディング規約の違反計測に基づく開発スタイルの特徴分析. 電子情報通信学会技術研究報告, Vol. 110, No. 458, pp. 85-90, Mar. 2011. ソフトウェアサイエンス SS2010-67, 沖縄県青年会館 3/7. [概要]
  21. 戴 家豪, 海谷 治彦, 海尻 賢二. オープンソース開発におけるSCMの自動分類に基づくevolutionの傾向分析と品質評価. 電子情報通信学会技術研究報告, Vol. 110, No. 458, pp. 79-84, Mar. 2011. ソフトウェアサイエンス SS2010-66, 沖縄県青年会館 3/7. [概要]
  22. 阪井 隼也, 海谷 治彦, 海尻 賢二. 情報システムの要求分析段階における脆弱性検出と対策選択支援法. ウインターワークショップ2011・イン・修善寺論文集, Vol. 2011, No. 2, pp. 31-32, 20-21 Jan. 2011. 情報処理学会シンポジウムシリーズ. [概要]
  23. 鈴木 駿一, 梅村 真弘, 谷川 正明, 小川 享, 海谷 治彦, 海尻 賢二. スペクトラム分析の実績に基づくソフトウェア品質要求評価ツールの実現と評価. 電子情報通信学会技術研究報告, Vol. 110, No. 227, pp. 7-12, 14 Oct. 2010. ソフトウェアサイエンス SS2010-29, 岩手県立大学. [概要]
  24. 海谷 治彦, 大西 淳. 要求フレームを利用した品質要求分析支援. 電子情報通信学会技術研究報告, Vol. 110, No. 227, pp. 1-6, 14 Oct. 2010. ソフトウェアサイエンス SS2010-28, 岩手県立大学. [概要]
  25. 原 賢一郎, 長田 晃, 海谷 治彦, 海尻 賢二. 索引検索を用いた組み込みソフトウェアのインパクト分析支援ツール. 電子情報通信学会技術研究報告, Vol. 110, No. 158, pp. 19-24, Jul. 2010. 知能ソフトウェア工学 KBSE2010-19, 釧路公立大学． [概要]
  26. 清水 悠太郎, 安井 浩貴 海谷 治彦, 海尻 賢二. Web検索によるドメインオントロジ拡充支援ツールの開発と評価. 電子情報通信学会技術研究報告, Vol. 109, No. 432, pp. 49-54, 5 Mar. 2010. 知能ソフトウェア工学 KBSE2009-67, 九州工業大学 天神サテライトキャンパス. [概要]
  27. 佐伯 元司, 林 晋平, 海谷 治彦. コモンクライテリアをドメイン知識としたゴール指向セキュリティ要求獲得法. 電子情報通信学会技術研究報告, Vol. 109, No. 432, pp. 37-42, 5 Mar. 2010. 知能ソフトウェア工学 KBSE2009-65, 九州工業大学 天神サテライトキャンパス. [概要]
  28. 渡邊 慎也, 石部 真生, 海谷 治彦, 海尻 賢二. Error-prone予測モデルの再利用. 電子情報通信学会技術研究報告, Vol. 109, No. 432, pp. 7-12, 4 Mar. 2010. 知能ソフトウェア工学 KBSE2009-60, 九州工業大学 天神サテライトキャンパス. [概要]
  29. 雨宮 和寿, 海谷 治彦, 海尻 賢二. 品質要求が開発後段で反映されていることをスペクトル分析で確認する手法. 電子情報通信学会技術研究報告, Vol. 109, No. 392, pp. 19-24, 25-26 Jan. 2010. 知能ソフトウェア工学研究会, KBSE2009-51, 筑波大学 東京キャンパス. [概要]
  30. 原 賢一郎, 長田 晃, 海谷 治彦, 海尻 賢二. 機械学習を用いた組み込みソフトウェアのインパクト分析. 電子情報通信学会技術研究報告, Vol. 109, No. 307, pp. 61-66, 26-27 Nov. 2009. 知能ソフトウェア工学研究会 KBSE2009-41. 島根大学. [概要]
  31. 安井 浩貴, 清水 悠太郎, 海谷 治彦, 海尻 賢二. Web検索によるドメインオントロジ拡充支援方法. 電子情報通信学会技術研究報告, Vol. 109, No. 307, pp. 25-30, 26-27 Nov. 2009. 知能ソフトウェア工学研究会 KBSE2009-35. 島根大学. [概要]
  32. 原 賢一郎, 長田 晃, 川平 航介, 海谷 治彦, 海尻 賢ニ. 情報検索技術を用いた組み込みソフトウェアにおけるインパクト分析. 電子情報通信学会技術研究報告, Vol. 109, No. 231, pp. 1-6, ソフトウェアサイエンス SS2009-29. 15-16 Oct. 2009, 信州大学. [概要]
  33. 山口 圭, 海谷 治彦, 海尻 賢二. 差分に基づく、増分的なTraceability Link再構成手法の提案. 電子情報通信学会技術研究報告, Vol. 109, No. 231, pp. 7-12, ソフトウェアサイエンス SS2009-30. 15-16 Oct. 2009, 信州大学. [概要]
  34. 佐伯 元司, 林 晋平, 海谷 治彦. 属性つきゴール指向要求分析法の支援のための統合ツール. 電子情報通信学会技術研究報告, Vol. 109, No. 40, pp. 13-18, May 2009. ソフトウェアサイエンス SS2009-3, 21-22 May 2009, 秋田大学. [概要]
  35. 海谷 治彦, 長田 晃, 北澤 直幸, 海尻 賢二. プロブレムフレームに基づく要求工学手法の分類. ウインターワークショップ2009・イン・宮崎論文集, Vol. 2009, No. 3, pp. 35-36, 23-24 Jan. 2009. 情報処理学会シンポジウムシリーズ. [概要]
  36. 谷川 正明, 鈴木 駿一, 佐藤 知徳, 長田 晃, 北澤 直幸, 海谷 治彦, 海尻 賢二. 単語-品質特性対応表を用いた品質要求スペクトルの抽出法. 電子情報通信学会技術研究報告, Vol. 108, No. 384, pp. 73-78, 19-20 Jan. 2009. 知能ソフトウェア工学研究会 (KBSE) KBSE2008-49, 機械振興会館 東京. [概要]
  37. 佐伯 元司, 海谷 治彦, 服部 哲. モデルチェッカを用いた要求仕様の法令準拠性の検査. 電子情報通信学会技術研究報告, Vol. 108, No. 362, SS2008-41, pp. 13-18, Dec. 2008. ソフトウェアサイエンス研究会 (SS), 高知. [概要]
  38. 石部 真生, 海谷 治彦, 海尻 賢二. 測度に基づく品質予測における最適な測度の選択. 電子情報通信学会技術研究報告, Vol. 108, No. 157, pp. 7-12, Jul. 2008. 知能ソフトウェア工学 KBSE2008-14, 北海道情報大学 [概要]
  39. 川平 航介, 長田 晃, 海谷 治彦, 北澤 直幸, 海尻 賢ニ. 要求追加によるインパクトの分析に基づく組込みソフトウェア開発の効率化. 情報処理学会研究会報告, Vol. 2008, No. 29, pp. 17-24, Mar. 2008. ソフトウェア工学 2008-SE-159 (3) [概要]
  40. 佐藤 知徳, 鈴木 駿一, 北澤 直幸, 長田 晃, 海谷 治彦, 海尻 賢二. ソフトウェア要求仕様書における品質要求の含有率測定ツールの設計. 電子情報通信学会技術研究報告, Vol. 107, No. 540, pp. 19-24, Mar. 2008. ISSN 0913-5685, 知能ソフトウェア工学 KBSE2007-57, 機械振興会館. [概要]
  41. 北澤 直幸, 長田 晃, 上條 和幸, 海谷 治彦, 海尻 賢ニ. 既存類似システムの機能比較に基づく要求定義支援ツールの実現と評価. 電子情報通信学会技術研究報告, Vol. 107, No. 505, pp. 67-72, Mar. 2008. ソフトウェアサイエンス SS2007-68, 長崎大学． [概要]
  42. 佐伯 元司, 海谷 治彦. 法律や規則に適合した要求の獲得支援. 電子情報通信学会技術研究報告, Vol. 107, No. 392, pp. 1-6, 17 Dec. 2007. ソフトウェアサイエンス SS2007-38, 島根大学. [概要]
  43. 守田 立, 表 秀和, 海谷 治彦, 海尻 賢二. デザインパターンに基づくソフトウェアevolutionによるTraceability. 電子情報通信学会技術研究報告, Vol. 107, No. 331, pp. 61-66, Nov. 2007. 知能ソフトウェア工学 KBSE2007-37, 九州産業大学.
  44. 長谷川 亮, 北村 元博, 海谷 治彦, 佐伯 元司. 要求分析のためのドメインオントロジ構築支援. 電子情報通信学会技術研究報告, Vol. 107, No. 176, pp. 53-58, Aug.2007. ISSN 0913-5685, ソフトウェアサイエンス SS2007-25, 北海道大学． [概要]
  45. 佐藤 知徳, 長田 晃, 北澤 直幸, 海谷 治彦, 海尻 賢ニ. ソフトウェア品質特性を用いたアプリケーションドメインのスペクトル分析. 電子情報通信学会技術研究報告, Vol. 107, No. 4, pp. 13-18, Apr. 2007. ISSN 0913-5685, ソフトウェアサイエンス SS2007-3, 会津大学. [概要]
  46. 小澤 大伍, 長田 晃, 北澤 直幸, 海谷 治彦, 海尻 賢ニ. 情報システム開発者の理解度に基づく業務知識の提供法. 電子情報通信学会技術研究報告, Vol. 107, No. 4, pp. 19-24, Apr. 2007. ISSN 0913-5685, ソフトウェアサイエンス SS2007-4, 会津大学. [概要]
  47. 長田 晃, 海谷 治彦, 海尻 賢二. 要求工学技術の平易化と社会学的顧客別対応の必要性. ウインターワークショップ2005・イン・那覇論文集, Vol. 2007, No. 3, pp. 57-58, Jan. 2007. ISSN 1344-0640, 情報処理学会シンポジウムシリーズ, [PDF文書]
  48. Motoshi Saeki and Haruhiko Kaiya. A Technique for Defining Model Metrics in Model Driven Development. 電子情報通信学会技術研究報告, Vol. 106, No. 426, pp. 13-18, Dec. 2006. ソフトウェアサイエンス研究会 SS2006-59, 九州大学. [概要]
  49. 表 秀和, 守田 立, 海谷 治彦, 海尻 賢二. デザインパターン保守のためのDPインスタンスの制約条件に関する考察. 電子情報通信学会技術研究報告, Vol. 106, No. 382, pp. 13-18, Nov. 2006. 知能ソフトウェア工学 KBSE2006-34, 琉球大学.
  50. 山本 修一郎, 海谷 治彦, Karl Cox, Steven Bleistein. ゴール指向要求工学の動向と課題. 電子情報通信学会技術研究報告, Vol. 106, No. 382, pp. 31-36, Nov. 2006. 知能ソフトウェア工学 KBSE2006-37, 琉球大学.
  51. 加藤 潤三, 佐伯 元司, 大西 淳, 海谷 治彦, 山本 修一郎. 要求獲得におけるシソーラスの効果・効用について. 電子情報通信学会技術研究報告, Vol. 106, No. 201, pp. 43-48, Aug. 2006. ソフトウェアサイエンス SS2006-32. 北海道大学.
  52. 北村 元博, 長谷川 亮, 山部 信夫, 海谷 治彦, 佐伯 元司. ドメインオントロジーを用いた要求獲得支援ツールの実現. 電子情報通信学会技術研究報告, Vol. 106, No. 121, pp. 19-24, Jun. 2006. ソフトウェアサイエンス SS2006-23, 岡山大学. [概要]
  53. 海谷 治彦, 佐伯 元司. ドメインオントロジーを用いた要求獲得法の提案. 電子情報通信学会技術研究報告, Vol. 106, No. 16, pp. 13-18, Apr. 2006. ソフトウェアサイエンス SS2006-10, 新潟大学． [PDF文書] [概要]
  54. 長田 晃, 小澤 大伍, 海谷 治彦, 海尻 賢二. ドメイン知識表現が要求獲得に与える影響の分析. 情報処理学会研究会報告, Vol. 2006, No. 35, pp. 57-64, Mar. 2006. ソフトウェア工学 2006-SE-151(8). 東京 化学会館. [PDF文書] [概要]
  55. 上田 健之, 海谷 治彦, 海尻 賢ニ. ソフトウェア規模見積もりと進捗管理手法の提案. 情報処理学会研究会報告, Vol. 2005, No. 119, pp. 117-124, Nov. 2005. ソフトウェア工学 2005-SE-150(15).
  56. 長田 晃, 小澤 大伍, 海谷 治彦, 海尻 賢二. 特定分野のソフトウェアに関する特性の相関を用いた要求獲得法. 電子情報通信学会 技術研究報告, Vol. 105, No. 128, pp. 1-6, Jun. 2005. ソフトウェアサイエンス SS2005-12. [PDF文書] [概要]
  57. 海谷 治彦, 佐伯 元司. 要求分析におけるオントロジーの活用法. 電子情報通信学会技術研究報告, Vol. 105, No. 25, pp. 7-12, Apr. 2005. ISSN 0913-5685, ソフトウェアサイエンス研究会 SS2005-8. [PDF文書] [概要]
  58. 草間 文雄, 海谷 治彦, 海尻 賢二. Eclipse上でのコーディングスタイル診断機能の実現. 電子情報通信学会技術研究報告, Vol. 104, No. 725, pp. 43-48, Mar. 2005. ISBN 0913-5685, 知能ソフトウェア工学 KBSE2005-63.
  59. 横濱 彰則, 海谷 治彦, 海尻 賢二. 実行によるプログラムの診断 - JavaReflectionAPIによるプログラムのテスト -. 電子情報通信学会技術研究報告, Vol. 104, No. 725, pp. 37-42, Mar. 2005. ISBN 0913-5685, 知能ソフトウェア工学 KBSE2005-62.
  60. 加藤潤三, 佐伯元司, 大西淳, 古宮 誠一 山本修一郎, 海谷治彦. シソーラスを用いた要求分析法. 電子情報通信学会技術研究報告, Vol. 104, No. 722, pp. 31-36, Mar. 2005. ISSN 0913-5685, ソフトウェアサイエンス研究会 SS2004-61. [概要]
  61. 鈴森寿之, 久保田卓秀, 長田晃, 海谷治彦, 海尻賢二. プロセス改善の自己観測による設計手法有効性体験コースの実施. 第67回全国大会論文集(1), pp. 293-294, 電気通信大学, Mar. 2005. 情報処理学会. 3N-9.
  62. 鈴木善晴, 高野佑一, 海谷治彦, 海尻賢二. ソフトウェア工学教育用プロジェクトコース支援システムに関する研究?診断プロセス?. 第67回全国大会論文集(4), pp. 435-436, 電気通信大学, Mar. 2005. 情報処理学会. 2P-2.
  63. 佐々木宏太, 表秀和, 海谷治彦, 海尻賢二. デザインパターンに基づいたTraceability Linkの構築とSoftware Evolutionのサポート. 第67回全国大会論文集(1), pp. 335-336, 電気通信大学, Mar. 2005. 情報処理学会. 1S-5.
  64. 平川良太, 海尻賢二, 海谷治彦. TabletPCを用いた講義の細粒度な記録再生. 第67回全国大会論文集(4), pp. 483-484, 電気通信大学, Mar. 2005. 情報処理学会. 4P-8.
  65. 海谷治彦, 久保田卓秀, 長田晃, 海尻賢二. 類似する既存システムの比較による要求ビューポイントの識別. ウインターワークショップ2005・イン・伊豆論文集, Vol. 2005, No. 3, pp. 23-24, Jan. 2005. ISSN 1344-0640, 情報処理学会シンポジウムシリーズ. [PDF文書] [概要]

  66. 海谷治彦, 長田晃, 海尻賢ニ. 既存システムのユースケース図を利用したステークホルダと非機能要求の獲得法. 電子情報通信学会技術研究報告, Vol. 104, No. 243, pp. 1-6, Aug. 2004. ISBN 0913-5685, SS2004-14, ソフトウェアサイエンス研究会 はこだて未来大学. [PDF文書] [概要]
  67. 森山 真, 長田 晃, 海谷 治彦, 海尻 賢ニ. 既存システムのシナリオデータベースをもとにした要求獲得法. 電子情報通信学会技術研究報告, Vol. 104, No. 224, pp. 1-6, Jul. 2004. ISBN 0913-5685, KBSE2004-6. [概要]
  68. 表 秀和, 佐々木 宏太, 海谷 治彦, 海尻 賢二. UMLモデル間リンクによるシステムevolutionのサポート(2). 電子情報通信学会技術研究報告, Vol. 104, No. 49, pp. 1-5, May 2004. ISBN 0913-5685, 知能ソフトウェア工学 KBSE2004-1. [概要]
  69. 新原 敦介, 河野 仁一, 海谷 治彦, 佐伯 元司. ゴール指向要求分析を用いたステークホルダの対立の検出. 情報処理学会研究会報告, Vol. 2004, No. 30, pp. 99-106, Mar. 2004. ソフトウェア工学 2004-SE-144(14). [概要]
  70. 鈴森 寿之, 久保田 卓秀, 長田 晃, 海谷 治彦, 海尻 賢二. プロセス改善の自己観測による設計手法有効性体験コースの実施. 情報処理学会研究会報告, Vol. 2004, No. 30, pp. 9-16, Mar. 2004. ソフトウェア工学 2004-SE-144(2). [PDF文書] [概要]
  71. 石井 秀典, 海谷 治彦, 海尻 賢ニ. 小型モバイルコンピュータを用いたプロバイダ主体コンテンツ管理方式の提案. 情報処理学会研究報告, Vol. 2004, No. 21, pp. 103-109, Mar. 2004. 2004-MBL-28 モバイルコンピューティングとユビキタス通信研究会, [概要]

  72. 加藤 潤三, 佐伯 元司, 大西 淳, 永田 守男, 海谷 治彦, 古宮 誠一, 山本 修一郎, 蓬莱尚幸. 要求分析のためのシソーラス作成支援 . 電子情報通信学会技術研究報告, Vol. 103, No. 217, pp. 41-46, Jul. 2003. ISSN 0913-5685, 知能ソフトウェア工学 KBSE2003-12, 北海道情報大学にて開催． [概要]
  73. 海谷治彦, 佐々木宏太, 海尻賢二. Javaアプリケーションの要求仕様とセキュリティポリシィのトレードオフ分析. 情報処理学会研究報告, Vol. 2003, No. 60, pp. 17-24, May 2003. ソフトウェア工学研究会 2003-SE-142 (3). [PDF文書] [概要]. 情報処理学会 山下記念研究賞 (旧研究賞)を受賞
  74. 鈴森 寿之, 海谷 治彦, 海尻 賢二. PSPをもとにした形式手法有効性確認コースの設計. 情報処理学会研究報告, Vol. 2003, No. 22, pp. 63-70, Mar. 2003. ソフトウェア工学研究会 140-9. [PDF文書] [概要]
  75. 長田晃, 海谷治彦, 海尻賢ニ. GUIコンポーネントの特性をトリガーとしたユーザーインタフェース要求の獲得法. 電子情報通信学会技術研究報告, Vol. 102, No. 624, pp. 13-18, Feb. 2003. 知能ソフトウェア工学研究会 KBSE2002-41. [概要]
  76. 中嶋正太郎, 海谷治彦, 海尻賢ニ. デザインパターンを利用したSystem Evolutionのパターン化. 電子情報通信学会技術研究報告, Vol. 102, No. 624, pp. 19-24, Feb. 2003. 知能ソフトウェア工学研究会 KBSE2002-42. [概要]
  77. 海谷治彦, 海尻賢二. ステークホルダの期待に基づくゴール階層の構成法. ウィンターワークショプ・イン・神戸 論文集, Vol. 2003, No. 5, pp. 63-64, Jan. 2003. ISSN 1344-0640, 情報処理学会 シンポジウムシリーズ, [PDF文書] [概要]

  78. 加藤 潤三, 佐伯 元司, 大西 淳, 永田 守男, 海谷 治彦, 古宮 誠一, 山本 修一郎, 綿引 健二, 蓬莱尚幸. PAORE: パッケージ指向の要求獲得プロセス . 電子情報通信学会技術研究報告, Vol. 102, No. 503, pp. 25-30, Dec. 2002. ISSN 0913-5685, 知能ソフトウェア工学 KBSE2002-17, 九州産業大学にて開催． [概要]
  79. 海谷治彦, 佐伯元司, 海尻賢ニ. 属性つきゴール指向要求分析法. 電子情報通信学会技術研究報告, Vol. 101, No. 673, pp. 15-22, Mar. 2002. ISSN 0913-5685, ソフトウェアサイエンス SS2001-48. [PDF文書] [概要]
  80. 海谷治彦, 海尻賢二. 非機能要求を共通評価基準とした並列要求獲得法. ウィンターワークショプ・イン・伊豆 論文集, Vol. 2002, No. 2, pp. 29-30, Jan. 2002. ISSN 1344-0640, 情報処理学会 シンポジウムシリーズ, [PDF文書] [概要]
  81. Haruhiko Kaiya and Kenji Kaijiri. Lesson and Learned from a Requirements Elicitation for Conference Support System. In Proceedings of Workshop On Web Intelligence and Software Engineering, pp. 15-20, Beijing Polytechnic University, China, Aug. 2001. [full text in PDF format] [概要]
  82. 海谷治彦. ゴール指向要求モデルに基づく要求変更の定式化. ウィンターワークショップ・イン・金沢 論文集, Vol. 2001, No. 2, pp. 47-48, Jan. 2001. 情報処理学会シンポジウムシリーズ. [PDF文書] [概要]

  83. 海谷治彦, 関本理佳, 海尻賢二. 新技術導入をトリガーとした面接型教育方法の変更促進. 電子情報通信学会技術研究報告, Vol. 100, No. 441, pp. 81-86, Nov. 2000. ISSN 0913-5685, 知能ソフトウェア工学 KBSE2000-53, 情報処理学会 ソフトウェア工学研究会と共催, 同志社大学. [PDF文書] [概要]
  84. 海谷治彦, 海尻賢二. ダウンロード可能なソフトウェア部品の仕様化法. 電子情報通信学会技術研究報告, Vol. 100, No. 322, pp. 33-40, Sep. 2000. ソフトウェアサイエンス研究会 SS2000-22. [PDF文書] [概要]

  85. 海谷治彦, 海尻賢二. 部品交換をトリガーとした要求仕様改定の促進. 情報処理学会 サマーワークショップ・イン・小樽 論文集, Vol. 99, No. 11, pp. 15-16, Sep. 1999. 情報処理学会シンポジウムシリーズ． [PDF文書] [概要]
  86. 海谷治彦, 落水浩一郎. 環境要素間の依存関係に基づく部品仕様の構造化法, 電子情報通信学会 技術研究報告, Vol.99, No.72, p.17-22, May 1999. ソフトウェアサイエンス研究会 SS99-7, 5/21/1999, 岩手県立大にて発表． [PDF文書] [概要]
  87. 海谷治彦. 要素技術の進歩に即した要求仕様書の差分的改定法, ウィンターワークショップ・イン・高知 論文集, Vol.99, No.1, pp. 27-28, Jan. 1999. ISSN 1344-0640, 情報処理学会シンポジウムシリーズ. [PDF文書] [概要]

  88. 海谷治彦, 落水浩一郎. 実行環境に依存する部分を含めたソフトウェア部品の形式的仕様の記述, 電子情報通信学会 技術研究報告, Vol.98, No.439, p.7-14, Dec. 1998. ソフトウェアサイエンス研究会 SS98-31, 12/3/1998, 日立製作所 泉山ホール (茨城県日立市)にて発表． [PDF文書] [概要]

  89. 海谷治彦. 仕様作成作業における認識の不一致を検出するための基礎実験. 情報処理学会研究報告, Vol.97, No.23, pp. 37-42, Mar. 1997. グループウェア研究会 97-GW-22. [PDF文書] [概要]
  90. 海谷治彦. 異なる視点からの仕様化作業における認識の不一致について． ウインターワークショップ・イン・松山論文集, pp. 11-12, 情報処理学会 ソフトウェア工学研究会．Jan. 23-24, 1997, 松山． [PDF文書] [概要]

  91. 村越広享, 海谷治彦, 落水浩一郎, 佐伯元司. 非同期型のコミュミケーションを用いた共同作業における 阻害要因の分析. 情報処理学会研究報告 96-SE-109, Vol.96, No.41, pp. 25-32, May 1996. ソフトウェア工学. [PDF文書] [概要]
  92. 村越広享, 海谷治彦, 落水浩一郎. ネットワークを介した共同作業における阻害要因の分析. 日本ソフトウェア科学会第12回大会論文集, p.233-236, Sep. 1995. [PDF文書] [概要]
  93. 荒木啓二郎, 岡村耕二, 佐伯元司, 三浦信幸, 落水浩一郎, 篠田陽一, 海谷治彦. ネットワークを介した協調活動の実現にむけて. 情処ワークショップ論文集, Vol.95, No.1, pp. 105-112, Jul. 1995. 立山. [PDF文書] [概要]
  94. 荒木啓二郎, 岡村耕二, 佐伯元司, 三浦信幸, 落水浩一郎, 篠田陽一, 海谷治彦. ネットワークを介した協調活動の実現にむけて. 第2回先端科学技術シンポジウム, pp. 17-28, 東京工業大学 百年記念会舘, May 1995. 北陸先端科学技術大学院大学 情報科学研究科. [PDF文書] [概要]
  95. 三浦信幸, 海谷治彦, 佐伯元司. 要求仕様作成会議の発話履歴を利用した仕様記述法の適用・評価. 情報処理学会研究報告 95-SE-103, Vol.95, No.25, pp. 129-136, Mar. 1995. [PDF文書] [概要]
  96. 海谷治彦, 三浦信幸, 佐伯元司, 落水浩一郎. ソフトウェアの要求獲得を支援する 対面式会議システムに関する一考察. 情報処理学会研究報告 95-GW-9, Vol.95, No.13, pp. 75-80, Jan. 1995. [PDF文書] [概要]
  97. 堀雅和, 海谷治彦, 落水浩一郎. ソフトウェア分散開発におけるネゴシエーション支援の一方式. 情報処理学会研究報告 95-GW-9, Vol.95, No.13, pp. 69-74, Jan. 1995. [PDF文書] [概要]

  98. 三浦信幸, 海谷治彦, 佐伯元司. 要求仕様作成会議の発話履歴を利用した仕様書の記述法 . 第49 回(平成6 年後期) 全国大会講演論文集(5), pp. 141-142, 北海道大学, Sep. 1994. 情報処理学会. [PDF文書] [概要]
  99. 三浦信幸, 海谷治彦, 佐伯元司. 仕様作成会議の発話履歴と仕様書の構造に関する分析 . 情報処理学会研究報告94-HI-53, Vol. 94, No. 23, pp. 71-78, Mar. 1994. ヒューマンインタフェース研究会. [PDF文書] [概要]
  100. 三浦信幸, 海谷治彦, 佐伯元司. 仕様作成会議の発話履歴を用いて仕様書を作成する方法 . 電子情報通信学会 技術研究報告KBSE93-41, Vol. 93, No. 408, pp. 9-16, Jan. 1994. 知能ソフトウェア工学研究会. [PDF文書] [概要]
  101. 海谷治彦, 佐伯元司. ソフトウェア仕様作成会議支援ツールの設計 . 電子情報通信学会技術研究報告KBSE93-13, Vol. 93, No. 147, pp. 9-16, Jul. 1993. 知能ソフトウェア工学研究会. [PDF文書] [概要]
  102. 海谷治彦, 佐伯元司. プロダクトを基にしたソフトウェア設計者会議の分析法 . 情報処理学会研究報告93-HI-47, Vol. 93, No. 15, pp. 117-124, Mar. 1993. ヒューマンインタフェース研究会. [PDF文書] [概要]
  103. 海谷治彦, 佐伯元司. ソフトウェアの仕様化作業における会話構造の分析 . 電子情報通信学会技術研究報告 KBSE92-9, Vol. 92, No. 128, pp. 25-30, Jul. 1992. 知能ソフトウェア工学研究会. [PDF文書] [概要]
  104. 海谷治彦, 本間学, 佐伯元司. ソフトウェアの設計段階における会議の分析 . 情報処理学会第44 回全国大会論文集5, pp. 355, Mar. 1992. [PDF文書] [概要]
  105. 西正博, 海谷治彦, 佐伯元司. ソフトウェアの発注者-開発者会議におけるインタラクションの分析 . 情報処理 学会研究報告92-HI-41, Vol. 92, No. 15, pp. 17-24, Mar. 1992. ヒューマンインタフェース研究会. [PDF文書] [概要]
  106. 渡辺智弘, 海谷治彦, 佐伯元司. 仕様記述作業のモニタリングツールとその記録分析 . 情報処理学会研究報告 91-SE-80, Vol. 91, No. 66, pp. 135-142, Jul. 1991. ソフトウェア工学研究会. [概要]
  107. 海谷治彦, 佐伯元司. ソフトウェアの仕様化過程における協調作業のモデル化 . 情報処理学会研究報告91-HI-37, Vol. 91, No. 52, pp. 9-16, Jul. 1991. ヒューマンインタフェース研究会. [PDF文書] [概要]
  108. 海谷治彦, 佐伯元司. ソフトウェアの仕様化過程における協調作業の分析. 情報処理学会研究報告91-SE-77, Vol. 91, No. 13, pp. 19-24, Feb. 1991. ソフトウェア工学研究会. [PDF文書] [概要]
  109. 鵜飼孝典, 海谷治彦, 佐伯元司. 非単調論理とその仕様記述への応用. 人工知能学会全国大会(第4回)論文集[1], pp. 73-76, Jul. 1990.
  110. 本間学, 池克俊, 海谷治彦, 佐伯元司. ソフトウエアの仕様記述過程の分析(I),(II). 情報処理学会第39 回全国大会論文集, pp. 1439-1442, Oct. 1989. [PDF文書] [概要]
  111. 池克俊, 海谷治彦, 佐伯元司, 本間学. ソフトウェア仕様記述過程分析のための基礎実験. 情報処理学会研究報告89-SE-68, Vol. 89, No. 81, pp. 33-40, Sep. 1989. ソフトウェア工学研究会. [概要]
図書等 [先頭に戻る]
  1. 海谷 治彦, 山本 修一郎 (編纂) ソフトウェアエンジニアリング最前線 2007?情報処理学会SEシンポジウム (2007) 近代科学社 (2007/09) ISBN 978-4764903418
学位論文 [先頭に戻る]