論文

• 加藤 潤三, 佐伯 元司, 大西 淳, 海谷 治彦, 林 晋平, 山本 修一郎. 要求獲得のためシソーラス構築支援, 情報処理学会論文誌, Vol. 57, No. 7, pp. 1576-1589, July 2016.
• Shinpei Hayashi, Wataru Inoue, Haruhiko Kaiya, Motoshi Saeki. Annotating Goals with Concerns in Goal-Oriented Requirements Engineering, Software Technologies (Revised Selected Papers of ICSOFT 2015), Communications in Computer and Information Science, vol. 586, pp. 269-286, Feb. 2016.
• 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, vol. 23, no. 5, pp. 495-509, June 2013.
• Shinpei Hayashi, Daisuke Tanabe, Haruhiko Kaiya, 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.
• 海谷 治彦, 清水 悠太郎, 安井 浩貴, 海尻 賢二, 林 晋平, 佐伯 元司. 要求獲得のためのオントロジをWebマイニングにより拡充する手法の提案と評価, 情報処理学会論文誌, Vol. 53, No. 2, pp. 495-509, Feb. 2012.
• Armstrong Nhlabatsi, Arosha Bandara, Shinpei Hayashi, Charles B. Haley, Jan Jurjens, Haruhiko Kaiya, Atsuto Kubo, Robin Laney, Haralambos Mouratidis, Bashar Nuseibeh, Thein T. Tun, Hironori Washizaki, Nobukazu Yoshioka, Yijun Yu. Security Patterns: Comparing Modeling Approaches, Software Engineering for Secure Systems: Industrial and Research Perspectives, IGI Global, pp. 75-111, Jan. 2011.
• Haruhiko Kaiya, Daisuke Shinbara, Jinichi Kawano, Motoshi Saeki. Improving the Detection of Requirements Discordances among Stakeholders, Requirements Engineering Journal, Vol. 10, No. 4, pp. 289-303, Dec. 2005.
• 海谷治彦, 三浦信幸, 穴井豪, 江幡剛, 永岡宏樹, 佐伯元司. 対面式会議を支援する計算機システムの評価実験, 電子情報通信学会論文誌, Vol. J79-D-I, No. 6, pp. 341-352, June 1996.
• 海谷治彦, 佐伯元司. プロダクトをもとにしたソフトウェアの仕様作成のための会議の分析法, 電子情報通信学会論文誌, Vol. 78, No. 1, pp. 23-31, Jan. 1995.

国際会議発表 (査読有り)

• Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi, Motoshi Saeki. Early Requirements Analysis for a Socio-Technical System based on Goal Dependencies, Proceedings of the 15th International Conference on Intelligent Software Methodologies, Tools and Techniques (SOMET 2016), pp. 125-138, Sept. 2016.
• Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi, Motoshi Saeki, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki, Atsuo Hazeyama. Finding Potential Threats in Several Security Targets for Eliciting Security Requirements, Proceedings of the 10th International Multi-Conference on Computing in the Global Information Technology (ICCGI 2015), pp. 83-92, Oct. 2015.
• Wataru Inoue, Shinpei Hayashi, Haruhiko Kaiya, Motoshi Saeki. Multi-Dimensional Goal Refinement in Goal-Oriented Requirements Engineering, Proceedings of the 10th International Conference on Software Engineering and Applications (ICSOFT-EA 2015), pp. 185-195, July 2015.
• Haruhiko Kaiya, Shunsuke Morita, Shinpei Ogata, Kenji Kaijiri, Shinpei Hayashi, Motoshi Saeki. Model Transformation Patterns for Introducing Suitable Information Systems, Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC 2012), pp. 434-439, Dec. 2012.
• Haruhiko Kaiya, Shunsuke Morita, Kenji Kaijiri, Shinpei Hayashi, Motoshi Saeki. Facilitating Business Improvement by Information Systems using Model Transformation and Metrics, Proceedings of the CAiSE'12 Forum at the 24th International Conference on Advanced Information Systems Engineering (CAiSE 2012), pp. 106-113, June 2012.
• Motoshi Saeki, Haruhiko Kaiya, Satoshi Hattori. Checking Regulatory Compliance of Business Processes and Information Systems, ICSOFT 2009, Software Technologies (Revised Selected Papers of ICSOFT 2009), Communications in Computer and Information Science, Vol. 50, pp. 71-84, June 2011.
• Motoshi Saeki, Haruhiko Kaiya. Measuring Characteristics of Models and Model Transformations Using Ontology and Graph Rewriting Techniques, ENASE2008/2009, Communications in Computer and Information Science, Vol. 69, pp. 3-16, Dec. 2010.
• Motoshi Saeki, Shinpei Hayashi, Haruhiko Kaiya. An Integrated Support for Attributed Goal-Oriented Requirements Analysis Method and Its Implementation, Proceedings of the 10th International Conference on Quality Software (QSIC 2010), pp. 357-360, July 2010.
• Motoshi Saeki, Shinpei Hayashi, Haruhiko Kaiya. A Tool for Attributed Goal-Oriented Requirements Analysis, Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), pp. 670-672, Nov. 2009.
• Motoshi Saeki, Haruhiko Kaiya. Security Requirements Elicitation Using Method Weaving and Common Criteria, MODELS 2008 Workshops, Lecture Notes in Computer Science, Vol. 5421, pp. 185-196, May 2009.
• Daisuke Tanabe, Kohei Uno, Kinji Akemine, Takashi Yoshikawa, Haruhiko Kaiya, Motoshi Saeki. Supporting Requirements Change Management in Goal Oriented Analysis, 16th IEEE International Requirements Engineering Conference, Proc. of 16th IEEE International Requirements Engineering Conference, pp. 3-12, Sept. 2008.
• MOTOSHI SAEKI, Haruhiko Kaiya. Supporting the Elicitation of Requirements Compliant with Regulations, CAiSE 2008, Lecture Notes in Computer Science, Vol. 5074, pp. 228-242, June 2008.
• MOTOSHI SAEKI, Haruhiko Kaiya. Metrics for a Model Driven Development Context, Proc. of 3rd International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE2008), pp. 13-22, May 2008.
• Masayuki Shibaoka, Haruhiko Kaiya, Motoshi Saeki. GOORE: Goal-Oriented and Ontology Driven Requirements Elicitation, ER2007 Workshop: Advances in Conceptual Modeling - Foundations and Applications, Lecture Notes in Computer Science, Springer, Vol. 4802, pp. 225-234, Nov. 2007.
• Motohiro Kitamura, Ryo Hasegawa, Haruhiko Kaiya, Motoshi Saeki. An Integrated Tool for Supporting Ontology Driven Requirements Elicitation, 2nd International Conference on Software and Data Technologies, Proc. of 2nd International Conference on Software and Data Technologies, INSTICC Press, pp. 73-80, July 2007.
• Motoshi Saeki, Haruhiko Kaiya. Measuring Model Transformation in Model Driven Development, The 19th International Conference on Advanced Information Systems Engineering, Forum Proceedings, pp. 77-80, June 2007.
• Junzo Kato, Motoshi Saeki, Atsushi Ohnishi, Haruhiko Kaiya, Shuichiro Yamamoto. Effects of Thesaurus in Requirements Elicitation, RCIS2007, Proc. of the First International Conference on Research Challenges in Information Science, pp. 385-394, Apr. 2007.
• Haruhiko Kaiya, Motoshi Saeki. Ontology Based Requirements Analysis : Lightweight Semantic Processing Approach, 5th International Conference on Quality Software, Proc. of 5th International Conference on Quality Software, pp. 223-230, Sept. 2005.
• Haruhiko Kaiya, Motoshi Saeki. Weaving Multiple Viewpoint Specifications in Goal Oriented Analysis, Proc. of 11th Asia-Pacific Software Engineering Conference (APSEC’04), pp. 418-427, Dec. 2004.
• Daisuke Shinbara, Junichi Kawano, Haruhiko Kaiya, Motoshi Saeki. Identifying Requirements Gaps among Stakeholders by using Goal Oriented Analysis, Proc. of 10th International Workshop on Requirements Engineering : Foundation for Software Quality (REFSQ'04), pp. 169-183, June 2004.
• Juzo Kato, Motoshi Saeki, Atsushi Ohnishi, Morio Nagata, Haruhiko Kaiya, Seiichi Komiya, Shuichiro Yamamoto, Hisayuki Horai, Kenji Watahiki. PAORE: Package Oriented Requirements Elicitation, Proc. of 10th Asia-Pacific Software Engineering Conference (APSEC2003), pp. 17-26, Dec. 2003.
• Motoshi Saeki, Haruhiko Kaiya. Transformation Based Approach for Weaving Use Case Models in Aspect-Oriented Requirements Analysis, The 4th AOSD Modeling With UML Workshop (UML2003 Workshop), Oct. 2003.  公式リンク  
  
• Haruhiko Kaiya, Hisayuki Horai, Motoshi Saeki. AGORA: Attributed Goal-Oriented Requirements Analysis Method, Proc. of IEEE Joint International Requirements Engineering Conference (RE2002), pp. 13-22, Sept. 2002.
• Motoshi Saeki, Kinji Matsumura, Jun'ichi Shimoda, 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.

国内会議発表 (査読有り)

• Motoshi Saeki, Shinpei Hayashi, Haruhiko Kaiya. Tool Support for Requirements Changes in AGORA, ソフトウェアエンジニアリング最前線2009 - ソフトウェアエンジニアリングシンポジウム2009予稿集, pp. 49-50, Sept. 2009.
• Nobuyuki Miura, Haruhiko Kaiya, Motoshi Saeki. Building the Structure of Specification Documents from Utterances of Requirements Elicitation Meetings, Asia-Pacific Software Engineering Conference 95 (APSEC95), pp. 64-73, Dec. 1995.

国内会議発表 (査読なし・不明)

• 加藤 潤三, 佐伯 元司, 大西 淳, 林 晋平, 海谷 治彦, 山本 修一郎. 要求獲得のためのシソーラスの統合, 情報処理学会研究報告, vol. 2021-SE-208, no. 4, pp. 1-8, July 2021.
• 佐伯 元司, 林 晋平, 海谷 治彦. コモンクライテリアをドメイン知識としたゴール指向セキュリティ要求獲得法, 電子情報通信学会技術研究報告, Vol. 109, No. 432, pp. 37-42, Mar. 2010.
• 佐伯 元司, 林 晋平, 海谷 治彦. 属性つきゴール指向要求分析法の支援のための統合ツール, 電子情報通信学会技術研究報告, Vol. 109, No. 40, pp. 13-18, May 2009.
• 佐伯元司, 海谷治彦. 法律や規則に適合した要求の獲得支援, 電子情報通信学会ソフトウェアサイエンス研究会, Vol. 107, No. 392, pp. 1-6, Dec. 2007.
• 海谷治彦, 佐伯元司. 要求分析におけるオントロジーの活用法, 電子情報通信学会技術研究報告ソフトウェアサイエンス研究会, 電子情報通信学会技術研究報告ソフトウェアサイエンス研究会, Vol. 105, No. 25, pp. 7-12, Apr. 2005.
• 加藤潤三, 佐伯元司, 大西淳, 古宮誠一, 山本修一郎, 海谷治彦. シソーラスを用いた要求分析法, 電子情報通信学会技術研究報告ソフトウェアサイエンス研究会, 電子情報通信学会技術研究報告ソフトウェアサイエンス研究会, Vol. 104, No. 722, pp. 31-36, Mar. 2005.
• 加藤潤三, 佐伯元司, 大西淳, 永田守男, 海谷治彦, 古宮誠一, 山本修一郎, 綿引健二, 蓬莱尚幸. 要求分析のためのシソーラス作成支援, 電子情報通信学会技術研究報告知能ソフトウェア工学KBSE2003-5～12, Vol. 103, No. 217, pp. 41-46, June 2003.
• 加藤潤三, 佐伯元司, 大西淳, 永田守男, 海谷治彦, 古宮誠一, 山本修一郎, 綿引健二, 蓬莱尚幸. PAORE : パッケージ指向の要求獲得プロセス, 電子情報通信学会技術研究報告知能ソフトウェア工学KBSE2002-13～20, Vol. 102, No. 503, pp. 25-30, Dec. 2002.
• 鵜飼孝典, 海谷治彦, 佐伯元司. 非単調論理とその仕様記述への応用, 人工知能学会全国大会, 人工知能学会全国大会(第4回)論文集[1], pp. 73-76, July 1990.

その他の論文・著書など

• 海谷治彦, 佐伯元司. 要求工学の最近の動向, 電子情報通信学会ソフトウェアサイエンス研究会, Vol. 104, No. 281, pp. 13-18, Sept. 2004.

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]