@article{CTT100715415, author = {加藤 潤三 and 佐伯 元司 and 大西 淳 and 海谷 治彦 and 林 晋平 and 山本 修一郎}, title = {要求獲得のためシソーラス構築支援}, journal = {情報処理学会論文誌}, year = 2016, } @article{CTT100703299, author = {Shinpei Hayashi and Wataru Inoue and Haruhiko Kaiya and Motoshi Saeki}, title = {Annotating Goals with Concerns in Goal-Oriented Requirements Engineering}, journal = {Software Technologies (Revised Selected Papers of ICSOFT 2015), Communications in Computer and Information Science}, year = 2016, } @article{CTT100648359, author = {Motoshi Saeki and Shinpei Hayashi and Haruhiko Kaiya}, title = {Enhancing Goal-Oriented Security Requirements Analysis Using Common Criteria-Based Knowledge}, journal = {International Journal of Software Engineering and Knowledge Engineering}, year = 2013, } @article{CTT100633522, author = {Shinpei Hayashi and Daisuke Tanabe and Haruhiko Kaiya and Motoshi Saeki}, title = {Impact Analysis on an Attributed Goal Graph}, journal = {IEICE Transactions on Information and Systems}, year = 2012, } @article{CTT100633517, author = {海谷 治彦 and 清水 悠太郎 and 安井 浩貴 and 海尻 賢二 and 林 晋平 and 佐伯 元司}, title = {要求獲得のためのオントロジをWebマイニングにより拡充する手法の提案と評価}, journal = {情報処理学会論文誌}, year = 2012, } @article{CTT100616862, author = {Armstrong Nhlabatsi and Arosha Bandara and Shinpei Hayashi and Charles B. Haley and Jan Jurjens and Haruhiko Kaiya and Atsuto Kubo and Robin Laney and Haralambos Mouratidis and Bashar Nuseibeh and Thein T. Tun and Hironori Washizaki and Nobukazu Yoshioka and Yijun Yu}, title = {Security Patterns: Comparing Modeling Approaches}, journal = {Software Engineering for Secure Systems: Industrial and Research Perspectives}, year = 2011, } @article{CTT100398890, author = {Haruhiko Kaiya and Daisuke Shinbara and Jinichi Kawano and Motoshi Saeki}, title = {Improving the Detection of Requirements Discordances among Stakeholders}, journal = {Requirements Engineering Journal}, year = 2005, } @article{CTT100443819, author = {海谷治彦 and 三浦信幸 and 穴井豪 and 江幡剛 and 永岡宏樹 and 佐伯元司}, title = {対面式会議を支援する計算機システムの評価実験}, journal = {電子情報通信学会論文誌}, year = 1996, } @article{CTT100442392, author = {海谷治彦 and 佐伯元司}, title = {プロダクトをもとにしたソフトウェアの仕様作成のための会議の分析法}, journal = {電子情報通信学会論文誌}, year = 1995, } @inproceedings{CTT100874119, author = {加藤 潤三 and 佐伯 元司 and 大西 淳 and 林 晋平 and 海谷 治彦 and 山本 修一郎}, title = {要求獲得のためのシソーラスの統合}, booktitle = {情報処理学会研究報告}, year = 2021, } @inproceedings{CTT100715428, author = {Haruhiko Kaiya and Shinpei Ogata and Shinpei Hayashi and Motoshi Saeki}, title = {Early Requirements Analysis for a Socio-Technical System based on Goal Dependencies}, booktitle = {Proceedings of the 15th International Conference on Intelligent Software Methodologies, Tools and Techniques (SOMET 2016)}, year = 2016, } @inproceedings{CTT100703295, author = {Haruhiko Kaiya and Shinpei Ogata and Shinpei Hayashi and Motoshi Saeki and Takao Okubo and Nobukazu Yoshioka and Hironori Washizaki and Atsuo Hazeyama}, title = {Finding Potential Threats in Several Security Targets for Eliciting Security Requirements}, booktitle = {Proceedings of the 10th International Multi-Conference on Computing in the Global Information Technology (ICCGI 2015)}, year = 2015, } @inproceedings{CTT100703291, author = {Wataru Inoue and Shinpei Hayashi and Haruhiko Kaiya and Motoshi Saeki}, title = {Multi-Dimensional Goal Refinement in Goal-Oriented Requirements Engineering}, booktitle = {Proceedings of the 10th International Conference on Software Engineering and Applications (ICSOFT-EA 2015)}, year = 2015, } @inproceedings{CTT100648347, author = {Haruhiko Kaiya and Shunsuke Morita and Shinpei Ogata and Kenji Kaijiri and Shinpei Hayashi and Motoshi Saeki}, title = {Model Transformation Patterns for Introducing Suitable Information Systems}, booktitle = {Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC 2012)}, year = 2012, } @inproceedings{CTT100648346, author = {Haruhiko Kaiya and Shunsuke Morita and Kenji Kaijiri and Shinpei Hayashi and Motoshi Saeki}, title = {Facilitating Business Improvement by Information Systems using Model Transformation and Metrics}, booktitle = {Proceedings of the CAiSE'12 Forum at the 24th International Conference on Advanced Information Systems Engineering (CAiSE 2012)}, year = 2012, } @inproceedings{CTT100799239, author = {Motoshi Saeki and Haruhiko Kaiya and Satoshi Hattori}, title = {Checking Regulatory Compliance of Business Processes and Information Systems}, booktitle = {Software Technologies (Revised Selected Papers of ICSOFT 2009), Communications in Computer and Information Science}, year = 2011, } @inproceedings{CTT100799361, author = {Motoshi Saeki and Haruhiko Kaiya}, title = {Measuring Characteristics of Models and Model Transformations Using Ontology and Graph Rewriting Techniques}, booktitle = {Communications in Computer and Information Science}, year = 2010, } @inproceedings{CTT100615242, author = {Motoshi Saeki and Shinpei Hayashi and Haruhiko Kaiya}, title = {An Integrated Support for Attributed Goal-Oriented Requirements Analysis Method and Its Implementation}, booktitle = {Proceedings of the 10th International Conference on Quality Software (QSIC 2010)}, year = 2010, } @inproceedings{CTT100600921, author = {佐伯 元司 and 林 晋平 and 海谷 治彦}, title = {コモンクライテリアをドメイン知識としたゴール指向セキュリティ要求獲得法}, booktitle = {電子情報通信学会技術研究報告}, year = 2010, } @inproceedings{CTT100592606, author = {Motoshi Saeki and Shinpei Hayashi and Haruhiko Kaiya}, title = {A Tool for Attributed Goal-Oriented Requirements Analysis}, booktitle = {Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009)}, year = 2009, } @inproceedings{CTT100592598, author = {Motoshi Saeki and Shinpei Hayashi and Haruhiko Kaiya}, title = {Tool Support for Requirements Changes in AGORA}, booktitle = {ソフトウェアエンジニアリング最前線2009 - ソフトウェアエンジニアリングシンポジウム2009予稿集}, year = 2009, } @inproceedings{CTT100600518, author = {佐伯 元司 and 林 晋平 and 海谷 治彦}, title = {属性つきゴール指向要求分析法の支援のための統合ツール}, booktitle = {電子情報通信学会技術研究報告}, year = 2009, } @inproceedings{CTT100799240, author = {Motoshi Saeki and Haruhiko Kaiya}, title = {Security Requirements Elicitation Using Method Weaving and Common Criteria}, booktitle = {Lecture Notes in Computer Science}, year = 2009, } @inproceedings{CTT100798811, author = {Daisuke Tanabe and Kohei Uno and Kinji Akemine and Takashi Yoshikawa and Haruhiko Kaiya and Motoshi Saeki}, title = {Supporting Requirements Change Management in Goal Oriented Analysis}, booktitle = {Proc. of 16th IEEE International Requirements Engineering Conference}, year = 2008, } @inproceedings{CTT100561133, author = {MOTOSHI SAEKI and Haruhiko Kaiya}, title = {Supporting the Elicitation of Requirements Compliant with Regulations}, booktitle = {Lecture Notes in Computer Science}, year = 2008, } @inproceedings{CTT100559585, author = {MOTOSHI SAEKI and Haruhiko Kaiya}, title = {Metrics for a Model Driven Development Context}, booktitle = {Proc. of 3rd International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE2008)}, year = 2008, } @inproceedings{CTT100548100, author = {佐伯元司 and 海谷治彦}, title = {法律や規則に適合した要求の獲得支援}, booktitle = {電子情報通信学会ソフトウェアサイエンス研究会}, year = 2007, } @inproceedings{CTT100548096, author = {Masayuki Shibaoka and Haruhiko Kaiya and Motoshi Saeki}, title = {GOORE: Goal-Oriented and Ontology Driven Requirements Elicitation}, booktitle = {Lecture Notes in Computer Science}, year = 2007, } @inproceedings{CTT100548095, author = {Motohiro Kitamura and Ryo Hasegawa and Haruhiko Kaiya and Motoshi Saeki}, title = {An Integrated Tool for Supporting Ontology Driven Requirements Elicitation}, booktitle = {Proc. of 2nd International Conference on Software and Data Technologies}, year = 2007, } @inproceedings{CTT100548094, author = {Motoshi Saeki and Haruhiko Kaiya}, title = {Measuring Model Transformation in Model Driven Development}, booktitle = {The 19th International Conference on Advanced Information Systems Engineering, Forum Proceedings}, year = 2007, } @inproceedings{CTT100548097, author = {Junzo Kato and Motoshi Saeki and Atsushi Ohnishi and Haruhiko Kaiya and Shuichiro Yamamoto}, title = {Effects of Thesaurus in Requirements Elicitation}, booktitle = {Proc. of the First International Conference on Research Challenges in Information Science}, year = 2007, } @inproceedings{CTT100398892, author = {Haruhiko Kaiya and Motoshi Saeki}, title = {Ontology Based Requirements Analysis : Lightweight Semantic Processing Approach}, booktitle = {Proc. of 5th International Conference on Quality Software}, year = 2005, } @inproceedings{CTT100398908, author = {海谷治彦 and 佐伯元司}, title = {要求分析におけるオントロジーの活用法}, booktitle = {電子情報通信学会技術研究報告ソフトウェアサイエンス研究会}, year = 2005, } @inproceedings{CTT100398903, author = {加藤潤三 and 佐伯元司 and 大西淳 and 古宮誠一 and 山本修一郎 and 海谷治彦}, title = {シソーラスを用いた要求分析法}, booktitle = {電子情報通信学会技術研究報告ソフトウェアサイエンス研究会}, year = 2005, } @inproceedings{CTT100502585, author = {Haruhiko Kaiya and Motoshi Saeki}, title = {Weaving Multiple Viewpoint Specifications in Goal Oriented Analysis}, booktitle = {Proc. of 11th Asia-Pacific Software Engineering Conference (APSEC’04)}, year = 2004, } @inproceedings{CTT100502596, author = {Daisuke Shinbara and Junichi Kawano and Haruhiko Kaiya and Motoshi Saeki}, title = {Identifying Requirements Gaps among Stakeholders by using Goal Oriented Analysis}, booktitle = {Proc. of 10th International Workshop on Requirements Engineering : Foundation for Software Quality (REFSQ'04)}, year = 2004, } @inproceedings{CTT100502568, author = {Juzo Kato and Motoshi Saeki and Atsushi Ohnishi and Morio Nagata and Haruhiko Kaiya and Seiichi Komiya and Shuichiro Yamamoto and Hisayuki Horai and Kenji Watahiki}, title = {PAORE: Package Oriented Requirements Elicitation}, booktitle = {Proc. of 10th Asia-Pacific Software Engineering Conference (APSEC2003)}, year = 2003, } @inproceedings{CTT100486602, author = {Motoshi Saeki and Haruhiko Kaiya}, title = {Transformation Based Approach for Weaving Use Case Models in Aspect-Oriented Requirements Analysis}, booktitle = {The 4th AOSD Modeling With UML Workshop (UML2003 Workshop)}, year = 2003, } @inproceedings{CTT100485409, author = {加藤潤三 and 佐伯元司 and 大西淳 and 永田守男 and 海谷治彦 and 古宮誠一 and 山本修一郎 and 綿引健二 and 蓬莱尚幸}, title = {要求分析のためのシソーラス作成支援}, booktitle = {電子情報通信学会技術研究報告知能ソフトウェア工学KBSE2003-5~12}, year = 2003, } @inproceedings{CTT100485408, author = {加藤潤三 and 佐伯元司 and 大西淳 and 永田守男 and 海谷治彦 and 古宮誠一 and 山本修一郎 and 綿引健二 and 蓬莱尚幸}, title = {PAORE : パッケージ指向の要求獲得プロセス}, booktitle = {電子情報通信学会技術研究報告知能ソフトウェア工学KBSE2002-13~20}, year = 2002, } @inproceedings{CTT100467059, author = {Haruhiko Kaiya and Hisayuki Horai and Motoshi Saeki}, title = {AGORA: Attributed Goal-Oriented Requirements Analysis Method}, booktitle = {Proc. of IEEE Joint International Requirements Engineering Conference (RE2002)}, year = 2002, } @inproceedings{CTT100443812, author = {Motoshi Saeki and Kinji Matsumura and Jun'ichi Shimoda and Haruhiko Kaiya}, title = {Structuring Utterance Records for Requirements Elicitation Meetings Based on Speech Act Theory}, booktitle = {Proc. of 2nd International Conference on Requirements Engineering (ICRE'96)}, year = 1996, } @inproceedings{CTT100798297, author = {Nobuyuki Miura and Haruhiko Kaiya and Motoshi Saeki}, title = {Building the Structure of Specification Documents from Utterances of Requirements Elicitation Meetings}, booktitle = {}, year = 1995, } @inproceedings{CTT100588642, author = {鵜飼孝典 and 海谷治彦 and 佐伯元司}, title = {非単調論理とその仕様記述への応用}, booktitle = {人工知能学会全国大会(第4回)論文集[1]}, year = 1990, } @misc{CTT100502581, author = {海谷治彦 and 佐伯元司}, title = {要求工学の最近の動向}, year = 2004, }