Measuring inconsistency in requirements specifications
文献类型：期刊论文
| 作者 | Mu, KD; Jin, Z; Lu, RQ; Liu, WR |
| 刊名 | SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS
 |
| 出版日期 | 2005 |
| 卷号 | 3571页码:440-451 |
| ISSN号 | 0302-9743 |
| 英文摘要 | In the field of requirements engineering, measuring inconsistency is crucial to effective inconsistency management. A practical measure must consider both the degree and significance of inconsistency in specification. The main contribution of this paper is providing an approach for measuring inconsistent specification in terms of the priority-based scoring vector, which integrates the measure of the degree of inconsistency with the measure of the significance of inconsistency. In detail, for each specification Delta that consists of a set of requirements statements, if L is a m-level priority set, we define a m-dimensional priority-based significance vector (V) over right arrow to measure the significance of the inconsistency in Delta.. Furthermore, a priority-based scoring vector (S) over right arrow (P): -> P(Delta) -> Nm+1 has been defined to provide an ordering relation over specifications that describes which specification is "more essentially inconsistent than" others. |
| WOS研究方向 | Computer Science |
| 语种 | 英语 |
| WOS记录号 | WOS:000230770500038 |
| 出版者 | SPRINGER-VERLAG BERLIN |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/9951]  |
| 专题 | 中国科学院计算技术研究所期刊论文_英文 |
| 通讯作者 | Mu, KD |
| 作者单位 | 1.Queens Univ Belfast, Sch Comp Sci, Belfast BT7 1NN, Antrim, North Ireland 2.Chinese Acad Sci, Inst Comp Technol, Beijing 100080, Peoples R China 3.Chinese Acad Sci, MADIS, Acad Math & Syst Sci, Beijing 100080, Peoples R China |
| 推荐引用方式 GB/T 7714 | Mu, KD,Jin, Z,Lu, RQ,et al. Measuring inconsistency in requirements specifications[J]. SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS,2005,3571:440-451. |
| APA | Mu, KD,Jin, Z,Lu, RQ,&Liu, WR.(2005).Measuring inconsistency in requirements specifications.SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS,3571,440-451. |
| MLA | Mu, KD,et al."Measuring inconsistency in requirements specifications".SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS 3571(2005):440-451. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。