Institute of Computing Technology, Chinese Academy IR
Inconsistency-based strategy for clarifying vague software requirements | |
Mu, KD; Jin, Z; Lu, RQ | |
2005 | |
发表期刊 | AI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE |
ISSN | 0302-9743 |
卷号 | 3809页码:39-48 |
摘要 | It seems to be inevitable to confront vague information about Customer's needs during the software requirements stage. It may be desirable to record and clarify the vague information to avoid missing real requirements. In this paper, we provide an in consistency-based strategy to handle vague information in the framework of Annotated Predicate Calculus. This strategy permits the stakeholder to describe the different vague information using statements with different levels of belief, where each level of belief is determined by the degree of vagueness. By checking consistency of the union of vague requirements and clear requirements, we then heighten the level of belief in uncontroversial vague requirements. We also lower the levels of belief in requirements involved in undesirable inferences and leave them to be articulated in some following stage. To support this, Annotated Predicate Calculus is used to represent the requirements specification. In particular, we present a special belief semilattice, which defines truth values appropriate for representing the strength of analyst's belief in the truth of requirements statements. |
收录类别 | SCI |
语种 | 英语 |
WOS研究方向 | Computer Science |
WOS类目 | Computer Science, Artificial Intelligence |
WOS记录号 | WOS:000235836100007 |
出版者 | SPRINGER-VERLAG BERLIN |
引用统计 | |
文献类型 | 期刊论文 |
条目标识符 | http://119.78.100.204/handle/2XEOYT63/10217 |
专题 | 中国科学院计算技术研究所期刊论文_英文 |
通讯作者 | Mu, KD |
作者单位 | 1.Chinese Acad Sci, Inst Comp Technol, Beijing 100080, Peoples R China 2.Chinese Acad Sci, Acad Math & Syst Sci, Beijing 100080, Peoples R China |
推荐引用方式 GB/T 7714 | Mu, KD,Jin, Z,Lu, RQ. Inconsistency-based strategy for clarifying vague software requirements[J]. AI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE,2005,3809:39-48. |
APA | Mu, KD,Jin, Z,&Lu, RQ.(2005).Inconsistency-based strategy for clarifying vague software requirements.AI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE,3809,39-48. |
MLA | Mu, KD,et al."Inconsistency-based strategy for clarifying vague software requirements".AI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE 3809(2005):39-48. |
条目包含的文件 | 条目无相关文件。 |
个性服务 |
推荐该条目 |
保存到收藏夹 |
查看访问统计 |
导出为Endnote文件 |
谷歌学术 |
谷歌学术中相似的文章 |
[Mu, KD]的文章 |
[Jin, Z]的文章 |
[Lu, RQ]的文章 |
百度学术 |
百度学术中相似的文章 |
[Mu, KD]的文章 |
[Jin, Z]的文章 |
[Lu, RQ]的文章 |
必应学术 |
必应学术中相似的文章 |
[Mu, KD]的文章 |
[Jin, Z]的文章 |
[Lu, RQ]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论