| 講演名 | 2011-09-21 要求オントロジーを用いた要求仕様の検証手法 近藤 剛生, 大西 淳, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | あるドメインに属するシステムの(1)機能要求と(2)機能要求の属性(4W1H情報,非機能要求),(3)機能要求間の関係(集約,汎化,相補,補足,排他)並びに(4)システムが利用するデータとその構造をそのシステムに関する知識と見なし,予め要求オントロジーとして格納し,当該システムの要求仕様と要求オントロジーの整合性を調べることによって要求仕様の正しさを検証する手法を紹介する. |
| 抄録(英) | We regard "(1) functional requirements of a certain system, (2) attributes of the functional requirements including (2a) 4W1H (Who, where, when, why and how) information and (2b) non-functional requirements, (3) relations between the functional requirements such as aggregation, inheritance, complementarity, supplement, and exclusion, and (4) data structure used by the system" as knowledge of the system and provide them as a requirements ontology of the system By comparing a software requirements specification of the system and the requirements ontology, we verify the correctness of the requirements specification. The proposed method will be illustrated with examples. |
| キーワード(和) | 要求仕様の正当性検証 / 要求オントロジー / 要求定義支援 |
| キーワード(英) | Verification of the correctness of software requirements specification / Requirements Ontology / Supporting method of requirements definition |
| 資料番号 | KBSE2011-29 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2011/9/14(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 要求オントロジーを用いた要求仕様の検証手法 |
| サブタイトル（和） | |
| タイトル（英） | A Verification Method of Software Requirements Specification using Requirements Ontology |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 要求仕様の正当性検証 / Verification of the correctness of software requirements specification |
| キーワード(2)（和/英） | 要求オントロジー / Requirements Ontology |
| キーワード(3)（和/英） | 要求定義支援 / Supporting method of requirements definition |
| 第 1 著者 氏名（和/英） | 近藤 剛生 / Takeo Kondo |
| 第 1 著者 所属（和/英） | 立命館大学大学院理工学研究科情報理工学専攻 Graduate School of Science and Engineering, Ritsumeikan University |
| 第 2 著者 氏名（和/英） | 大西 淳 / Atsushi OHNISHI |
| 第 2 著者 所属（和/英） | 立命館大学大学院理工学研究科情報理工学専攻,情報理工学部情報システム学科 Graduate School of Science and Engineering, Department of Computer Science, Ritsumeikan University |
| 発表年月日 | 2011-09-21 |
| 資料番号 | KBSE2011-29 |
| 巻番号（vol） | vol.111 |
| 号番号（no） | 211 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |