KAIYA HARUHIKO 海谷治彦

… Alternative Names

KAIYA Haruhiko 海谷治彦

海谷治彦カイヤハルヒコ

Less

Researcher Number	30262596
Other IDs
External Links
Affiliation (Current)	2025: 神奈川大学, 情報学部, 教授
Affiliation (based on the past Project Information) *help	2023: 神奈川大学, 情報学部, 教授 2014 – 2023: 神奈川大学, 理学部, 教授 2007 – 2013: Shinshu University, Faculty of Eugineering, Associate Professor 2003 – 2006: 信州大学, 工学部, 助教授 2000 – 2001: 信州大学, 工学部, 助教授 1998: 北陸先端科学技術大学院大学, 情報科学研究科, 助手 1995 – 1996: 北陸先端科学技術大学院大学, 情報科学研究科, 助手
Review Section/Research Field	Principal Investigator Software / 計算機科学 / Basic Section 60050:Software-related / Software Except Principal Investigator Software / Software / 計算機科学 / Basic Section 60070:Information security-related / Learning support system / Science and Engineering
Keywords	Principal Investigator 要求工学 / ソフトウェア工学 / CASEツール / 要求分析 / モデリング / トレーサビリティ / 要求獲得 / グループウェア / CSCW / プロセスマイニング … More / Mutual Contribution / Conformance Checking / Process Mining / Systems of Systems / 発想支援 / UML / システム連携 / ゴールモデリング / 可視化 / ゴール志向分析 / ケースツール / モデル変換 / メトリクス / ゴール志向要求モデリング / Reuse / Domain Knowledge / Requirements Engineering / Software Engineering / ドメイン・知識 / ステークホルダ / シソーラス / オントロジー / 再利用 / ドメイン知識 / ソフトウェアパターン / インパクト分析 / モデルチェック / データフロー図 / アーキテクチャ / アセットフロー / オントロジ / システムアーキテクチャ / モデル検査 / アッセトフロー / セキュリティ分析 / 定量化 / 品質要求 / スペクトラム分析 / 品質要求分析 / ソフトウェア開発 / ゴール分析 / セキュリティポリシィ / トレードオフ分析 / アクセスコントロール / Java / ゴール指向要求分析 / モバイルコード / セキュリティポリシイ / 非機能要求 / 形式的仕様記述 / ネットワークセキュリティ記述 / 面接型プログラミング教育 / 対話型システム / 要求変更 / 導入見積り / 面接型教育 / プログラム教育 / ソフトフェア工学 / HC1 / プロトコル解析 … More Except Principal Investigator ソフトウェア学 / ユースケース / オントロジ / 要求工学 / ソフトウェアセキュリティ / ソフトウエア学 / ソフトウエア開発効率化・安定化 / ソフトウェア進化 / Version Control / セキュリティ要求 / セキュリティ / リポジトリ / ゴール指向要求分析法 / ソフトウェア工学 / ソフトウェア要求獲得法 / ソフトウェア開発効率・安定化 / 開発運用 / 要求策定 / 省力化 / Attack-Defence Tree / プロセスマイニング / 効率化 / CWE / CAPEC / Attack Defense Trees / 脅威分析 / DevOps / モデリングツール / 設計根拠モデル / セキュリティとプライバシーを統合化した知識ベース / ツール開発 / プライバシー / プライバシーを考慮したソフトウェア開発支援 / セキュアなソフトウェア開発支援 / 設計根拠 / 知識ベース / プライバシーバイデザイン / ソフトウェア保守 / ソフトウェア開発環境 / ソフトウェアモジュール / ソフトウエア開発効率化・安定化 / ソフトウエア開発環境 / ソフトウエアモジュール / ソフトウェアプライバシー / セキュア・ネットワーク / プライバシー要求 / ソフトウェア開発効率化・安定化 / Requirements Engineering / Software Evolution / Repository / Software Engineering / Improvement of Software Development / 構成管理 / 版管理 / Use Case / Software Package / Scenario Analysis / Thesaurus / Goal-Oriented Analysis / Requirements Elicitation Method / シナリオ / ソフトウェアパッケージ / シナリオ分析 / シソーラス / Automatic Extraction of Deliberation thread / Deliberation thread / pollution Marking / Future Relta Mechanism / Future Version Space / Coordination Support / Distributed Cooperative Software Development / 討議スレッドの自動抽出 / 討議スレッド / 討議スレツドの自動抽出 / 討議スレツド / 汚染マーキング / 未来版管理機構 / 未来版管理モデル / 版管理機構 / 調整支援 / ソフトウェア分散共同開発 / インパクト分析 / 脆弱性分析 / パターン / モデルチェッカ / 状態遷移モデル / セマンティック要求工学 / 法令 / コモンクライテリア / 格フレーム / ゴール指向分析法 / 要求獲得 / 仕様記述・仕様検証 / プロセス改善 / ソフトウェア品質 / 品質特性 / リスク管理 / 非機能要求 / EVM / プロジェクトマネジメント / 品質評価 / 要求仕様 / プロセス代数 / マイニング / グループウェアベース / 分散ワークスペース / コミュニケーション記録モデル / 情報共有モデル / 支援環境 / 阻害要因 / 分散ソフトウェア開発 / プロトコル解析 Less

実行ログ解析による連携可能な情報システム群の発見法と支援ツール開発Principal Investigator
- Principal Investigator
  
  海谷治彦
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kanagawa University
DevOpsにおいて効率的にセキュリティ品質確保を行う技術の研究
- Principal Investigator
  
  大久保隆夫
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60070:Information security-related
- Research Institution
  Institute of Information Security
Methods and tools for requirements evolution encouraging mutual contribution among several activitiesPrincipal Investigator
- Principal Investigator
  
  Kaiya Haruhiko
- Project Period (FY)
  2018 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kanagawa University
A learning environment based on a rationale model associating of artifacts with knowledge on security and privacy
- Principal Investigator
  
  HAZEYAMA Atsuo
- Project Period (FY)
  2017 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Learning support system
- Research Institution
  Tokyo Gakugei University
Trace ANY: tracing any software in any direction to support software system maintenance and evolution
- Principal Investigator
  
  Washizaki Hironori
- Project Period (FY)
  2016 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Waseda University
System development for the requirements elicitation using goal dependency models and metricsPrincipal Investigator
- Principal Investigator
  
  Kaiya Haruhiko
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Kanagawa University
Integrated Framework of Security and Privacy Requirements Engineering
- Principal Investigator
  
  YOSHIOKA NOBUKAZU
- Project Period (FY)
  2015 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
A Pattern Oriented Software Development Method for Agile Adaptation to Security Changes
- Principal Investigator
  
  YOSHIOKA Nobukazu
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Study on Semantic Requirements Engineering
- Principal Investigator
  
  SAEKI Motoshi
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology
A supporting system for predicting vulnerabilities and their countermeasures of an information system during requirements analysisPrincipal Investigator
- Principal Investigator
  
  KAIYA Haruhiko
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Shinshu University
Study on the Techniques for Eliciting Software Requirements Compliant with Regulations
- Principal Investigator
  
  SAEKI Motoshi
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology
A spectrum analysis method for validating software quality requirements and for confirming their inheritancePrincipal Investigator
- Principal Investigator
  
  KAIYA Haruhiko
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Shinshu University
Research on Quality Evaluation Metrics in Requirements Engineering
- Principal Investigator
  
  HIROTA Toyohiko
- Project Period (FY)
  2007 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Kyushu Sangyo University
Requirements definition methane-sad on comparison among existing systems and kncwkdge ofStakeholdersPrincipal Investigator
- Principal Investigator
  
  KAIYA Haruhiko
- Project Period (FY)
  2006 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Shinshu University
Research on Software Requirements Elicitation and Evolution using Repository Technology
- Principal Investigator
  
  SAEKI Motoshi
- Project Period (FY)
  2005 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology
オントロジを用いたソフトウェア要求分析・設計技術の研究
- Principal Investigator
  
  佐伯元司
- Project Period (FY)
  2004 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Tokyo Institute of Technology
ゴール指向分析を用いたJavaセキュリティポリィシィの確認法Principal Investigator
- Principal Investigator
  
  海谷治彦
- Project Period (FY)
  2003 – 2004
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Shinshu University
Research on Package-Oriented Requirements Engineering
- Principal Investigator
  
  SAEKI Motoshi
- Project Period (FY)
  2003 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  TOKYO INSTITUTE OF TECHNOLOGY
面接型教育支援システム構築を題材とした新技術導入の効果見積もり法の評価Principal Investigator
- Principal Investigator
  
  海谷治彦
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Shinshu University
Change Management of Shared Data in Distributed Software Development
- Principal Investigator
  
  OCHIMIZU Koichiro
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology, Hokuriku
インフォーマル・インタラクションの情報を用いた共同作業支援システムの設計と実装Principal Investigator
- Principal Investigator
  
  海谷治彦
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology
ソフトウェア分散開発における協調作業モデルとその支援環境
- Principal Investigator
  
  OCHIMIZU Koichiro
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology
分散ソフトウェア開発における共同作業阻害要因の検出モデルに関する研究Principal Investigator
- Principal Investigator
  
  海谷治彦
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology

[Journal Article] Finding Contributable Activities Using Non-Verb Attributes In Events2023
- Author(s)
  Kaiya Haruhiko、Takeuchi Hironori、Nakagawa Hiroyuki、Ogata Shinpei、Saito Shinobu
- Journal Title
  
  Procedia Computer Science
  
  Volume: 225 Pages: 507-516
- DOI
  10.1016/j.procs.2023.10.035
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K11837
[Journal Article] A Study on Analyzing Learner Behaviors in State Machine Modeling Using Process Mining and Statistical Test2023
- Author(s)
  Ogata Shinpei、Nakagawa Hiroyuki、Kaiya Haruhiko、Takeuchi Hironori
- Journal Title
  
  Learning and Analytics in Intelligent Systems
  
  Volume: 30 Pages: 141-153
- DOI
  10.1007/978-3-031-17583-1_11
- ISBN
  9783031175824, 9783031175831
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K11837, KAKENHI-PROJECT-18K11249, KAKENHI-PROJECT-20H04167
[Journal Article] A Proposal to Find Mutually Contributable Business or Life Activities Using Conformance Checking2022
- Author(s)
  Kaiya Haruhiko、Misawa Tomoya、Ogata Shinpei、Saito Shinobu、Nakagawa Hiroyuki、Takeuchi Hironori
- Journal Title
  
  Procedia Computer Science
  
  Volume: 207 Pages: 542-551
- DOI
  10.1016/j.procs.2022.09.109
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K11837, KAKENHI-PROJECT-18K11249, KAKENHI-PROJECT-20H04167
[Journal Article] Efficient secure DevOps using process mining and Attack Defense Trees2022
- Author(s)
  Okubo Takao、Kaiya Haruhiko
- Journal Title
  
  Procedia Computer Science
  
  Volume: 207 Pages: 446-455
- DOI
  10.1016/j.procs.2022.09.079
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K11837, KAKENHI-PROJECT-21K11895, KAKENHI-PROJECT-18K11249
[Journal Article] Systematic Literature Review of Security Pattern Research2021
- Author(s)
  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, G Priyalakshmi
- Journal Title
  
  Information
  
  Volume: 12(1) Issue: 1 Pages: 1-27
- DOI
  10.3390/info12010036
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02804, KAKENHI-PROJECT-18H03340, KAKENHI-PROJECT-18K11249, KAKENHI-PROJECT-21K11837
[Journal Article] Tools for logging and analyzing goal dependency modeling2021
- Author(s)
  Kaiya Haruhiko、Hayashi Kouta、Sato Yu
- Journal Title
  
  Procedia Computer Science
  
  Volume: 192 Pages: 1639-1648
- DOI
  10.1016/j.procs.2021.08.168
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11249, KAKENHI-PROJECT-21K11837
[Journal Article] CSPM: Metamodel for Handling Security and Privacy Knowledge in Cloud Service Development2021
- Author(s)
  Tian Xia, Hironori Washizaki, Yoshiaki Fukazawa, Haruhiko Kaiya, Shinpei Ogata, Eduardo B. Fernandez, Takehisa Kato, Hideyuki Kanuka, Takao Okubo, Nobukazu Yoshioka and Atsuo Hazeyama
- Journal Title
  
  International Journal of Systems and Software Security and Protection
  
  Volume: 12(2) Issue: 2 Pages: 1-18
- DOI
  10.4018/ijsssp.20210101.oa1
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02804
[Journal Article] Quantitative Analysis of Goal Oriented Requirements Models2020
- Author(s)
  Kaiya Haruhiko
- Journal Title
  
  Learning and Analytics in Intelligent Systems
  
  Volume: 19 Pages: 1-6
- DOI
  10.1007/978-3-030-53949-8_1
- ISBN
  9783030539481, 9783030539498
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11249
[Journal Article] A Tool to Manage Traceability on Several Models and Its Use Case2020
- Author(s)
  Kaiya Haruhiko、Tatsui Shogo、Hazeyama Atsuo、Ogata Shinpei、Okubo Takao、Yoshioka Nobukazu、Washizaki Hironori
- Journal Title
  
  Procedia Computer Science
  
  Volume: 176 Pages: 1449-1458
- DOI
  10.1016/j.procs.2020.09.155
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11249, KAKENHI-PROJECT-16H03074
[Journal Article] Experimental Evaluation of Traceability Checking Tool for Goal Dependency Modeling2020
- Author(s)
  Kaiya Haruhiko、Fujita Wataru、Yamada Ryotaro、Hazeyama Atsuo、Ogata Shinpei、Okubo Takao、Yoshioka Nobukazu、Washizaki Hironori
- Journal Title
  
  Learning and Analytics in Intelligent Systems
  
  Volume: 19 Pages: 70-83
- DOI
  10.1007/978-3-030-53949-8_7
- ISBN
  9783030539481, 9783030539498
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11249
[Journal Article] Evaluating Mutual Requirements Evolution of Several Information Systems2020
- Author(s)
  Kaiya Haruhiko
- Journal Title
  
  Procedia Computer Science
  
  Volume: 176 Pages: 1251-1260
- DOI
  10.1016/j.procs.2020.09.134
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11249
[Journal Article] Landscape of IoT patterns2019
- Author(s)
  Hironori Washizaki, Nobukazu Yoshioka, Atsuo Hazeyama, Takehisa Kato, Haruhiko Kaiya, Shinpei Ogata, Takao Okubo, Eduardo B. Fernandez
- Journal Title
  
  SERP4IoT at ICSE 2019
  
  Volume: 41 Pages: 57-60
- DOI
  10.1109/serp4iot.2019.00017
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11249
[Journal Article] Mutual Requirements Evolution by Combining Different Information Systems2019
- Author(s)
  Haruhiko Kaiya, Kaito Nagano, Ryoya Muto, Mizuki Yoshida
- Journal Title
  
  Proceedings of the 23rd Pan-Hellenic Conference on Informatics
  
  Volume: 23 Pages: 159-162
- DOI
  10.1145/3368640.3368662
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11249
[Journal Article] A System for Seamless Support from Security Requirements Analysis to Security Design using a Software Security Knowledge Base2019
- Author(s)
  Atsuo Hazeyama, Hikaru Miyahara, Takafumi Tanaka, Hironori Washizaki, Haruhiko Kaiya, Takao Okubo and Nobukazu Yoshioka
- Journal Title
  
  International Requirements Engineering Conference Workshops
  
  Volume: 27 Pages: 134-140
- DOI
  10.1109/rew.2019.00029
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11249, KAKENHI-PROJECT-17K00475
[Journal Article] Towards A Knowledge Base for Software Developers to Choose Suitable Traceability Techniques2019
- Author(s)
  Haruhiko Kaiya, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki
- Journal Title
  
  Procedia Computer Science
  
  Volume: 159 Pages: 1075-1084
- DOI
  10.1016/j.procs.2019.09.276
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11249, KAKENHI-PROJECT-18H03340
[Journal Article] ソフトウェアセキュリティ知識ベースを活用したセキュリティ要求分析からセキュリティ設計を支援するシステムの開発2018
- Author(s)
  宮原光, 櫨山淳雄, 田中昂文, 鷲崎弘宜, 海谷治彦, 大久保隆夫, 吉岡信和
- Journal Title
  
  電子情報通信学会技術研究報告知能ソフトウェア工学
  
  Volume: 117 Pages: 67-72
- Data Source
  KAKENHI-PROJECT-17K00475
[Journal Article] Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model2018
- Author(s)
  Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya, Hironori Washizaki.
- Journal Title
  
  Smart Innovation, Systems and Technologies
  
  Volume: 108 Pages: 158-167
- DOI
  10.1007/978-3-319-97679-2_16
- ISBN
  9783319976785, 9783319976792
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11249
[Journal Article] Meta-Requirements for Information System Requirements: Lesson Learned from Software Ecosystem Researches2018
- Author(s)
  Haruhiko Kaiya
- Journal Title
  
  Procedia Computer Science
  
  Volume: 126 Pages: 1243-1252
- DOI
  10.1016/j.procs.2018.08.066
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11249
[Journal Article] Requirements Exploration by Comparing and Combining Models of Different Information Systems2018
- Author(s)
  Haruhiko Kaiya, Kazuhiko Adachi, Yoshihide Chubachi.
- Journal Title
  
  Smart Innovation, Systems and Technologies
  
  Volume: 108 Pages: 64-74
- DOI
  10.1007/978-3-319-97679-2_7
- ISBN
  9783319976785, 9783319976792
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11249
[Journal Article] Security Requirement Modeling Support System Using Software Security Knowledge Base2018
- Author(s)
  Atsuo Hazeyama, Shun'ichi Tanaka, Takafumi Tanaka, Hiroaki Hashiura, Seiji Munetoh, Takao Okubo, Haruhiko Kaiya, Hironori Washizaki, and Nobukazu Yoshioka
- Journal Title
  
  Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)
  
  Volume: 2 Pages: 234-239
- DOI
  10.1109/compsac.2018.10235
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00475, KAKENHI-PROJECT-18K11249, KAKENHI-PROJECT-15H02686
[Journal Article] Restructuring Attack Trees to Identify Incorrect or Missing Relationships between Nodes2018
- Author(s)
  Hua Cai, Hironori Washizaki, Yoshiaki Fukazawa, Takao Okubo, Haruhiko Kaiya, Nobukazu Yoshioka
- Journal Title
  
  The International Workshop on Evidence-based Security and Privacy in the Wild 2018 (WESPr-18)
  
  Volume: 1 Pages: 1-8
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15H02686
[Journal Article] Taxonomy and Literature Survey of Security Pattern Research2018
- Author(s)
  Hironori Washizaki, Tian Xia, Natsumi Kamata, Yoshiaki Fukazawa, Hideyuki Kanuka, Dan Yamaoto, Masayuki Yoshino, Takao Okubo, Shinpei Ogata, Haruhiko Kaiya, Takehisa Kato, Atsuo Hazeyama, Takafumi Tanaka, Nobukazu Yoshioka, G Priyalakshmi
- Journal Title
  
  IEEE Conference on Applications, Information and Network Security (AINS)
  
  Volume: 1 Pages: 87-92
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H02686
[Journal Article] Cloud Security and Privacy Metamodel - Metamodel for Security and Privacy Knowledge in Cloud Services2018
- Author(s)
  Xia Tian、Washizaki Hironori、Kato Takehisa、Kaiya Haruhiko、Ogata Shinpei、Fernandez Eduardo B.、Kanuka Hideyuki、Yoshino Masayuki、Yamamoto Dan、Okubo Takao、Yoshioka Nobukazu、Hazeyama Atsuo
- Journal Title
  
  6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018)
  
  Volume: 1 Pages: 379-386
- DOI
  10.5220/0006600403790386
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02686
[Journal Article] Taxonomy and Literature Survey of Security Pattern Research2018
- Author(s)
  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.
- Journal Title
  
  IEEE Conference on Applications, Information and Network Security.
  
  Volume: 1 Pages: 87-92
- DOI
  10.1109/ains.2018.8631465
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11249
[Journal Article] Preliminary Systematic Literature Review of Software and Systems Traceability2017
- Author(s)
  Kaiya Haruhiko、Sato Ryohei、Hazeyama Atsuo、Ogata Shinpei、Okubo Takao、Tanaka Takafumi、Yoshioka Nobukazu、Washizaki Hironori
- Journal Title
  
  Procedia Computer Science
  
  Volume: 112 Pages: 1141-1150
- DOI
  10.1016/j.procs.2017.08.152
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H02686
[Journal Article] Goal Modelling for Security Problem Matching and Pattern Enforcement2017
- Author(s)
  Yu Yijun、Kaiya Haruhiko、Yoshioka Nobukazu、Hu Zhenjiang、Washizaki Hironori、Xiong Yingfei、Hosseinian-Far Amin
- Journal Title
  
  International Journal of Secure Software Engineering
  
  Volume: 8 Issue: 3 Pages: 42-57
- DOI
  10.4018/ijsse.2017070103
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02686, KAKENHI-PROJECT-15K00109, KAKENHI-PROJECT-17H00732
[Journal Article] Eliciting Requirements for Improving Users’ Behavior Using Transparency2017
- Author(s)
  Haruhiko Kaiya, Nobukazu Yoshioka, Hironori Washizaki, Takao Okubo, Atsuo Hazeyama, Shinpei Ogata, Takafumi Tanaka
- Journal Title
  
  Requirements Engineering for Internet of Things
  
  Volume: CCIS 809 Pages: 41-56
- DOI
  10.1007/978-981-10-7796-8_4
- ISBN
  9789811077951, 9789811077968
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00475, KAKENHI-PROJECT-15H02686
[Journal Article] A Metamodel for Security and Privacy Knowledge in Cloud Services2016
- Author(s)
  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
- Journal Title
  
  Proceedings of 12th IEEE World Congress on Services
  
  Volume: IEEE SERVICES 2016 Pages: 142-143
- DOI
  10.1109/services.2016.30
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02686
[Journal Article] Annotating Goals with Concerns in Goal-Oriented Requirements Engineering2016
- Author(s)
  Shinpei Hayashi, Wataru Inoue, Haruhiko Kaiya, Motoshi Saeki
- Journal Title
  
  Communications in Computer and Information Science
  
  Volume: 586 Pages: 269286-269286
- DOI
  10.1007/978-3-319-30142-6_15
- ISBN
  9783319301419, 9783319301426
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00088, KAKENHI-PROJECT-15K00109
[Journal Article] Literature Survey on Technologies for Developing Privacy-Aware Software2016
- Author(s)
  Atsuo Hazeyama, Nobukazu Yoshioka, Takao Okubo, Hironori Washizaki, Haruhiko Kaiya
- Journal Title
  
  Proceedings of The 3rd International Workshop on The Evolving Security and Privacy Requirements Engineering
  
  Volume: ESPRE 2016 Pages: 86-91
- DOI
  10.1109/rew.2016.029
- NAID
  130008080131
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02686
[Journal Article] 要求獲得のためのシソーラス構築支援2016
- Author(s)
  加藤潤三，佐伯元司，大西淳，海谷治彦，林晋平，山本修一郎．
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 57 Pages: 1576-1589
- NAID
  170000131003
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K00109
[Journal Article] Support Implementation of Security Design Patterns Using Test Templates2016
- Author(s)
  Masatoshi Yoshizawa, Hironori Washizaki, Yoshiaki Fukazawa, Takao Okubo, Haruhiko Kaiya, Nobukazu Yoshioka
- Journal Title
  
  Information
  
  Volume: Vol.7, Number.2 Issue: 2 Pages: 1-19
- DOI
  10.3390/info7020034
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15H02686, KAKENHI-PROJECT-16H02804, KAKENHI-PROJECT-25280026
[Journal Article] Requirements Analysis for Privacy Protection and Third Party Awareness Using Logging Models2016
- Author(s)
  Haruhiko Kaiya, Nobukazu Yoshioka, Takao Okubo, Hironori Washizaki, Atsuo Hazeyama
- Journal Title
  
  Proceedings of New Trends in Software Methodologies, Tools and Techniques (SoMeT16)
  
  Volume: Volume 286 Pages: 155-166
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02686
[Journal Article] TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing2015
- Author(s)
  Takanori Kobashi, Masatoshi Yoshizawa, Hironori Washizaki, Yoshiaki Fukazawa, Nobukazu Yoshioka, Haruhiko Kaiya, Takano Okubo
- Journal Title
  
  Proceedings of the 8th IEEE International Conference on Software Testing, Verification, and Validation
  
  Volume: ICST 2015 Pages: 1-8
- DOI
  10.1109/icst.2015.7102633
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15H02686, KAKENHI-PROJECT-24300005
[Journal Article] A Case-based Management System for Secure Software Development Using Software Security Knowledge,2015
- Author(s)
  Masahito Saito, Atsuo Hazeyama, Nobukazu Yoshioka, Takanori Kobashi, Hironori Washizaki, Haruhiko Kaiya, and Takao Okubo
- Journal Title
  
  Procedia Computer Science: Proceedings of the 19th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES2015)
  
  Volume: 60 Pages: 1092-1100
- DOI
  10.1016/j.procs.2015.08.155
- NAID
  110010021521
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26330394, KAKENHI-PROJECT-15H02686, KAKENHI-PROJECT-24300005
[Journal Article] Case Base for Secure Software Development Using Software Security Knowledge Base2015
- Author(s)
  Atsuo Hazeyama, Masahito Saito, Nobukazu Yoshioka, Azusa Kumagai, Takanori Kobashi, Hironori Washizaki, Haruhiko Kaiya, and Takao Okubo
- Journal Title
  
  Proceedings of the 39th Annual International Computers, Software & Applications Conference (COMPSAC2015)
  
  Volume: 3 Pages: 97-103
- DOI
  10.1109/compsac.2015.86
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330394, KAKENHI-PROJECT-15H02686, KAKENHI-PROJECT-24300005
[Journal Article] Security Requirements Analysis using Knowledge in CAPEC2014
- Author(s)
  Haruhiko Kaiya, Sho Kouno, Shinpei Ogata, Takuo Okubo, Nobukazu Yoshioka, Hironori Washizaki and Kenji Kaijiri
- Journal Title
  
  Proc. of The Fourth International Workshop on Information Systems Security Engineering - WISSE'14, LNBIP 178
  
  Volume: - Pages: 343-348
- DOI
  10.1007/978-3-319-07869-4_32
- ISBN
  9783319078687, 9783319078694
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300005, KAKENHI-PROJECT-24300011
[Journal Article] 情報検索手法に基づくトレーサビリティリンク回復のための手法オプションについてのマイニングの提案と評価2014
- Author(s)
  上田健之, 小形真平, 海谷治彦, 海尻賢二.
- Journal Title
  
  電子情報通信学会論文誌
  
  Volume: J97-D, 3 Pages: 414-426
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500042
[Journal Article] 情報検索手法に基づくトレーサビリティリンク回復のための手法オプションについてのマイニングの提案と評価2014
- Author(s)
  上田健之, 小形真平, 海谷治彦, 海尻賢二
- Journal Title
  
  電子情報通信学会論文誌
  
  Volume: Vol.J97-D, No.3 Pages: 414-426
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500042
[Journal Article] Security and Privacy Behavior Definition for Behavior Driven Development2014
- Author(s)
  Takao Okubo, Yoshio Kakizaki, Yoshinori Kobashi, Hironori Washizaki, Shinpei Ogata, Haruhiko Kaiya and Nobukazu Yoshioka
- Journal Title
  
  Proceedings of The 15th International Conference of Product Focused Software Development and Process Improvement (PROFES 2014)
  
  Volume: - Pages: 306-309
- DOI
  10.1007/978-3-319-13835-0_28
- ISBN
  9783319138343, 9783319138350
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300005, KAKENHI-PROJECT-24300011
[Journal Article] 機能要求に必要な品質要求の機械学習による予測法2014
- Author(s)
  田中賢, 海谷治彦, 大西淳.
- Journal Title
  
  電子情報通信学会論文誌
  
  Volume: J96-D, 11 Pages: 2646-2656
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500042
[Journal Article] MASG: Advanced Misuse Case Analysis Model with Assets and Security Goals2014
- Author(s)
  Okubo Takao, Kenji Taguchi, Kaiya Haruhiko, Yoshioka Nobukazu
- Journal Title
  
  Journal of Information Processing
  
  Volume: 22 Issue: 3 Pages: 536-546
- DOI
  10.2197/ipsjjip.22.536
- NAID
  130004726192
- ISSN
  1882-6652
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-24300005, KAKENHI-PROJECT-24300011
[Journal Article] Verifying Implementation of Security Design Patterns Using a Test Template2014
- Author(s)
  Masatoshi Yoshizawa, Takanori Kobashi, Hiroyoshi Washizaki, Yoshiaki Fukazawa, Takao Okubo, Haruhiko Kaiya and Nobukazu Yoshioka
- Journal Title
  
  Proceedings of 9th International Conference on Availability, Reliability and Security (ARES2014)
  
  Volume: - Pages: 178-183
- DOI
  10.1109/ares.2014.31
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300005, KAKENHI-PROJECT-24300011
[Journal Article] Requirements Refinement and Exploration of Architecture for Security and Other NFRs2014
- Author(s)
  Takao Okubo, Nobukazu Yoshioka, Haruhiko Kaiya
- Journal Title
  
  The Fourth International Workshop on Information Systems Security Engineering - WISSE'14
  
  Volume: LNBIP 178 Pages: 286-298
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300011
[Journal Article] Validating Security Design Pattern Applications by Testing Design Models2014
- Author(s)
  Takanori Kobashi, Nobukazu Yoshioka, Takao Okubo, Haruhiko Kaiya, Hironori Washizaki,Yoshiaki Fukazawa
- Journal Title
  
  International Journal of Secure Software Engineering (IJSSE)
  
  Volume: Vol.5, No.4 Issue: 4 Pages: 1-30
- DOI
  10.4018/ijsse.2014100101
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300011, KAKENHI-PROJECT-25330091
[Journal Article] Enhancing Goal-Oriented Security Requirements Analysis Using Common Criteria-Based Knowledge2013
- Author(s)
  Motoshi Saeki, Shinpei Hayashi, Haruhiko Kaiya
- Journal Title
  
  International Journal of Software Engineering and Knowledge Engineering
  
  Volume: vol.23, no.5 Issue: 05 Pages: 495-509
- DOI
  10.1142/s0218194013500174
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500036, KAKENHI-PROJECT-23500042, KAKENHI-PROJECT-24300011
[Journal Article] Spectrum analysis on quality requirements consideration in software design documents2013
- Author(s)
  Haruhiko Kaiya, Masahiro Umemura, Shinpei Ogata, and Kenji Kaijiri
- Journal Title
  
  SpringerPlus
  
  Volume: Vol.2, Issue1, No.310 Issue: 1 Pages: 1-14
- DOI
  10.1186/2193-1801-2-310
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500042
[Journal Article] Eliciting Security Requirements for an Information System using Asset Flows and Processor Deployment2013
- Author(s)
  Haruhiko Kaiya, Junya Sakai, Shinpei Ogata and Kenji Kaijiri
- Journal Title
  
  International Journal of Secure Software Engineering (IJSSE), IGI Global
  
  Volume: Vol.4, Issue3 Issue: 3 Pages: 42-63
- DOI
  10.4018/jsse.2013070103
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500042, KAKENHI-PROJECT-24300011
[Journal Article] 機能要求に必要な品質要求の機械学習による予測法2013
- Author(s)
  田中賢, 海谷治彦, 大西淳
- Journal Title
  
  電子情報通信学会論文誌
  
  Volume: Vol.J96-D, No.11 Pages: 2646-2656
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500042
[Journal Article] ソフトウェアが中心でない製品における既存技術を利用したソフトウェア改訂支援2012
- Author(s)
  海谷治彦, 原賢一郎, 小林亮太郎, 長田晃, 海尻賢二
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.53, No.2 Pages: 653-661
- NAID
  110008767170
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500042
[Journal Article] Model Transformation Patterns for Introducing Suitable Information Systems2012
- Author(s)
  Haruhiko Kaiya, Shunsuke Morita, Shinpei Ogata, Kenji Kaijiri, Shinpei Hayashi, Motoshi Saeki
- Journal Title
  
  Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC 2012)
  
  Pages: 434-439
- DOI
  10.1109/apsec.2012.52
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500036
[Journal Article] Impact Analysis on an Attributed Goal Graph2012
- Author(s)
  Shinpei Hayashi, Daisuke Tanabe, Haruhiko Kaiya, Motoshi Saeki
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: E95-D Pages: 1012-1020
- NAID
  10030941982
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500036
[Journal Article] Analyzing Impacts on Software Enhancement Caused by Security Design Alternatives with Patterns2012
- Author(s)
  Takao Okubo, Haruhiko Kaiya, and Nobukazu Yoshioka
- Journal Title
  
  International Journal of Secure Software Engineering (IJSSE), IGI Global
  
  Volume: Vol.3, No.1 Issue: 1 Pages: 37-61
- DOI
  10.4018/jsse.2012010103
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500042, KAKENHI-PROJECT-23510210, KAKENHI-PROJECT-24300011
[Journal Article] Impact Analysis on an Attributed Goal Graph2012
- Author(s)
  Shinpei Hayashi, Daisuke Tanabe, Haruhiko Kaiya, Motoshi Saeki
- Journal Title
  
  IEICE Transactions on Information and Systems (電子情報通信学会英文論文誌）
  
  Volume: E95-D, No. 4 Pages: 1012-1020
- NAID
  10030941982
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500036
[Journal Article] 要求獲得のためのオントロジをWeb マイニングにより拡充する手法の提案と評価2012
- Author(s)
  海谷治彦, 清水悠太郎, 安井浩貴, 海尻賢二, 林晋平, 佐伯元司
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.53, No.2 Pages: 495-509
- NAID
  110008767155
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500042
[Journal Article] 析履歴を用いたソフトウェア品質要求のスペクトル分析法2012
- Author(s)
  海谷治彦, 鈴木駿一, 小川享, 谷川正明, 梅村真弘, 海尻賢二
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 53 Pages: 510-522
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500042
[Journal Article] Facilitating Business Improvement by Information Systems using Model Transformation and Metrics2012
- Author(s)
  Haruhiko Kaiya, Shunsuke Morita, Kenji Kaijiri, Shinpei Hayashi, Motoshi Saeki
- Journal Title
  
  Proceedings of the CAiSE'12 Forum at the 24th International Conference on Advanced Information Systems Engineering (CAiSE 2012)
  
  Pages: 106-113
- URL
  http://ceur-ws.org/Vol-855/paper13.pdf
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500036
[Journal Article] Impact Analysis on an Attributed Goal Graph2012
- Author(s)
  Haruhiko Kaiya and Atsushi Ohnishi
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E95.D Issue: 4 Pages: 1012-1020
- DOI
  10.1587/transinf.E95.D.1012
- NAID
  10030941982
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500042
[Journal Article] Finding Incorrect and Missing Quality Requirements Definitions Using Requirements Frame2012
- Author(s)
  Shinpei Hayashi, Daisuke Tanabe, Haruhiko Kaiya, and Motoshi Saeki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E95.D Issue: 4 Pages: 1031-1043
- DOI
  10.1587/transinf.E95.D.1031
- NAID
  10030942041
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500042
[Journal Article] Toward the Decision Tree for Inferring Requirements Maturation Types2012
- Author(s)
  Takako Nakatani, Narihito Kondo, Junko Shirogane, Haruhiko Kaiya, Shozo Hori, and Keiichi Katamine
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E95.D Issue: 4 Pages: 1021-1030
- DOI
  10.1587/transinf.E95.D.1021
- NAID
  130002131629
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500042
[Journal Article] 分析履歴を用いたソフトウェア品質要求のスペクトル分析法2012
- Author(s)
  海谷治彦, 鈴木駿一, 小川享, 谷川正明, 梅村真弘, 海尻賢二
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.53, No.2 Pages: 510-522
- NAID
  110008767156
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500042
[Journal Article] 要求獲得のためのオントロジをWebマイニングにより拡充する手法の提案と評価2012
- Author(s)
  海谷治彦, 清水悠太郎, 安井浩貴, 海尻賢二, 林晋平, 佐伯元司.
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 53 Pages: 495-509
- NAID
  110008767155
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500042
[Journal Article] 要求獲得のためのオントロジをWebマイニングにより拡充する手法の提案と評価2012
- Author(s)
  海谷治彦, 清水悠太郎, 安井浩貴, 海尻賢二, 林晋平, 佐伯元司
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.53, No.2 Pages: 495-509
- NAID
  110008767155
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500036
[Journal Article] Impact Analysis on an Attributed Goal Graph2012
- Author(s)
  Shinpei Hayashi, Daisuke Tanabe, Haruhiko, Kaiya, Motoshi Saeki
- Journal Title
  
  IEICE Transactions on Information and Systems (電子情報通信学会英文論文誌)
  
  Volume: E95-D, No.4 Pages: 1012-1020
- NAID
  10030941982
- URL
  http://search.ieice.org/bin/summary.php?id=e95-d_4_1012
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500036
[Journal Article] 要求獲得のためのオントロジをWeb マイニングにより拡充する手法の提案と評価2012
- Author(s)
  海谷治彦, 清水悠太郎, 安井浩貴, 海尻賢二, 林晋平, 佐伯元司
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.53, No.2 Pages: 495-509
- NAID
  110008767155
- URL
  http://id.nii.ac.jp/1001/00080661/
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500036
[Journal Article] Checking Regulatory Compliance of Business Processes and Information Systems2011
- Author(s)
  Motoshi Saeki, Haruhiko Kaiya, Satoshi Hattori
- Journal Title
  
  Communications in Computer and Information Science Vol.50
  
  Pages: 71-84
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500027
[Journal Article] Enhancing Domain Knowledge for Requirements Elicitation with Web Mining2010
- Author(s)
  Haruhiko Kaiya, Yuutarou Shimizu, Hirotaka Yasui, Kenji Kaijiri, Motoshi Saeki
- Journal Title
  
  Proc.of 17th Asia-Pacific Engineering Conference (APSEC2010)
  
  Pages: 3-12
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500027
[Journal Article] An Integrated Support for Attributed Goal-Oriented Requirements Analysis Method and Its Implementation2010
- Author(s)
  Motoshi Saeki, Shinpei Hayashi, Haruhiko Kaiya
- Journal Title
  
  Proc.of 10th International Conference on Quality Software
  
  Pages: 357-360
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500027
[Journal Article] 要求変更によるソースコードへのインパクトを分析するシステムの開発と評価2010
- Author(s)
  海谷治彦, 長田晃, 原賢一郎, 海尻賢二
- Journal Title
  
  電子情報通信学会論文誌
  
  Volume: J93-D Pages: 1822-1835
- NAID
  110007730844
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500032
[Journal Article] Improving Reliability of Spectrum Analysis for Software Quality Requirements using TCM.2010
- Author(s)
  Haruhiko Kaiya, Masaaki Tanigawa, Shunichi Suzuki, Tomonori Sato, Akira Osada, Kenji Kaijiri
- Journal Title
  
  IEICE Transactions on Information and Systems Vol.E93-D, No.4
  
  Pages: 702-712
- NAID
  10026814717
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500032
[Journal Article] 類似既存システムの情報を利用した要求獲得支援システムの開発と評価2010
- Author(s)
  海谷治彦, 北澤直幸, 長田晃, 海尻賢二
- Journal Title
  
  電子情報通信学会論文誌 Vol.J93-D, No.10
  
  Pages: 1836-1850
- NAID
  110007730845
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500032
[Journal Article] 類似既存システムの情報を利用した要求獲得支援システムの開発と評価2010
- Author(s)
  海谷治彦, 北澤直幸, 長田晃, 海尻賢二
- Journal Title
  
  電子情報通信学会論文誌
  
  Volume: J93-D Pages: 1836-1850
- NAID
  110007730845
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500032
[Journal Article] 要求変更によるソースコードへのインパクトを分析するシステムの開発と評価2010
- Author(s)
  海谷治彦, 長田晃, 原賢一郎, 海尻賢二
- Journal Title
  
  電子情報通信学会論文誌 Vol.J93-D, No.10
  
  Pages: 1822-1835
- NAID
  110007730844
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500032
[Journal Article] Improving Reliability of Spectrum Analysis for Software Quality Requir ements using TCM2010
- Author(s)
  Haruhiko Kaiya, Masaaki Tanig awa, Shunichi Suzuki, Ibmonori Sato, Akira Osada, Kenji Kaijiri
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: E93-D Pages: 702-712
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500032
[Journal Article] Spectrum Analysis for Quality Requirements by using A Term-Characteristics Map2009
- Author(s)
  Haruhiko Kaiya, Masaaki Tanigawa, Shunichi Suzuki, Tomonori Sato, Kenji Kaijiri
- Journal Title
  
  LNCS, Advanced Information Systems Engineering 5565
  
  Pages: 546-560
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500032
[Journal Article] Security Requirements Elicitation Using Method Weaving and Common Criteria2009
- Author(s)
  Motoshi Saeki, Haruhiko Kaiya
- Journal Title
  
  Lecture Notes in Computer Science (Models in Software Engineering) 5421
  
  Pages: 185-196
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500027
[Journal Article] Detecting Regulatory Vulnerability in Functional Requirements Specifications2009
- Author(s)
  Motoshi Saeki, Haruhiko Kaiya, Satoshi Hattori :
- Journal Title
  
  ICSOFT
  
  Pages: 105-114
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500027
[Journal Article] Extracting Conceptual Graphs from Japanese Documents for Software Requirements Modeling2009
- Author(s)
  Ryo Hasegawa, Motohiro Kitamura, Haruhiko Kaiya, Motoshi Saeki
- Journal Title
  
  APCCM
  
  Pages: 87-96
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500027
[Journal Article] Security Requirements Elicitation Using Method Weaving and Common Criteria2009
- Author(s)
  Motoshi Saeki, Haruhiko Kaiya
- Journal Title
  
  Lecture Notes in Computer Science (Models in Software Engineering) Vol.5421
  
  Pages: 185-196
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500027
[Journal Article] Extracting Conceptual Graphs from Japanese Documents for Software Requirements Modeling2009
- Author(s)
  Ryo Hasegawa, MotohiroKitamura, Haruhiko Kaiya, Motoshi Saeki
- Journal Title
  
  Proc. of 6th Asia-Pacific Conference on Conceptual Modeling CRPIT 96
  
  Pages: 87-96
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500027
[Journal Article] Security Requirements Elicitation Using Method Weaving and Common Criteria2009
- Author(s)
  Motoshi Saeki, Haruhiko Kaiya
- Journal Title
  
  LNCS, Models in Software Engineering 5421
  
  Pages: 185-196
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500032
[Journal Article] Detecting Regulatory Vulnerability in Functional Requirements Specifications2009
- Author(s)
  Motoshi Saeki, Haruhiko Kaiya, Satoshi Hattori
- Journal Title
  
  ICSOFT
  
  Pages: 105-114
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500027
[Journal Article] A Tool for Attributed Goal-Oriented Requirements Analysis2009
- Author(s)
  Motoshi Saeki, Shinpei Hayashi, Haruhiko Kaiya
- Journal Title
  
  Proc. Of the 24th IEEE/ACM International Conference on Automated Software Engineering
  
  Pages: 670-672
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500027
[Journal Article] A Tool for Attributed Goal-Oriented Requirements Analysis2009
- Author(s)
  Motoshi Saeki, Shinpei Hayashi,Haruhiko Kaiya
- Journal Title
  
  Proc.of the 24th IEEE/ACM International Conference on Automated Software Engineering (ASE2009)
  
  Pages: 670-672
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500027
[Journal Article] シソーラスを利用した要求獲得方法(THEOREE)2009
- Author(s)
  加藤潤三, 佐伯元司, 大西淳, 海谷治彦, 山本修一郎
- Journal Title
  
  情報処理学会論文誌 Vol.50, No.12
  
  Pages: 3001-3017
- NAID
  110007970584
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500032
[Journal Article] シソーラスを利用した要求獲得方法(THEOREE)2009
- Author(s)
  加藤潤三, 佐伯元司, 大西淳, 海谷治彦, 山本修一郎
- Journal Title
  
  情報処理学会論文誌 50-12
  
  Pages: 3001-3017
- NAID
  110007970584
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500032
[Journal Article] Extracting Conceptual Graphs from Japanese Documents for Software Requirements Modeling2009
- Author(s)
  Ryo Hasegawa, Motohiro Kitamura, Haruhiko Kaiya, Motoshi Saeki
- Journal Title
  
  Proc.of 6th Asia-Pacific Conference on Conceptual Modeling, CRPIT 96
  
  Pages: 87-96
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500027
[Journal Article] Systematic Method for Generating Quality Requirements Spectrum2009
- Author(s)
  Shunichi Suzuki, Tomonori Sato, Masaaki Tanigawa, Akira Osada, Haruhiko Kaiya, Kenji Kaijiri
- Journal Title
  
  Proc. of the 24th Annual ACM Symposium on Applied Computing 2009 1
  
  Pages: 399-400
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500032
[Journal Article] Supporting the Elicitation of Requirements Compliant with Regulations2008
- Author(s)
  Motoshi Saeki, Haruhiko Kaiya
- Journal Title
  
  Lecture Notes in Computer Science Vol.5074
  
  Pages: 228-242
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500027
[Journal Article] Metrics of Difficulty of Domain Knowledge using Usecase Diagrams2008
- Author(s)
  Akira Osada, Daigo Ozawa, Naoyuki Kitazawa, Haruhiko Kaiya, and Kenji Kaijiri
- Journal Title
  
  Proc. of the 23rd Annual ACM Symposium on Applied Computing 2008 1
  
  Pages: 624-629
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500020
[Journal Article] Supporting Requirements Change Management in Goal Oriented Analysis2008
- Author(s)
  Daisuke Tanabe, Kohei Uno, Kinji Akemine, Takashi Yoshikawa, Haruhiko Kaiya, Motoshi Saeki
- Journal Title
  
  Proc.of 16th IEEE Requirements Engineering Conference
  
  Pages: 3-12
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500027
[Journal Article] Identifying Stakeholders and Their Preferences about NFR by Comparing Use Case Diagrams of Several Existing Systems2008
- Author(s)
  Haruhiko Kaiya, Akira Osada, Kenji Kaijiri
- Journal Title
  
  IEICE Transactions on Information and Systems Vol.E91-D
  
  Pages: 890-906
- NAID
  10026802451
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500034
[Journal Article] Metrics for a Model Driven Development Context2008
- Author(s)
  Motoshi Saeki Haruhiko Kaiya
- Journal Title
  
  3rd International Conference on Evaluation on Novel Approaches to Software Engineering
  
  Pages: 13-22
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500032
[Journal Article] Supporting Requirements Change Management in Goal Oriented Analysis2008
- Author(s)
  Daisuke Tanabe, Kohei Uno, Kinji Akemine, Takashi Yoshikawa, Haruhiko Kaiya, Motoshi Saeki
- Journal Title
  
  Proc. of 16th IEEE Requirements Engineering Conference
  
  Pages: 3-12
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500027
[Journal Article] A Supporting Tool for Requirements Elicitation Using a Domain Ontology2008
- Author(s)
  Motohiro Kitamura, Ryo Hasegawa, Haruhiko Kaiya, Motoshi Saeki
- Journal Title
  
  Software and Data Technology CCIS 22
  
  Pages: 128-140
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500027
[Journal Article] Identifying Stakeholders and Their Preferences about NFR by Comparing Use Case Diagrams of Several Existing Systems2008
- Author(s)
  Haruhiko Kaiya, Akira Osada, Kenji Kaijiri
- Journal Title
  
  IEICE Transactions on Information and Systems E91-D
  
  Pages: 897-906
- NAID
  10026802451
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500034
[Journal Article] So/M : A Requirements Definition Tool using Characteristics of Existing Similar Systems2008
- Author(s)
  Naoyuki Kitazawa, Akira Osada, Kazuyuki Kamijo, Haruhiko Kaiya, Kenji Kaijiri
- Journal Title
  
  32nd Annual IEEE International Computer Software and Applications Conference
  
  Pages: 255-262
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500032
[Journal Article] A Supporting Tool for Requirements Elicitation Using a Domain Ontology, Software and Data Technology2008
- Author(s)
  Motohiro Kitamura, Ryo Hasegawa, Haruhiko Kaiya, Motoshi Saeki
- Journal Title
  
  Communications in Computer and Information Science Vol.22
  
  Pages: 128-140
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500027
[Journal Article] Supporting the Elicitation of Requirements Compliant with Regulations2008
- Author(s)
  Motoshi Saeki, Haruhiko Kaiya
- Journal Title
  
  Lecture Notes in Computer Science 5074
  
  Pages: 228-242
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500027
[Journal Article] PORTAM : policy,requirements, and threats analyzer for mobile code applications.2008
- Author(s)
  Haruhiko Kaiya, kouta Sasai, Kenji Kaijiri
- Journal Title
  
  Progress in Informatics No.5
  
  Pages: 7-18
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500032
[Journal Article] Identifying Stakeholders and Their Preferences about NFR by Comparing Use Case Diagrams of Several Existing Systems.2008
- Author(s)
  海谷治彦, 長田晃, 海尻賢二
- Journal Title
  
  IEICE Transactions on Information and Systems Vol.E91-D, No.4
  
  Pages: 897-906
- NAID
  10026802451
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500032
[Journal Article] 要求獲得におけるドメイン知識表現の役割2007
- Author(s)
  長田晃, 小澤大伍, 海谷治彦, 海尻賢二
- Journal Title
  
  情報処理学会論文誌 Vol.48, No.8
  
  Pages: 2522-2533
- NAID
  110006386486
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500020
[Journal Article] GOORE: Goal-Oriented and Ontology Driven Requirements Elicitation Method2007
- Author(s)
  Masayuki Shibaoka, Haruhiko Kaiya, and Motoshi Saeki
- Journal Title
  
  Advances in Conceptual Modeling-Found ations and Applications, pp.225-234, Auckland, New Zealand, Nov.2007. Springer, LNCS 4802 4802
  
  Pages: 225-234
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500020
[Journal Article] The Role of Domain Knowledge Representation in Requirements Elicitation2007
- Author(s)
  Akira Osada, Daigo Ozawa, Haruhiko Kaiya, Kenji Kaijiri
- Journal Title
  
  Proc. of the 25th IASTED International Multi-Conference Software Engineering (SE2007)
  
  Pages: 84-92
- NAID
  110006386486
- Data Source
  KAKENHI-PROJECT-18500020
[Journal Article] Toward Quality Requirements Analysis based on Domain Specific Quality Spectrum2007
- Author(s)
  Haruhiko Kaiya, et. al.
- Journal Title
  
  The 23rd Annual ACM Symposium on Applied Computing 2008 1
  
  Pages: 596-601
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500034
[Journal Article] 要求獲得におけるドメイン知識表現の役割2007
- Author(s)
  長田晃, 小澤大伍, 海谷治彦, 海尻賢二.
- Journal Title
  
  情報処理学会論文誌 Vol.48, No.8
  
  Pages: 2522-2533
- NAID
  110006386486
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500020
[Journal Article] Goal Oriented Requirements Engineering : Trends and Issues2006
- Author(s)
  Shuichiro, Yamamoto, Haruhiko, Kaiya, Karl, Cox, Steven, Bleistein
- Journal Title
  
  IEICE Transactions on Information and Systems Vol.E89-D, No.11
  
  Pages: 2701-271
- NAID
  120003117685
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-18500020
[Journal Article] Goal Oriented Requirements Engineering: Trends and Issues2006
- Author(s)
  Shuichiro Yamamoto, Haruhiko Kaiya, Karl Cox, and Steven Bleistein
- Journal Title
  
  IEICE Transactions on Information and Systems Vol.E89-D, No.11
  
  Pages: 2701-2711
- NAID
  120003117685
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18500020
[Journal Article] Using Domain Ontology as Domain Knowledge for Reequirements Elicitation2006
- Author(s)
  Haruhiko Kaiya, Motoshi Saeki
- Journal Title
  
  Proc. of 14th IEEE International Requirements Engineering Conference
  
  Pages: 186-195
- Data Source
  KAKENHI-PROJECT-17500020
[Journal Article] ドメインオントロジーを用いた要求獲得法の提案2006
- Author(s)
  海谷治彦, 佐伯元司
- Journal Title
  
  電子情報通信学会ソフトウェアサイエンス研究会 106・16
  
  Pages: 13-18
- NAID
  110004718947
- Data Source
  KAKENHI-PROJECT-17500020
[Journal Article] ドメインオントロジーを用いた要求獲得支援ツールの実現2006
- Author(s)
  北村元博, 長谷川亮, 山部信夫, 海谷治彦, 佐伯元司.
- Journal Title
  
  電子情報通信学会技術研究報告 Vol.106, No. 121
  
  Pages: 19-24
- NAID
  110004750966
- Data Source
  KAKENHI-PROJECT-18500020
[Journal Article] 要求獲得におけるシソーラスの効果・効用について2006
- Author(s)
  加藤潤三, 佐伯元司, 大西淳, 海谷治彦, 山本修一郎
- Journal Title
  
  電子情報通信学会技術研究報告 Vol. 106, No. 201
  
  Pages: 43-48
- NAID
  110004824058
- Data Source
  KAKENHI-PROJECT-18500020
[Journal Article] Goal Oriented Requirements Engineering : Trends and Issues2006
- Author(s)
  Shuichiro Yamamoto, Haruhiko Kaiya, Karl Cox, Steven Bleistein
- Journal Title
  
  IEICE Trans. Inf. and Syst. Vol. E89-D, No. 11
  
  Pages: 2701-2711
- NAID
  120003117685
- Data Source
  KAKENHI-PROJECT-18500020
[Journal Article] Using Domain Ontology as Domain Knowledge for Requirements Elicitation2006
- Author(s)
  Haruhiko Kaiya, Motoshi Saeki.
- Journal Title
  
  14th IEEE International Requirements Engineering Conference (RE' 06)
  
  Pages: 189-198
- Data Source
  KAKENHI-PROJECT-18500020
[Journal Article] 要求獲得におけるドメイン知識表現の役割2006
- Author(s)
  田晃, 小澤大伍, 海谷治彦, 海尻賢二.
- Journal Title
  
  ソフトウェアエンジニアリング最前線2006
  
  Pages: 149-156
- NAID
  110006386486
- Data Source
  KAKENHI-PROJECT-18500020
[Journal Article] Using Domain Ontology as Domain Knowledge for Requirements Elicitation2006
- Author(s)
  Haruhiko Kaiya, Motoshi Saeki
- Journal Title
  
  Proc. of 14th IEEE International Requirements Engineering Conference
  
  Pages: 186-195
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500020
[Journal Article] Ontology Based Requirements Analysis : Lightweight Semantic Processing Approach2005
- Author(s)
  Haruhiko Kaiya, Motoshi Saeki
- Journal Title
  
  Proc.of 5th International Conference on Quality Software
  
  Pages: 223-230
- Data Source
  KAKENHI-PROJECT-17500020
[Journal Article] シソーラスを用いた要求分析法2005
- Author(s)
  加藤, 佐伯, 大西, 古宮, 山本, 海谷
- Journal Title
  
  電子情報通信学会技術研究報告ソフトウェアサイエンス研究会 Vol.104, No.772
  
  Pages: 31-36
- NAID
  110003277294
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] Ontology Based Requirements Analysis : Lightweight Semantic Processing Approach2005
- Author(s)
  Haruhiko Kaiya, Motoshi Saeki
- Journal Title
  
  Proc. of 5th International Conference on Quality Software
  
  Pages: 223-230
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500020
[Journal Article] 要求分析におけるオントロジーの活用法2005
- Author(s)
  海谷, 佐伯
- Journal Title
  
  電子情報通信学会技術研究報告ソフトウェアサイエンス研究会 (4月発表予定)
- NAID
  110003277347
- Data Source
  KAKENHI-PROJECT-16016230
[Journal Article] Modeling Software Characteristics and Their Correlations in A Specific Domain by Comparing Existing Similar Systems2005
- Author(s)
  Akira Osada, Daigo Ozawa, Haruhiko Kaiya, Kenji Kaijiri
- Journal Title
  
  Proc.of 5th International Conference on Quality Software
  
  Pages: 215-222
- NAID
  10016575637
- Data Source
  KAKENHI-PROJECT-16016230
[Journal Article] Ontology Based Requirements Analysis : Lightweight Semantic Processing Approach2005
- Author(s)
  Haruhiko Kaiya, Motoshi Saeki
- Journal Title
  
  Proc.of 5th International Conference on Quality Software
  
  Pages: 223-230
- Data Source
  KAKENHI-PROJECT-16016230
[Journal Article] シソーラスを用いた要求分析法2005
- Author(s)
  加藤, 佐伯, 大西, 古宮, 山本, 海谷
- Journal Title
  
  電子情報通信学会技術研究報告ソフトウェアサイエンス研究会 104, 722
  
  Pages: 31-36
- NAID
  110003277294
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] Requirements Elicitation Method by using Thesaurus(in Japanese)2005
- Author(s)
  J.Kato, M.Saeki, A.Ohnishi, S.Koiniya, S.Yamamoto, H.Kaiya
- Journal Title
  
  Technical Report of IEICE on Software Science 104, 722
  
  Pages: 31-36
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] Improving the Detection of Requirements Discordances among Stakeholders2005
- Author(s)
  Haruhiko Kaiya, Daisuke Shinbara, Juniichi Kawano, Motoshi Saeki
- Journal Title
  
  Requirements Engineering Journal 10・4
  
  Pages: 289-303
- Data Source
  KAKENHI-PROJECT-17500020
[Journal Article] Identifying Stakeholders and Their Preferences about NFR by Comparing Use Case Diagrams of Several Existing Systems.2004
- Author(s)
  Haruhiko Kaiya, Akira Osada, Kenji Kaijiri
- Journal Title
  
  Proceedings of 12th IEEE International Requirements Engineering Conference 12
  
  Pages: 112-121
- NAID
  10026802451
- Data Source
  KAKENHI-PROJECT-15700028
[Journal Article] Identifying Requirements Gaps among Stakeholders by using Goal-Oriented Analysis2004
- Author(s)
  D.Shinbara, J.Kawano, H.Kaiya, M.Saeki
- Journal Title
  
  10th Anniversary International Workshop on Requirements Engineering : Foundation for Software Quality(REFAQ'04)
  
  Pages: 219-234
- NAID
  110002911451
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] Identifying Stakeholders and their Preferences about NFR by Comparing Use Case Diagrams of Several Existing Systems2004
- Author(s)
  H.Kaiya, A.Osada, K.Kaijiri
- Journal Title
  
  12th IEEE International Requirements Engineering Conference(RE'04)
  
  Pages: 112-121
- NAID
  10026802451
- Data Source
  KAKENHI-PROJECT-16016230
[Journal Article] Identifying Requirements Gaps among Stakeholders by using Goal-Oriented Analysis2004
- Author(s)
  D.Shinbara, J.Kawano, H.Kaiya, M.Saeki
- Journal Title
  
  10th Anniversary International Workshop on Requirements Engineering : Foundation for Softwrae Quality (REFSQ'04)
  
  Pages: 219-234
- NAID
  110002911451
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] Developing Thesauruses for Requirements Analysis2004
- Author(s)
  J.Kato, A.Ohnishi, H.Kaiya, S.Komiya, S.Yamamoto, H.Horai
- Journal Title
  
  2nd International Workshop on Requirements and COTS Components (RECOTS'04)
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] Weaving Multiple Viewpoint Specifications in Goal Oriented Requirements Analysis2004
- Author(s)
  H.Kaiya, M.Saeki
- Journal Title
  
  11th Asia-Pacific Software Engineering Conference(APSEC2004)
  
  Pages: 418-427
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] Identifying Requirements Gaps among Stakeholders by using Goal-Oriented Analysis2004
- Author(s)
  D.Shinbara, J.Kawano, H.Kaiya, M.Saeki
- Journal Title
  
  10th Anniversary International Workshop on Requirements Engineering : Foundation for Software Quality(REFSQ'04)
  
  Pages: 219-234
- NAID
  110002911451
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] Weaving Multiple Viewpoint Specifications in Goal Oriented Requirements Analysis2004
- Author(s)
  Haruhiko Kaiya, Motoshi Saeki
- Journal Title
  
  Proceedings of 11th Asia-Pacific Software Engineering Conference 11
  
  Pages: 418-427
- Data Source
  KAKENHI-PROJECT-15700028
[Journal Article] A Method to Develop Feasible Requirements for Java Mobile Code Application2004
- Author(s)
  Haruhiko Kaiya, Kouta Sasaki, Kenji Kaijiri
- Journal Title
  
  IEICE Transaction on Information and Systems E85-D(4)
  
  Pages: 811-821
- NAID
  110003213945
- Data Source
  KAKENHI-PROJECT-15700028
[Journal Article] PAORE : Package Oriented Requirements Elicitation2003
- Author(s)
  J.Kato, M.Saeki, A.Ohnishi, M.Nagata, H.Kaiya, S.Komiya, S.Yamamoto, H.Horai, K.Watahiki
- Journal Title
  
  10th Asia-Pacific Software Engineering Conference(APSEC2003)
  
  Pages: 17-28
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] PAORE : Package Oriented Requirements Elicitation2003
- Author(s)
  J.Kato, M.Saeki, A.Ohnishi, M.Nagata, H.Kaiya, S.Komiya, S.Yamamoto, H.Horai, K.Watahiki
- Journal Title
  
  10th Asia-Pacific Software Engineering Conference APSEC2003)
  
  Pages: 17-26
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] Supporting the Development of a Thesaurus for Requirements Analysis(in Japanese)2003
- Author(s)
  J.Kato, M.Saeki, A.Ohnishi, M.Nagata, H.Kaiya, S.Komiya, S.Yamamoto, H.Horai, K.Watahiki
- Journal Title
  
  Technical Report of IEICE on Knowledge Based Software Engineering 103, 217
  
  Pages: 41-46
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500019
[Journal Article] 要求分析のためのシソーラス作成支援2003
- Author(s)
  加藤, 佐伯, 大西, 永田, 海谷, 古宮, 山本, 蓬莱
- Journal Title
  
  電子情報通信学会技術研究報告知能ソフトウェア工学研究会 103, 217
  
  Pages: 41-46
- NAID
  110003298847
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500019
[Presentation] Attack Defense Treesを用いた脅威分析効率化支援手法の提案2024
- Author(s)
  大久保隆夫、山本渓太、海谷晴彦
- Organizer
  2024年暗号と情報セキュリティシンポジウム
- Data Source
  KAKENHI-PROJECT-21K11895
[Presentation] パラメータ調整に基づく対話的なプロセスモデル決定手法の実現にむけて2024
- Author(s)
  満田壮晴，中川博之，海谷治彦，竹内広宜，小形真平，土屋達弘
- Organizer
  電子情報通信学会
- Data Source
  KAKENHI-PROJECT-21K11837
[Presentation] A Tool to Manage Traceability on Several Models and Its Use Case2020
- Author(s)
  Haruhiko Kaiya, Shogo Tatsui, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Hironori Washizaki
- Organizer
  24th International Conference on Knowledge Based and Intelligent Information and Engineering Systems (KES2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02804
[Presentation] Experimental Evaluation of Traceability Checking Tool for Goal Dependency Modeling2020
- Author(s)
  Haruhiko Kaiya, Wataru Fujita, Ryotaro Yamada, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka, and Hironori Washizaki
- Organizer
  13th International Joint Conference on Knowledge-based Software Engineering (JCKBSE2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02804
[Presentation] A System for Seamlessly Supporting from Security Requirements Analysis to Security Design using a Software Security Knowledge Base2019
- Author(s)
  Atsuo Hazeyama, Hikaru Miyahara, Takafumi Tanaka, Hironori Washizaki, Haruhiko Kaiya, Takao Okubo and Nobukazu Yoshioka
- Organizer
  6th International Workshop on Evolving Security & Privacy Requirements Engineering (ESPRE)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02804
[Presentation] Towards A Knowledge Base for Software Developers to Choose Suitable Traceability Techniques2019
- Author(s)
  Haruhiko Kaiya, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki
- Organizer
  23rd International Conference on Knowledge Based and Intelligent Information and Engineering Systems (KES 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02804
[Presentation] Landscape of IoT Patterns2019
- Author(s)
  Hironori Washizaki, Nobukazu Yoshioka, Atsuo Hazeyama, Takehisa Kato, Haruhiko Kaiya, Shinpei Ogata, Takao Okubo and Eduardo B. Fernandez
- Organizer
  2019 IEEE/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02804
[Presentation] Cloud Security and Privacy Metamodel - Metamodel for Security and Privacy Knowledge in Cloud Services2018
- Author(s)
  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.
- Organizer
  6th International Conference onModel-Driven Engineering and SoftwareDevelopment
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00109
[Presentation] Taxonomy and Literature Survey of Security Pattern Research2018
- Author(s)
  Hironori Washizaki, Tian Xia, Natsumi Kamata, Yoshiaki Fukazawa, Hideyuki Kanuka, Dan Yamaoto, Masayuki Yoshino, Takao Okubo, Shinpei Ogata, Haruhiko Kaiya, Takehisa Kato, Atsuo Hazeyama, Takafumi Tanaka, Nobukazu Yoshioka, G Priyalakshmi
- Organizer
  IEEE Conference on Applications, Information and Network Security (AINS)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02804
[Presentation] Cloud Security and Privacy Metamodel: Metamodel for Security and Privacy Knowledge in Cloud Services2017
- Author(s)
  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
- Organizer
  6th International Conference on Model-Driven Engineering and Software Development
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02804
[Presentation] A CASE tool for Goal Dependency Model with Attributes based on An Existing UML Editor2017
- Author(s)
  Haruhiko Kaiya, Kazuto Haga
- Organizer
  21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00109
[Presentation] Eliciting requirements for improving users' behavior using transparency2017
- Author(s)
  Haruhiko Kaiya, Nobukazu Yoshioka, Hironori Washizaki, Takao Okubo, Atsuo Hazeyama, Shinpei Ogata and Takafumi Tanaka.
- Organizer
  4th Asia Pacific Requirements Engineering Symposium
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00109
[Presentation] Generalizing and Composing Goals and Objects in a Scenario Together for Requirements Analysis2017
- Author(s)
  Yoshihide Chubachi and Haruhiko Kaiya
- Organizer
  8th International Conference on Information Intelligence Systems Applications
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00109
[Presentation] Preliminary Systematic Literature Review of Software and Systems Traceability2017
- Author(s)
  Haruhiko Kaiya, Ryohei Sato, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Takafumi Tanaka, Nobukazu Yoshioka and Hironori Washizaki
- Organizer
  21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02804
[Presentation] Identifying fundamental goals from objects in a scenario to facilitate system introduction2017
- Author(s)
  Yoshihide Chubachi, Haruhiko Kaiya
- Organizer
  COMPSAC 2017
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00109
[Presentation] Traceability Link Mining – Focusing on Usability -2017
- Author(s)
  Shinpei Ogata, Yukiya Yazawa, Kozo Okano, Haruhiko Kaiya, Hironori Washizaki
- Organizer
  41st IEEE Computer Society Signature Conference on Computers, Software, and Applications
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02804
[Presentation] Traceability Link Mining - Focusing on Usability -2017
- Author(s)
  Shinpei Ogata, Yukiya Yazawa, Kozo Okano, Haruhiko Kaiya, Hironori Washizaki
- Organizer
  41st IEEE Computer Society Signature Conference on Computers, Software, and Applications
- Place of Presentation
  Torino, Turin, Italy
- Year and Date
  2017-07-04
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02804
[Presentation] Traceability Link Mining - Focusing on Usability -2017
- Author(s)
  Shinpei Ogata, Yukiya Yazawa, Kozo Okano, Haruhiko Kaiya, Hironori Washizaki
- Organizer
  COMPSAC 2017
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00109
[Presentation] A Metamodel for Security and Privacy Knowledge in Cloud Services2016
- Author(s)
  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
- Organizer
  IEEE Services 2016
- Place of Presentation
  San Francisco, USA.
- Year and Date
  2016-06-27
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00109
[Presentation] Modelling Goal Dependencies and Domain Model Together2016
- Author(s)
  Haruhiko Kaiya.
- Organizer
  KES 2016
- Place of Presentation
  York, UK
- Year and Date
  2016-09-05
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00109
[Presentation] Early Requirements Analysis for a Socio-Technical System based on Goal Dependencies2016
- Author(s)
  Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi, Motoshi Saeki.
- Organizer
  The 15th International Conference on Intelligent Software Methodologies, Tools and Techniques
- Place of Presentation
  Larnaca, Cyprus
- Year and Date
  2016-09-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00109
[Presentation] Modelling Goal Dependencies and Domain Model Together2016
- Author(s)
  Haruhiko Kaiya
- Organizer
  KES2016
- Place of Presentation
  York, UK
- Year and Date
  2016-09-05
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00109
[Presentation] A Metamodel for Security and Privacy Knowledge in Cloud Services2016
- Author(s)
  Hironori Washizaki, Sota Fukumoto, Misato Yamamoto, Masatoshi Yoshizawa, Yoshiaki Fukazawa, Takehisa Kato, Takao Okubo, Hideyuki Kanuka, Yuki Kondo, Shinpei Ogata, Atsuo Hazeyama, Haruhiko Kaiya and Eduardo B. Fernandez
- Organizer
  The Third International Workshop on Patterns Promotion and Anti-patterns Prevention
- Place of Presentation
  大阪大学、大阪府吹田市
- Year and Date
  2016-03-15
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02686
[Presentation] Literature Survey on Technologies for Developing Privacy-aware Software2016
- Author(s)
  Atsuo Hazeyama, Hironori Washizaki, Nobukazu Yoshioka, Haruhiko Kaiya and Takao Okubo.
- Organizer
  2016 IEEE 24th International Requirements Engineering Conference Workshops,
- Place of Presentation
  Beijing, China
- Year and Date
  2016-09-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00109
[Presentation] Requirements Analysis for Privacy Protection and Third Party Awareness using Logging Models2016
- Author(s)
  Haruhiko Kaiya, Nobukazu Yoshioka, Takao Okubo, Hironori Washizaki and Atsuo Hazeyama.
- Organizer
  The 15th International Conference on Intelligent Software Methodologies, Tools and Techniques
- Place of Presentation
  Larnaca, Cyprus
- Year and Date
  2016-09-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00109
[Presentation] A Case-based Management System for Secure Software Development Using Software Security Knowledge2015
- Author(s)
  Masahito Saito, Atsuo Hazeyama, Nobukazu Yoshioka, Takanori Kobashi, Hironori Washizaki, Haruhiko Kaiya, Takao Ohkubo.
- Organizer
  19th International Conference on Knowledge Based and Intelligent Information and Engineering Systems (KES 2015)
- Place of Presentation
  Singapore
- Year and Date
  2015-09-07
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00109
[Presentation] Case Base for Secure Software Development Using Software Security Knowledge Base2015
- Author(s)
  Atsuo Hazeyama, Masahito Saito, Nobukazu Yoshioka, Azusa Kumagai, Takanori Kobashi, Hironori Washizaki, Haruhiko Kaiya, Takao Okubo.
- Organizer
  The 39th Annual International Computers, Software & Applications Conference, Workshop
- Place of Presentation
  Taichung, Taiwan
- Year and Date
  2015-07-01
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00109
[Presentation] Finding Potential Threats in Several Security Targets for Eliciting Security Requirements2015
- Author(s)
  Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi, Motoshi Saeki, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki, and Atsuo Hazeyama
- Organizer
  ICCGI 2015: The 10th International Multi-Conference on Computing in the Global Information Technology
- Place of Presentation
  St. Julians, Malta
- Year and Date
  2015-10-11
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00109
[Presentation] Multi-Dimensional Goal Refinement in Goal-Oriented Requirements Engineering.2015
- Author(s)
  Wataru Inoue, Shinpei Hayashi, Haruhiko Kaiya, and Motoshi Saeki.
- Organizer
  10th Internatonal Conference on Software Engineering and Applications
- Place of Presentation
  Colmar, Alsace
- Year and Date
  2015-07-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00109
[Presentation] Systematic Mapping of Security Patterns Research2015
- Author(s)
  Yurina Ito, Hironori Washizaki, Masatoshi Yoshizawa, Yoshiaki Fukazawa, Takao Okubo, Haruhiko Kaiya, Atsuo Hazeyama, Nobukazu Yoshioka, Eduardo B. Fernandez
- Organizer
  the 22nd Conference on Pattern Languages of Programs Conference 2015
- Place of Presentation
  Pennsylvania, USA
- Year and Date
  2015-10-24
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02686
[Presentation] Finding Potential Threats in Several Security Targets for Eliciting Security Requirements2015
- Author(s)
  Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi, Motoshi Saeki, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki, Atsuo Hazeyama
- Organizer
  10th International Multi-Conference on Computing in the Global Information Technology (ICCGI 2015)
- Place of Presentation
  Malta
- Year and Date
  2015-10-14
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02686
[Presentation] TESEM: A tool for verifying security design pattern applications by model testing.2015
- Author(s)
  Takanori Kobashi, Masatoshi Yoshizawa, Hironori Washizaki, Yoshiaki Fukazawa, Nobukazu Yoshioka, Takao Okubo, and Haruhiko Kaiya
- Organizer
  8th IEEE International Conference on Software Testing, Verification and Validation
- Place of Presentation
  Graz, Austria
- Year and Date
  2015-04-13
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00109
[Presentation] Security Driven Requirements Refinement and Exploration of Architecture with multiple NFR points of view2014
- Author(s)
  Takao Okubo, Nobukazu Yoshioka, and Haruhiko Kaiya
- Organizer
  In 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE 2014), IEEE Computer Society, CPS
- Place of Presentation
  Miami, Florida
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Security Driven Requirements Refinement and Exploration of Architecture with multiple NFR points of view2014
- Author(s)
  Takao Okubo, Nobukazu Yoshioka, and Haruhiko Kaiya.
- Organizer
  IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE 2014)
- Place of Presentation
  Miami, Florida, USA
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] アセットフロー図と配置図を用いた情報システムのセキュリティ要求分析支援ツール2013
- Author(s)
  瀧澤悠介, 阪井隼也, 海谷治彦, 小形真平, 海尻賢二
- Organizer
  電子情報通信学会技術研究報告, Vol. 112, No. 496, pp. 31-36
- Place of Presentation
  東京
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Goal-oriented security requirements analysis for a system used in several different activities2013
- Author(s)
  Haruhiko Kaiya, Takao Okubo, Nobuyuki Kanaya, Yuji Suzuki, Shinpei Ogata, Kenji Kaijiri, and Nobukazu Yoshioka.
- Organizer
  Third International Workshop on Information Systems Security Engineering - WISSE'13
- Place of Presentation
  Valencia, Spain
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] IR based Traceability Link Recovery Method Mining2013
- Author(s)
  Takeyuki Ueda, Shinpei Ogata, Haruhiko Kaiya, and Kenji Kaijiri
- Organizer
  In The Eightth International Conference on Software Engineering Advances (ICSEA13)
- Place of Presentation
  Venice, Italy
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] IR based Traceability Link Recovery Method Mining2013
- Author(s)
  Takeyuki Ueda, Shinpei Ogata, Haruhiko Kaiya, and Kenji Kaijiri.
- Organizer
  The Eightth International Conference on Software Engineering Advances (ICSEA13)
- Place of Presentation
  Venice, Italy
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Validating Security Design Pattern Applications Using Model Testing2013
- Author(s)
  Takanori Kobashi, Nobukazu Yoshioka, Takao Okubo, Haruhiko Kaiya, Hironori Washizaki and Yoshiaki Fukazawa
- Organizer
  Proceedings of International Conference on Availability, Reliability and Security (ARES 2013), IEEE CPS
- Place of Presentation
  Regensburg, Germany
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Validating Security Design Pattern Applications Using Model Testing2013
- Author(s)
  Takanori Kobashi, Nobukazu Yoshioka, Takao Okubo, Haruhiko Kaiya, Hironori Washizaki and Yoshiaki Fukazawa.
- Organizer
  International Conference on Availability, Reliability and Security (ARES 2013)
- Place of Presentation
  Regensburg, Germany
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Goal-oriented security requirements analysis for a system used in several different activities2013
- Author(s)
  Haruhiko Kaiya, Takao Okubo, Nobuyuki Kanaya, Yuji Suzuki, Shinpei Ogata, Kenji Kaijiri, and Nobukazu Yoshioka
- Organizer
  In Xavier Franch and Pnina Soffer, editors, Advanced Information Systems Engineering Workshops, of Lecture Notes in Business Information Processing (LNBIP), The Third International Workshop on Information Systems Security Engineering - WISSE'13
- Place of Presentation
  Valencia, Spain
- Year and Date
  2013-06-18
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] モデルテストによるセキュリティ分析・設計パターンの適用支援2012
- Author(s)
  小橋孝紀, 大久保隆夫, 海谷治彦, 吉岡信和, 伊永祥太, 鷲崎弘宜, 深潭良彰
- Organizer
  コンピュータセキュリティシンポジウム2012
- Place of Presentation
  松江市くにびきメッセ
- Year and Date
  2012-10-30
- Data Source
  KAKENHI-PROJECT-24300011
[Presentation] Predicting Quality Requirements Necessary for a Functional Requirement based on Machine Learning2012
- Author(s)
  Ken Tanaka, Haruhiko Kaiya, and Atsushi Ohnishi
- Organizer
  The Seventh International Conference on Software Engineering Advances (ICSEA 2012)
- Place of Presentation
  Lisbon
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Facilitating Business Improvement by Information Systems using Model Transformation and Metrics2012
- Author(s)
  Haruhiko Kaiya, Shunsuke Morita, Kenji Kaijiri, Shinpei Hayashi, and Motoshi Saeki
- Organizer
  the Forum at the CAiSE 2012 Conference (CAiSE 2012 Forum)
- Place of Presentation
  Gdansk
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] 因指向脆弱性モデルに基づくWebアプリケーションのセキュリティ要求分析支援2012
- Author(s)
  西野裕範, 阪井隼也, 海谷治彦, 海尻賢二
- Organizer
  電子情報通信学会技術研究報告
- Place of Presentation
  東京
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Validating Quality Requirements Considerations in a Design Document using Spectrum Analysis2012
- Author(s)
  Masahiro Umemura, Haruhiko Kaiya, Shinpei Ogata and Kenji Kaijiri
- Organizer
  Tenth Joint Conference on Knowledge-Based Software Engineering (JCKBSE2012)
- Place of Presentation
  Rhodes
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Improving Software Quality Requirements Specifications Using Spectrum Analysis2012
- Author(s)
  Haruhiko Kaiya and Atsushi Ohnishi
- Organizer
  36th Annual IEEE International Computer Software and Applications Conference Workshops (COMPSACW 2012)
- Place of Presentation
  Izmir
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Model Transformation Patterns for Introducing Suitable Information Systems2012
- Author(s)
  Haruhiko Kaiya, Shunsuke Morita, Shinpei Ogata, Kenji Kaijiri, Shinpei Hayashi, and Motoshi Saeki
- Organizer
  19th Asia-Pacific Software Engineering Conference (APSEC 2012)
- Place of Presentation
  Hong Kong
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Mutual Refinement of Security Requirements and Architecture Using Twin Peaks Model2012
- Author(s)
  Takao Okubo, Haruhiko Kaiya, and Nobukazu Yoshioka
- Organizer
  36th Annual IEEE International Computer Software and Applications Conference Workshops (COMPSACW 2012)
- Place of Presentation
  Izmir
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Facilitating Business Improvement by Information Systems using Model Transformation and Metrics2012
- Author(s)
  Haruhiko Kaiya, Shunsuke Morita, Kenji Kaijiri, Shinpei Hayashi, and Motoshi Saeki
- Organizer
  Proceedings of the Forum at the CAiSE 2012 Conference (CAiSE 2012 Forum), CEUR Workshop Proceedings
- Place of Presentation
  Gdansk, Poland
- Year and Date
  2012-06-28
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Mutual Refinement of Security Requirements and Architecture using Tw in Peaks Model2012
- Author(s)
  Takao Okubo, Haruhiko Kaiya, Nobukazu Yoshioka
- Organizer
  The 6th IEEE International Workshop on Require ments Engineering for Services
- Place of Presentation
  Izmir, Turkey
- Year and Date
  2012-07-16
- Data Source
  KAKENHI-PROJECT-24300011
[Presentation] Mutual Refinement of Security Requirements and Architecture Using Twin Peaks Model2012
- Author(s)
  Takao Okubo, Haruhiko Kaiya, and Nobukazu Yoshioka
- Organizer
  In 36th Annual IEEE International Computer Software and Applications Conference Workshops (COMPSACW 2012), 2012), REFS 2012
- Place of Presentation
  Izmir, Turkey
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Predicting Quality Requirements Necessary for a Functional Requirement based on Machine Learning2012
- Author(s)
  Ken Tanaka, Haruhiko Kaiya, and Atsushi Ohnishi
- Organizer
  In The Seventh International Conference on Software Engineering Advances (ICSEA 2012)
- Place of Presentation
  Lisbon
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Validating Quality Requirements Considerations in a Design Document using Spectrum Analysis2012
- Author(s)
  Masahiro Umemura, Haruhiko Kaiya, Shinpei Ogata and Kenji Kaijiri
- Organizer
  Knowledge-Based Software Engineering, Proc of the Tenth Joint Conference on Knowledge-Based Software Engineering (JCKBSE2012)
- Place of Presentation
  Rhodes, Greece
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Model Transformation Patterns for Introducing Suitable Information Systems2012
- Author(s)
  Haruhiko Kaiya, Shunsuke Morita, Shinpei Ogata, Kenji Kaijiri, Shinpei Hayashi, and Motoshi Saeki
- Organizer
  Proceedings of 19th Asia-Pacific Software Engineering Conference (APSEC 2012)
- Place of Presentation
  Hong Kong
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Improving Software Quality Requirements Specifications Using Spectrum Analysis2012
- Author(s)
  Haruhiko Kaiya and Atsushi Ohnishi
- Organizer
  In 36th Annual IEEE International Computer Software and Applications Conference Workshops (COMPSACW 2012), REFS 2012
- Place of Presentation
  Izmir, Turkey
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] モデルテストによるセキュリティ分析・設計パターンの適用支援2012
- Author(s)
  小橋孝紀, 大久保隆夫, 海谷治彦, 吉岡信和, 伊永祥太, 鷲崎弘宜, 深澤良彰.
- Organizer
  コンピュータセキュリティシンポジウム 2012 (CSS2012) 論文集, pp.655-662
- Place of Presentation
  松江市
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] how to support software revision in software non-intensive projects using existing techniques2011
- Author(s)
  Haruhiko Kaiya, Kenichiro Hara, Kyotaro Kobayashi, Akira Osada, and Kenji Kaijiri.
- Organizer
  COMPSAC2011
- Place of Presentation
  ミュヘン
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Exploring how to support software revision in software non-intensive projects using existing techniques2011
- Author(s)
  Haruhiko Kaiya, Kenichiro Hara, Kyotaro Kobayashi, Akira Osada, and Kenji Kaijiri
- Organizer
  In 35th Annual IEEE International Computer Software and Applications Conference Workshops (COMPSACW 2011), IEEE CS
- Place of Presentation
  Munich, Germany
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Spectrum Analysis for Software Quality Requirements using Analyses Records2011
- Author(s)
  Haruhiko Kaiya, Shunichi Suzuki, Toru Ogawa, Masaaki Tanigawa, Masahiro Umemura, and Kenji Kaijiri
- Organizer
  COMPSAC2011
- Place of Presentation
  ミュヘン
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Quality Requirements Analysis using Requirements Frames2011
- Author(s)
  Haruhiko Kaiya and Atsushi Ohnishi
- Organizer
  11th International Conference on Quality Software
- Place of Presentation
  マドリッド
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Effective Security Impact Analysis with Patterns for Software Enhancement2011
- Author(s)
  Takao Okubo, Haruhiko Kaiya, and Nobukazu Yoshioka
- Organizer
  Sixth International Conference on Availability, Reliability and Security
- Place of Presentation
  ウイーン
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Effective Security Impact Analysis with Patterns for Software Enhancement2011
- Author(s)
  Takao Okubo, Haruhiko Kaiya, and Nobukazu Yoshioka
- Organizer
  Proceedings of the 2011 Sixth International Conference on Availability, Reliability and Security (ARES), IEEE Computer Society, CPS
- Place of Presentation
  Vienna, Austria
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Quality Requirements Analysis using Requirements Frames2011
- Author(s)
  Haruhiko Kaiya and Atsushi Ohnishi
- Organizer
  QSIC 2011, Proc. of The 11th International Conference on Quality Software
- Place of Presentation
  Madrid, Spain
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] Spectrum Analysis for Software Quality Requirements using Analyses Records2011
- Author(s)
  Haruhiko Kaiya, Shunichi Suzuki, Toru Ogawa, Masaaki Tanigawa, Masahiro Umemura, and Kenji Kaijiri
- Organizer
  In 35th Annual IEEE International Computer Software and Applications Conference Workshops (COMPSACW 2011), IEEE CS
- Place of Presentation
  Munich, Germany
- Data Source
  KAKENHI-PROJECT-23500042
[Presentation] 品質要求が開発後段で反映されていることをスペクトル分析で確認する手法2010
- Author(s)
  雨宮和寿, 海谷治彦, 海尻賢二
- Organizer
  知能ソフトウェア工学研究会,KBSE2009-51(電子情報通信学会技術研究報告,Vol.109,No.392,pp.19-24)
- Place of Presentation
  筑波大学東京キャンパス
- Data Source
  KAKENHI-PROJECT-20500032
[Presentation] Towards an Integrated Support for Traceability of Quality Requirements using Software Spectrum Analysis.2010
- Author(s)
  Haruhiko Kaiya, Kasuhisa Amemiya, Yuutarou Shimizu, Kenji Kaijiri
- Organizer
  In Proceedings of the 5th International Conference on Software and Data Technologies (ICSOFT), pp.187-194
- Place of Presentation
  Athens, Greece
- Data Source
  KAKENHI-PROJECT-20500032
[Presentation] Towards an Integrated Support for Traceability of Quality Requirements using Software Spectrum Analysis2010
- Author(s)
  Haruhiko Kaiya, Kasuhisa Amemiya, Yuutarou Shimizu, Kenji Kaijiri
- Organizer
  ICSOFT2010
- Place of Presentation
  アテネ,ギリシャ
- Data Source
  KAKENHI-PROJECT-20500032
[Presentation] Enhancing Domain Knowledge for Requirements Elicitation with Web Mining.2010
- Author(s)
  Haruhiko Kaiya, Yuutarou Shimizu, Hirotaka Yasui, Kenji Kaijiri, Motoshi Saeki
- Organizer
  In Proceedings of 17th Asia-Pacific Software Engineering Conference (APSEC 2010), pp.3-12
- Place of Presentation
  Sydney, Australia
- Data Source
  KAKENHI-PROJECT-20500032
[Presentation] スペクトラム分析の実績に基づくソフトウェア品質要求評価ツールの実現と評価2010
- Author(s)
  鈴木駿一, 梅村真弘, 谷川正明, 小川享, 海谷治彦, 海尻賢二
- Organizer
  ソフトウェアサイエンスSS2010-29(電子情報通信学会技術研究報告,Vol.110,No.227,pp.7-12)
- Place of Presentation
  岩手県立大学
- Year and Date
  2010-10-14
- Data Source
  KAKENHI-PROJECT-20500032
[Presentation] 品質要求が開発後段で反映されていることをスペクトル分析で確認する手法2010
- Author(s)
  雨宮和寿, 海谷治彦, 海尻賢二
- Organizer
  電子情報通信学会技術研究報告
- Place of Presentation
  筑波大学東京キャンパス
- Data Source
  KAKENHI-PROJECT-20500032
[Presentation] 要求フレームを利用した品質要求分析支援2010
- Author(s)
  海谷治彦, 大西淳
- Organizer
  ソフトウェアサイエンスSS2010-28(電子情報通信学会技術研究報告,Vol.110,No.227,pp.1-6)
- Place of Presentation
  岩手県立大学
- Year and Date
  2010-10-14
- Data Source
  KAKENHI-PROJECT-20500032
[Presentation] A Systematic Method for Generating Quality Requirements Spectrum.2009
- Author(s)
  Shunichi Suzuki, Tomonori Sato, Masaaki Tanigawa, Akira Osada, Haruhiko Kaiya, Kenji Kaijiri
- Organizer
  ACM.Track on Requirements Engineering (In Proc.of the 24th Annual ACM Symposium on Applied Computing 2009, Volume 1 of 3, pp.399-400)
- Place of Presentation
  Honolulu, Hawaii
- Data Source
  KAKENHI-PROJECT-20500032
[Presentation] ソフトウェア成果物のためのスペクトル分析2009
- Author(s)
  海谷治彦
- Organizer
  情報処理学会ソフトウェア工学研究会,近代科学社.ソフトウェアエンジニアリングシンポジウム2009(SES2009)(ソフトウェアエンジニアリング最前線2009,pp.51-52)
- Place of Presentation
  東京女子大学(招待論文)
- Year and Date
  2009-09-09
- Data Source
  KAKENHI-PROJECT-20500032
[Presentation] Spectrum Analysis for Quality Requirements by using A Term-Characteristics Map.2009
- Author(s)
  Haruhiko Kaiya, Masaaki Tanigawa, Shunichi Suzuki, Tomonori Sato, Kenji Kaijiri
- Organizer
  21th International Conference Advanced Information Systems Engineering (CAiSE 2009), pp.546-560, LNCS 5565.
- Place of Presentation
  Amsterdam, The Netherlands
- Data Source
  KAKENHI-PROJECT-20500032
[Presentation] Security Requirements Elicitation Using Method Weaving and Common Criteria.2009
- Author(s)
  Motoshi Saeki, Haruhiko Kaiya
- Organizer
  In MODELS 2008 Workshops, pp.185-196, LNCS 5421.
- Place of Presentation
  Springer-Verlag Berlin Heidelberg
- Data Source
  KAKENHI-PROJECT-20500032
[Presentation] 単語-品質特性対応表を用いた品質要求スペクトルの抽出法2009
- Author(s)
  谷川正明, 鈴木駿一, 佐藤知徳, 長田晃, 北澤直幸, 海谷治彦, 海尻賢二
- Organizer
  知能ソフトウェア工学研究会(KBSE) KBSE2008-49(電子情報通信学会技術研究報告,Vol.108,No.384,pp.73-78)
- Place of Presentation
  機械振興会館東京
- Data Source
  KAKENHI-PROJECT-20500032
[Presentation] 単語・品質特性対応表を用いた品質要求スペクトルの抽出法2009
- Author(s)
  谷川正明, 鈴木駿一, 佐藤知徳, 長田晃, 北澤直幸, 海谷治彦, 海尻賢二
- Organizer
  電子情報通信学会技術研究報告
- Place of Presentation
  東京
- Year and Date
  2009-01-20
- Data Source
  KAKENHI-PROJECT-20500032
[Presentation] 属性つきゴールグラフ指向要求分析法の支援のための統合ツール2009
- Author(s)
  佐伯元司, 林晋平, 海谷治彦
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  秋田大学
- Year and Date
  2009-05-21
- Data Source
  KAKENHI-PROJECT-20500027
[Presentation] So/M : A Requirements Definition Tool using Characteristics of Existing Similar Systems.2008
- Author(s)
  Naoyuki Kitazawa, Akira Osada, Kazuyuki Kamijo, Haruhiko Kaiya, Kenji Kaijiri
- Organizer
  In 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC2008), pp.255-262
- Place of Presentation
  Turku, Finland
- Data Source
  KAKENHI-PROJECT-20500032
[Presentation] モデルチェッカを用いた要求仕様の法令準拠性の検査2008
- Author(s)
  佐伯元司, 海谷治彦, 服部哲
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  高知工科大学
- Year and Date
  2008-12-18
- Data Source
  KAKENHI-PROJECT-20500027
[Presentation] モデルチェツカを用いた要求仕様の法令準拠性の検査2008
- Author(s)
  佐伯元司, 海谷治彦, 服部哲
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  高知工科大学
- Year and Date
  2008-12-18
- Data Source
  KAKENHI-PROJECT-20500027
[Presentation] The Role of Domain Knowledge Representation in Requirements Elicitation2007
- Author(s)
  Akira, Osada, Daigo, Ozawa, Haruhiko, Kaiya, Kenji, Kaijiri
- Organizer
  the 25th IASTED International Multi-Conference Software Engineering (SE2007)
- Place of Presentation
  Innsbruck, Austria
- Year and Date
  2007-02-12
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-18500020
[Presentation] The Role of Domain Knowledge Representation in Requirements Elicitation2007
- Author(s)
  Akira Osada, Daigo Ozawa, Haruhiko Kaiya, and Kenji Kaijiri
- Organizer
  Proc. of the 25th TASTED International Multi-Conference Software Engineering(SE2007),
- Place of Presentation
  Innsbruck, Austria
- Year and Date
  2007-02-12
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-18500020
[Presentation] An Integrated Tool For Supporting Ontology Driven Requirements Elicitation2007
- Author(s)
  Motohiro Kitamura, Ryo Hasegawa, Haruhiko Kaiya, and Motoshi Saeki
- Organizer
  2nd International Conference on Software and Data Technologies
- Place of Presentation
  バルセロナ
- Year and Date
  2007-07-05
- Data Source
  KAKENHI-PROJECT-18500020
[Presentation] Security Driven Requirements Refinement and Exploration of Architecture with multiple NFR points of view
- Author(s)
  Takao Okubo, Nobukazu Yoshioka and Haruhiko Kaiya
- Organizer
  15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014)
- Place of Presentation
  Miami, Florida, USA
- Data Source
  KAKENHI-PROJECT-24300011
[Presentation] Goal-Oriented Security Requirements Analysis for a System used in Several Different Activities
- Author(s)
  Haruhiko Kaiya, Takao Okubo, Nobuyuki Kanaya, Yuji Suzuki, Shinpei Ogata, Kenji Kaijiri and Nobukazu Yoshioka
- Organizer
  The Third International Workshop on Information Systems Security Engineering
- Place of Presentation
  Spain
- Data Source
  KAKENHI-PROJECT-24300011
[Presentation] Validating Security Design Pattern Applications Using Model Testing
- Author(s)
  Takanori Kobashi, Nobukazu Yoshioka, Takao Okubo, Haruhiko Kaiya, Hironori Washizaki,Yoshiaki Fukazawa
- Organizer
  2013 International Conference on Availability, Reliability and Security (ARES 2013)
- Place of Presentation
  University of Regensburg, Germany
- Data Source
  KAKENHI-PROJECT-24300011

1. SAEKI Motoshi (80162254)

# of Collaborated Projects: 8 results

# of Collaborated Products: 49 results
2. OHNISHI Atsushi (50160560)

# of Collaborated Projects: 4 results

# of Collaborated Products: 8 results
3. YOSHIOKA Nobukazu (20390601)

# of Collaborated Projects: 4 results

# of Collaborated Products: 36 results
4. WASHIZAKI Hironori (70350494)

# of Collaborated Projects: 4 results

# of Collaborated Products: 33 results
5. 大久保隆夫 (80417518)

# of Collaborated Projects: 4 results

# of Collaborated Products: 28 results
6. HAZEYAMA Atsuo (70313278)

# of Collaborated Projects: 3 results

# of Collaborated Products: 24 results
7. OCHIMIZU Koichiro (10022310)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. CHUUSHO Takeshi (70257129)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. HASHIMOTO Masaaki (20253560)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. NAKATANI Takako (30431662)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
11. HAYASHI Shinpei (40541975)

# of Collaborated Projects: 2 results

# of Collaborated Products: 13 results
12. HIROTA Toyohiko (00144402)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. SHIROGANE Junko (00329161)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. AMAN Hirohisa (50333513)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. MURAKOSHI Hiroyuki (60313706)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. SHINODA Youichi (50206108)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. KOMIYA Seiichi (60338308)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
18. 田中穂積 (80163567)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. 小形真平 (10589279)

# of Collaborated Projects: 1 results

# of Collaborated Products: 11 results
20. 本田澄 (40732938)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. 坂本一憲 (60609139)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. 橋浦弘明 (20597083)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
23. KATO Junzo

# of Collaborated Projects: 1 results

# of Collaborated Products: 14 results
24. YAMAMOTO Shuichiro

# of Collaborated Projects: 1 results

# of Collaborated Products: 14 results
25. Fernandez Eduardo

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
26. Yu Yijun

# of Collaborated Projects: 1 results

# of Collaborated Products: 6 results
27. Nuseibeh Bashar

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. SAITO Masahito

# of Collaborated Projects: 0 results

# of Collaborated Products: 2 results

KAIYA HARUHIKO 海谷 治彦

KAIYA Haruhiko 海谷 治彦

海谷 治彦 カイヤ ハルヒコ

Research Projects

Research Products

Co-Researchers

実行ログ解析による連携可能な情報システム群の発見法と支援ツール開発Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Methods and tools for requirements evolution encouraging mutual contribution among several activitiesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

System development for the requirements elicitation using goal dependency models and metricsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A supporting system for predicting vulnerabilities and their countermeasures of an information system during requirements analysisPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A spectrum analysis method for validating software quality requirements and for confirming their inheritancePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Requirements definition methane-sad on comparison among existing systems and kncwkdge ofStakeholdersPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

KAIYA HARUHIKO 海谷治彦

KAIYA Haruhiko 海谷治彦

海谷治彦カイヤハルヒコ