CSpace

Browse/Search Results:  1-4 of 4 Help

Filters        
Selected(0)Clear Items/Page:    Sort:
Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging 期刊论文
FUNDAMENTA INFORMATICAE, 2009, 卷号: 91, 期号: 3-4, 页码: 631-670
Authors:  Mu, Kedian;  Jin, Zhi;  Yue, Anbu;  Liu, Weiru;  Lu, Ruqian;  Bell, David
Favorite  |  View/Download:5/0  |  Submit date:2018/07/30
Inconsistency  Requirements Engineering  Prioritized Merging  Local Prioritization  
Handling non-canonical software requirements based on Annotated Predicate Calculus 期刊论文
KNOWLEDGE AND INFORMATION SYSTEMS, 2007, 卷号: 11, 期号: 1, 页码: 85-104
Authors:  Mu, Kedian;  Jin, Zhi;  Lu, Ruqian;  Peng, Yan
Favorite  |  View/Download:7/0  |  Submit date:2018/07/30
software requirements  inconsistency  redundancy  incompleteness  vagueness  paraconsistent logic  
Beyond knowledge engineering 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2006, 卷号: 21, 期号: 5, 页码: 790-799
Authors:  Lu, Ru-Qian;  Jin, Zhi
Favorite  |  View/Download:2/0  |  Submit date:2018/07/30
knowledge engineering  knowware  knowware engineering  knowledge middleware  domain knowware  
Reasoning about hybrid probabilistic knowledge bases 期刊论文
PRICAI 2006: TRENDS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 卷号: 4099, 页码: 130-139
Authors:  Mu, Kedian;  Lin, Zuoquan;  Jin, Zhi;  Lu, Ruqian
Favorite  |  View/Download:4/0  |  Submit date:2018/07/30