| 2007 |
|---|
| 7 | EE | Kedian Mu,
Zhi Jin:
Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements.
FORTE 2007: 296-308 |
| 6 | EE | Kedian Mu,
Weiru Liu,
Zhi Jin,
Ruqian Lu,
Anbu Yue,
David A. Bell:
A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements.
KSEM 2007: 103-114 |
| 5 | EE | Kedian Mu,
Zhi Jin,
Ruqian Lu,
Yan Peng:
Handling non-canonical software requirements based on Annotated Predicate Calculus.
Knowl. Inf. Syst. 11(1): 85-104 (2007) |
| 2006 |
|---|
| 4 | EE | Kedian Mu,
Zuoquan Lin,
Zhi Jin,
Ruqian Lu:
Reasoning About Hybrid Probabilistic Knowledge Bases.
PRICAI 2006: 130-139 |
| 2005 |
|---|
| 3 | EE | Kedian Mu,
Zhi Jin,
Ruqian Lu:
Inconsistency-Based Strategy for Clarifying Vague Software Requirements.
Australian Conference on Artificial Intelligence 2005: 39-48 |
| 2 | EE | Kedian Mu,
Zhi Jin,
Ruqian Lu,
Weiru Liu:
Measuring Inconsistency in Requirements Specifications.
ECSQARU 2005: 440-451 |
| 1 | | Kedian Mu,
Zhi Jin,
Ruqian Lu:
A Logical Approach for Testing Requirements.
IASTED Conf. on Software Engineering 2005: 408-413 |
