• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

セマンティック要求工学の研究

研究課題

研究課題/領域番号 23500036
研究種目

基盤研究(C)

配分区分基金
応募区分一般
研究分野 ソフトウエア
研究機関東京工業大学

研究代表者

佐伯 元司  東京工業大学, 情報理工学(系)研究科, 教授 (80162254)

研究協力者 海谷 治彦  信州大学, 工学部, 准教授 (30262596)
林 晋平  東京工業大学, 大学院・情報理工学研究科, 助教 (40541975)
研究期間 (年度) 2011 – 2013
研究課題ステータス 完了 (2013年度)
配分額 *注記
4,940千円 (直接経費: 3,800千円、間接経費: 1,140千円)
2013年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2012年度: 1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
2011年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
キーワード要求工学 / オントロジ / ゴール指向要求分析法 / リポジトリ
研究概要

本研究では,要求分析プロセスにおいて,要求の意味をオントロジへのマッピングによって与え,プロセス全体を通して要求の意味処理までを扱う自動化技術の基盤を開発することにより,高品質な要求仕様書を効率的に作り管理する技術の開発を行った.オントロジ表現を格フレームで表し,要求文から格フレームとフレーム間の関係へ変換するツール,格フレーム表現から状態遷移モデルを導出し,モデル検査器を使って各種の性質を検証するツール,あいまい性などの要求記述の品質評価を行うツール,オントロジでタグ付けされたシナリオ記述から脅威の存在を推論するツールなどを開発し,その評価を行った.

報告書

(4件)
  • 2013 実績報告書   研究成果報告書 ( PDF )
  • 2012 実施状況報告書
  • 2011 実施状況報告書
  • 研究成果

    (30件)

すべて 2014 2013 2012 2011 その他

すべて 雑誌論文 (13件) (うち査読あり 13件) 学会発表 (16件) 備考 (1件)

  • [雑誌論文] 属性つきゴールグラフにおけるゴールの品質特性2014

    • 著者名/発表者名
      鵜飼孝典, 林 晋平, 佐伯元司
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.55, No.2 ページ: 893-908

    • NAID

      110009665000

    • URL

      http://id.nii.ac.jp/1001/00098488/

    • 関連する報告書
      2013 研究成果報告書
    • 査読あり
  • [雑誌論文] 属性つきゴールグラフにおけるゴールの品質特性2014

    • 著者名/発表者名
      鵜飼 孝典, 林 晋平, 佐伯 元司
    • 雑誌名

      情報処理学会論文誌

      巻: 55 ページ: 893-908

    • NAID

      110009665000

    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [雑誌論文] Modeling Security Threat Patterns to Derive Negative Scenarios2013

    • 著者名/発表者名
      Tatsuya Abe, Shinpei Hayashi, Motoshi Saeki
    • 雑誌名

      Proceedings of the 20th Asia-Pacific Software Engineering Conference (APSEC 2013)

      ページ: 58-66

    • DOI

      10.1109/apsec.2013.19

    • 関連する報告書
      2013 実績報告書 2013 研究成果報告書
    • 査読あり
  • [雑誌論文] Enhancing Goal-Oriented Security Requirements Analysis Using Common Criteria-Based Knowledge2013

    • 著者名/発表者名
      Motoshi Saeki, Shinpei Hayashi, Haruhiko Kaiya
    • 雑誌名

      International Journal of Software Engineering and Knowledge Engineering

      巻: vol.23, no.5 号: 05 ページ: 495-509

    • DOI

      10.1142/s0218194013500174

    • 関連する報告書
      2013 実績報告書 2013 研究成果報告書 2012 実施状況報告書
    • 査読あり
  • [雑誌論文] Model Transformation Patterns for Introducing Suitable Information Systems2012

    • 著者名/発表者名
      Haruhiko Kaiya, Shunsuke Morita, Shinpei Ogata, Kenji Kaijiri, Shinpei Hayashi, Motoshi Saeki
    • 雑誌名

      Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC 2012)

      ページ: 434-439

    • DOI

      10.1109/apsec.2012.52

    • 関連する報告書
      2013 研究成果報告書 2012 実施状況報告書
    • 査読あり
  • [雑誌論文] Facilitating Business Improvement by Information Systems using Model Transformation and Metrics2012

    • 著者名/発表者名
      Haruhiko Kaiya, Shunsuke Morita, Kenji Kaijiri, Shinpei Hayashi, Motoshi Saeki
    • 雑誌名

      Proceedings of the CAiSE'12 Forum at the 24th International Conference on Advanced Information Systems Engineering (CAiSE 2012)

      ページ: 106-113

    • URL

      http://ceur-ws.org/Vol-855/paper13.pdf

    • 関連する報告書
      2013 研究成果報告書 2012 実施状況報告書
    • 査読あり
  • [雑誌論文] 要求獲得におけるステークホルダの偏りと不足を検出する可視化ツール2012

    • 著者名/発表者名
      鵜飼孝典, 林 晋平, 佐伯元司
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.53, No.4 ページ: 1448-1460

    • NAID

      110009423603

    • URL

      http://id.nii.ac.jp/1001/00081787/

    • 関連する報告書
      2013 研究成果報告書
    • 査読あり
  • [雑誌論文] Impact Analysis on an Attributed Goal Graph2012

    • 著者名/発表者名
      Shinpei Hayashi, Daisuke Tanabe, Haruhiko, Kaiya, Motoshi Saeki
    • 雑誌名

      IEICE Transactions on Information and Systems (電子情報通信学会英文論文誌)

      巻: E95-D, No.4 ページ: 1012-1020

    • NAID

      10030941982

    • URL

      http://search.ieice.org/bin/summary.php?id=e95-d_4_1012

    • 関連する報告書
      2013 研究成果報告書
    • 査読あり
  • [雑誌論文] 要求獲得のためのオントロジをWeb マイニングにより拡充する手法の提案と評価2012

    • 著者名/発表者名
      海谷治彦, 清水悠太郎, 安井浩貴, 海尻賢二, 林 晋平, 佐伯元司
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.53, No.2 ページ: 495-509

    • NAID

      110008767155

    • URL

      http://id.nii.ac.jp/1001/00080661/

    • 関連する報告書
      2013 研究成果報告書
    • 査読あり
  • [雑誌論文] Impact Analysis on an Attributed Goal Graph2012

    • 著者名/発表者名
      Shinpei Hayashi, Daisuke Tanabe, Haruhiko Kaiya, Motoshi Saeki
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E95-D ページ: 1012-1020

    • NAID

      10030941982

    • 関連する報告書
      2012 実施状況報告書
    • 査読あり
  • [雑誌論文] 要求獲得におけるステークホルダの偏りと不足を検出する可視化ツール2012

    • 著者名/発表者名
      鵜飼 孝典, 林 晋平, 佐伯 元司
    • 雑誌名

      情報処理学会論文誌

      巻: 53 ページ: 1448-1460

    • NAID

      110009423603

    • 関連する報告書
      2012 実施状況報告書 2011 実施状況報告書
    • 査読あり
  • [雑誌論文] Impact Analysis on an Attributed Goal Graph2012

    • 著者名/発表者名
      Shinpei Hayashi, Daisuke Tanabe, Haruhiko Kaiya, Motoshi Saeki
    • 雑誌名

      IEICE Transactions on Information and Systems (電子情報通信学会英文論文誌)

      巻: E95-D, No. 4 ページ: 1012-1020

    • NAID

      10030941982

    • 関連する報告書
      2011 実施状況報告書
    • 査読あり
  • [雑誌論文] 要求獲得のためのオントロジをWebマイニングにより拡充する手法の提案と評価2012

    • 著者名/発表者名
      海谷 治彦, 清水 悠太郎, 安井 浩貴, 海尻 賢二, 林 晋平, 佐伯 元司
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.53, No.2 ページ: 495-509

    • NAID

      110008767155

    • 関連する報告書
      2011 実施状況報告書
    • 査読あり
  • [学会発表] ユースケース記述の検査のための自然言語要求文の解析2014

    • 著者名/発表者名
      中村 遼太郎, 林 晋平, 佐伯 元司
    • 学会等名
      電子情報通信学会技術研究報告
    • URL

      http://www.ieice.org/ken/paper/201403115BMc/

    • 発表場所
      那覇
    • 関連する報告書
      2013 実績報告書 2013 研究成果報告書
  • [学会発表] Problem Frame + ゴール指向2014

    • 著者名/発表者名
      佐伯元司
    • 学会等名
      情報処理学会ソフトウェア工学研究会要求工学ワーキンググループ
    • 発表場所
      対馬
    • 関連する報告書
      2013 実績報告書 2013 研究成果報告書
  • [学会発表] 要求獲得の「見える」化2013

    • 著者名/発表者名
      佐伯元司
    • 学会等名
      情報処理学会ソフトウェア工学研究会要求工学ワーキンググループ
    • 発表場所
      紀伊勝浦
    • 関連する報告書
      2013 実績報告書 2013 研究成果報告書
  • [学会発表] 要求の多次元的な意味づけ2013

    • 著者名/発表者名
      佐伯元司
    • 学会等名
      情報処理学会ソフトウェア工学研究会要求工学ワーキンググループ
    • 発表場所
      高山
    • 関連する報告書
      2013 実績報告書 2013 研究成果報告書
  • [学会発表] シーケンス図のパターンに基づくセキュリティ脅威の検出法2013

    • 著者名/発表者名
      阿部 達也, 林 晋平, 佐伯 元司
    • 学会等名
      電子情報通信学会技術研究報告
    • URL

      http://www.ieice.org/ken/paper/20130509QB3l

    • 発表場所
      香川大学
    • 関連する報告書
      2013 実績報告書 2013 研究成果報告書
  • [学会発表] 要求構造明確化のためのゴールグラフの多次元拡張2013

    • 著者名/発表者名
      井上 渉, 林 晋平, 鵜飼 孝典, 佐伯 元司
    • 学会等名
      電子情報通信学会技術研究報告
    • URL

      http://www.ieice.org/ken/paper/201303148BcS/

    • 発表場所
      芝浦工業大学, 東京
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] 構文と文章構造に基づく要求仕様書の問題点発見支援2013

    • 著者名/発表者名
      有賀 顕, 林 晋平, 佐伯 元司
    • 学会等名
      情報処理学会ソフトウェア工学研究会
    • 発表場所
      化学会館, 東京
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] 要求構造明確化のためのゴールグラフの多次元拡張2013

    • 著者名/発表者名
      井上 渉, 林 晋平, 鵜飼 孝典, 佐伯 元司
    • 学会等名
      電子情報通信学会技術研究報告
    • 発表場所
      芝浦工業大学,東京
    • 関連する報告書
      2012 実施状況報告書
  • [学会発表] 構文と文章構造に基づく要求仕様書の問題点発見支援2013

    • 著者名/発表者名
      有賀 顕, 林 晋平, 佐伯 元司
    • 学会等名
      情報処理学会研究報告
    • 発表場所
      化学会館,東京
    • 関連する報告書
      2012 実施状況報告書
  • [学会発表] AGORA ゴール指向分析法支援ツール2012

    • 著者名/発表者名
      佐伯元司
    • 学会等名
      情報処理学会ソフトウェア工学研究会要求工学ワーキンググループ
    • 発表場所
      広島
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] ゴール指向分析法とミスユースケース法の融合2012

    • 著者名/発表者名
      佐伯元司
    • 学会等名
      情報処理学会ソフトウェア工学研究会要求工学ワーキンググループ
    • 発表場所
      宮城県松島町
    • 関連する報告書
      2013 研究成果報告書 2012 実施状況報告書
  • [学会発表] セキュリティ要求獲得法 : ゴール指向+ミスユースケース2012

    • 著者名/発表者名
      佐伯元司
    • 学会等名
      情報処理学会ソフトウェア工学研究会要求工学ワーキンググループ
    • 発表場所
      北海道江別市 北海道情報大
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] AGORAゴール指向分析法支援ツール2012

    • 著者名/発表者名
      佐伯元司
    • 学会等名
      情報処理学会ソフトウェア工学研究会要求工学ワーキンググループ
    • 発表場所
      広島
    • 関連する報告書
      2012 実施状況報告書
  • [学会発表] セキュリティ要求獲得法:ゴール指向+ミスユースケース2012

    • 著者名/発表者名
      佐伯元司
    • 学会等名
      情報処理学会ソフトウェア工学研究会要求工学ワーキンググループ
    • 発表場所
      北海道江別市 北海道情報大
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] 要求のセマンティックな側面に基づく変更管理2011

    • 著者名/発表者名
      佐伯元司
    • 学会等名
      情報処理学会ソフトウェア工学研究会要求工学ワーキンググループ
    • 発表場所
      広島県福山市鞆シーサイドホテル
    • 関連する報告書
      2013 研究成果報告書 2011 実施状況報告書
  • [学会発表] セマンティック要求工学の概要2011

    • 著者名/発表者名
      佐伯元司
    • 学会等名
      情報処理学会ソフトウェア工学研究会要求工学ワーキンググループ
    • 発表場所
      香川県小豆島町小豆島シーサイドホテル松風
    • 関連する報告書
      2013 研究成果報告書 2011 実施状況報告書
  • [備考]

    • URL

      http://www.se.cs.titech.ac.jp/research/agora/

    • 関連する報告書
      2013 研究成果報告書

URL: 

公開日: 2011-08-05   更新日: 2019-07-29  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi