中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
  2. 数学与系统科学研究院
  3. 中国科学院数学与系统科学研究院
Handling non-canonical software requirements based on Annotated Predicate Calculus

文献类型：期刊论文

作者Mu, Kedian; Jin, Zhi; Lu, Ruqian; Peng, Yan
刊名KNOWLEDGE AND INFORMATION SYSTEMS
出版日期2007
卷号11期号:1页码:85-104
关键词software requirements inconsistency redundancy incompleteness vagueness paraconsistent logic
ISSN号0219-1377
DOI10.1007/s10115-06-0021-y
英文摘要Eliciting requirements for a proposed system inevitably involves the problem of handling undesirable information about customer's needs, including inconsistency, vagueness, redundancy, or incompleteness. We term the requirements statements involved in the undesirable information non-canonical software requirements. In this paper, we propose an approach to handling non-canonical software requirements based on Annotated Predicate Calculus (APC). Informally, by defining a special belief lattice appropriate for representing the stakeholder's belief in requirements statements, we construct a new form of APC to formalize requirements specifications. We then show how the APC can be employed to characterize non-canonical requirements. Finally, we show how the approach can be used to handle non-canonical requirements through a case study.
WOS研究方向Computer Science
语种英语
WOS记录号WOS:000243390700004
出版者SPRINGER LONDON LTD
源URL[http://ir.amss.ac.cn/handle/2S8OKBNM/4058]  
专题中国科学院数学与系统科学研究院
通讯作者Mu, Kedian
作者单位1.Peking Univ, Sch Math Sci, Beijing 100871, Peoples R China
2.Chinese Acad Sci, Acad Math & Syst Sci, Beijing 100080, Peoples R China
3.Chinese Acad Sci, Grad Sch, Coll Software Engn, Beijing 100049, Peoples R China
推荐引用方式
GB/T 7714		 Mu, Kedian,Jin, Zhi,Lu, Ruqian,et al. Handling non-canonical software requirements based on Annotated Predicate Calculus[J]. KNOWLEDGE AND INFORMATION SYSTEMS,2007,11(1):85-104.
APA Mu, Kedian,Jin, Zhi,Lu, Ruqian,&Peng, Yan.(2007).Handling non-canonical software requirements based on Annotated Predicate Calculus.KNOWLEDGE AND INFORMATION SYSTEMS,11(1),85-104.
MLA Mu, Kedian,et al."Handling non-canonical software requirements based on Annotated Predicate Calculus".KNOWLEDGE AND INFORMATION SYSTEMS 11.1(2007):85-104.

入库方式： OAI收割

来源：数学与系统科学研究院

浏览0
下载0
收藏0
其他版本

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。