| Item type |
JInfP(1) |
| 公開日 |
1985-02-05 |
| タイトル |
|
|
タイトル |
A Verification Method for Formal Requirements Description |
| タイトル |
|
|
言語 |
en |
|
タイトル |
A Verification Method for Formal Requirements Description |
| 言語 |
|
|
言語 |
eng |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
（IPSJ Best Paper Award、論文賞受賞） |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
journal article |
| 著者所属 |
|
|
|
Department of Information Science Kyoto University. |
| 著者所属 |
|
|
|
Department of Information Science Kyoto University. |
| 著者所属 |
|
|
|
Department of Information Science Kyoto University. |
| 著者所属(英) |
|
|
|
en |
|
|
Department of Information Science, Kyoto University. |
| 著者所属(英) |
|
|
|
en |
|
|
Department of Information Science, Kyoto University. |
| 著者所属(英) |
|
|
|
en |
|
|
Department of Information Science, Kyoto University. |
| 著者名 |
Kiyoshi, Agusa
Atsushi, Ohnishi
Yutaka, Ohno
|
| 著者名(英) |
Kiyoshi, Agusa
Atsushi, Ohnishi
Yutaka, Ohno
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
A verification method for a requirements description is proposed. For successful software development correct consistent and clear descriptions of requirements are indispensable. Many systems supporting the activities of requirements analysis description and management have been proposed and developed. They however afford only restricted analytic power because of the limited semantic analysis abilities. That is the flexibility and adaptability of a requirements description is obtained by a simple language structure and a certain part of meaning of the description depends on the meaning of a proper label used in the description. To provide all knowledge about a target system required for semantic analysis may not be feasible since diversified applications of a computer system brings many kinds of terms and concepts into a requirements description. Our approach is to imply users to express their experiences and intentions about a target system as assertions. In this paper we first give a formal model of a requirements description and show how to verify requirements descriptions. Next we present several types of verification procedures. They are feasibility check consistency check and traceability check. |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
A verification method for a requirements description is proposed. For successful software development, correct, consistent and clear descriptions of requirements are indispensable. Many systems supporting the activities of requirements analysis, description, and management have been proposed and developed. They, however, afford only restricted analytic power, because of the limited semantic analysis abilities. That is, the flexibility and adaptability of a requirements description is obtained by a simple language structure and a certain part of meaning of the description depends on the meaning of a proper label used in the description. To provide all knowledge about a target system required for semantic analysis may not be feasible, since diversified applications of a computer system brings many kinds of terms and concepts into a requirements description. Our approach is to imply users to express their experiences and intentions about a target system as assertions. In this paper, we, first, give a formal model of a requirements description, and show how to verify requirements descriptions. Next, we present several types of verification procedures. They are feasibility check, consistency check and traceability check. |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA00700121 |
| 書誌情報 |
Journal of Information Processing
巻 7,
号 4,
p. 223-229,
発行日 1985-02-05
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
1882-6652 |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-JIP0704001 (852.0 kB)
