| 研究課題/領域番号 |
20500027
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
ソフトウエア
|
|---|
| 研究機関 | 東京工業大学 |
|---|
研究代表者 |
佐伯 元司 東京工業大学, 大学院・情報理工学研究科, 教授 (80162254)
|
|---|
| 研究協力者 |
海谷 治彦 信州大学, 工学部, 准教授 (30262596)
林 晋平 東京工業大学, 大学院・情報理工学研究科, 助教 (40541975)
|
|---|
| 研究期間 (年度) |
2008 – 2010
|
| 研究課題ステータス |
完了 (2010年度)
|
| 配分額 *注記 |
4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2010年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2009年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2008年度: 2,210千円 (直接経費: 1,700千円、間接経費: 510千円)
|
|---|
| キーワード | 仕様記述・仕様検証 / 要求獲得 / ゴール指向分析法 / 格フレーム / コモンクライテリア / 法令 / オントロジ / セマンティック要求工学 / 状態遷移モデル / ユースケース / モデルチェッカ |
|---|
| 研究概要 |
本研究では,法令や規則に遵守したビジネスプロセスや情報システムを開発するために,その要求獲得段階において,法令や規則に合致した要求を獲得するようにコンピュータでガイドする手法,完成した要求仕様書が法令や規則を遵守しているかどうかをチェックし,違反している場合はどの箇所が違反の原因となっているかを開発者に提示する手法を開発した.これらの手法に基づいて,開発者を支援するためのコンピュータツールを開発した.
|
