Measuring inconsistency in requirements specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3571 LNAI, Issue , 2005, Pages 440-451

  Mu, Kedian ^a   Jin, Zhi ^a,b   Lu, Ruqian ^a,b   Liu, Weiru ^c  

^a INSTITUTE OF COMPUTING TECHNOLOGY   (China)

^b CHINESE ACADEMY OF SCIENCES   (China)

^c QUEEN'S UNIVERSITY BELFAST   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION MANAGEMENT; REQUIREMENTS ENGINEERING; SET THEORY; VECTORS;

INCONSISTENCY MANAGEMENT; PRIORITY-BASED SCORING VECTOR; REQUIREMENTS SPECIFICATIONS;

SPECIFICATIONS;

EID: 26944498243     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11518655_38     Document Type: Conference Paper

References (14)

1. Nuseibeh, B., Easterbrook, S., Russo, A.: Leveraging inconsistency in software development. IEEE Computer 33 (2000) 24-29
2. Nuseibeh, B., S.Easterbrook, A.Russo: Making inconsistency respectable in software development. Journal of Systems and Software 58 (2001) 171-180
3. Easterbrook, S., M.Chechik: 2nd international workshop on living with inconsistency. Software Engineering Notes 26 (2001) 76-78
4. Hunter, A., B.Nuseibeh: Managing inconsistent specification. ACM Transactions on Software Engineering and Methodology 7 (1998) 335-367
5. A.Hunter: Evaluating the signicance of inconsistency. In: Proceedings of the International Joint Conference on AI (IJCAI'03). (2003) 468-473
6. Wiegers, K.E.: Software Requirements, 2nd ed. Microsoft Press (2003)
7. 830-1998, I.S.: IEEE Recommended Practice for Software Requirements Specifications. Los Alamitos, CA:IEEE Computer Society Press (1998)
8. A.Hunter: Logical comparison of inconsistent perspectives using scoring functions. Knowledge and Information Systems Journal 6 (2004) 528-543
9. Hunter, A., Konieczny, S.: Approaches to measuring inconsistent information. In: Inconsistency Tolerance,LNCS. Volume 3300. Springer-Verlag (2004) 189-234
10. Hunter, A.: Measuring inconsistency in knowledge via quasi-classical models. In: Proceedings of the 18th National Conference on Artificial Intelligence (AAAI'2002), MIT Press (2002) 68-73
11. D.Dubois, Lang, J., Prade, H.: Possibilistic logic. In: Handbook of logic in artificial intelligence and logic programming. Oxford University Press (1994) 439-531
12. S.Benferhat, D.Dubois, S., H.Prade: Encoding information fusion in possibilistic logic:a general framework for rational syntactic merging. In: Proceedings of ECAI'2000, IOS Press (2000) 3-7
13. S. Konieczny, Lang, J., P.Marquis: Quantifying information and contradiction in propositional logic through test actions. In: Proceedings of IJCAI2003, Morgan Kaufmann (2003) 106-111
14. K.Wiegers: First things first:prioritizing requirements. Software Development 7 (1999) 48-53