Inconsistency-based strategy for clarifying vague software requirements

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

Volumn 3809 LNAI, Issue , 2005, Pages 39-48

  Mu, Kedian ^a   Jin, Zhi ^a,b   Lu, Ruqian ^a,b  

^a INSTITUTE OF COMPUTING TECHNOLOGY   (China)

^b CHINESE ACADEMY OF SCIENCES   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; CUSTOMER SATISFACTION; INFORMATION ANALYSIS; INFORMATION TECHNOLOGY;

ANNOTATED PREDICATE CALCULUS; INCONSISTENCY-BASED STRATEGY; SEMILATTICE;

SOFTWARE ENGINEERING;

EID: 33745619595     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11589990_7     Document Type: Conference Paper

References (9)

1. Spanoudakis, G., A.Finkelstein: Reconciling requirements: a method for managing interference, inconsistency and conflict. Annals of Software Engineering 3 (1997) 433-457
2. Spanoudakis, G., A.Zisman: Inconsistency management in software engineering: Survey and open research issues. In S.K.Chang, ed.: Handbook of Software Engineering and Knowledge Engineering. World Scientific Publishing Co. (2001) 329-380
3. Hunter, A., B.Nuseibeh: Managing inconsistent specification. ACM Transactions on Software Engineering and Methodology 7 (1998) 335-367
4. Lamsweerde, A., E.Letier: Handling obstacles in goal-driven requirements engineering. IEEE Transactions on Software Engineering 26 (2000) 978-1005
5. Bowman, H., M.Steen, E.Boiten, J.Derrick: A formal framework for viewpoint consistency. Formal Methods in System Design 21 (2002) 111-166
6. Easterbrook, S., M.Chechik: 2nd international workshop on living with inconsistency. Software Engineering Notes 26 (2001) 76-78
7. Easterbrook, S., M.Chechik: A framework for multi-valued reasoning over inconsistent viewpoints. In Harrold, M., Schafer, W., Muller, H., eds.: Proceedings of International Conference on Software Engineering (ICSE'01), Toronto, Canada (2001) 411-420
8. Chechik, M., Devereux, B., S.Easterbrook: Efficient multiple-valued model-checking using lattice representations. In Larsen, K.G., Nielsen, M., eds.: Proceedings of the International Conference on Concurrency Theory. Volume 2154 of LNCS., Aalborg, Denmark, Springer (2001) 21-24
9. Kifer, M., Lozinskii, E.L.: A logic for reasoning with inconsistency. Journal of Automated Reasoning 9 (1992) 179-215