Identifying acceptable common proposals for handling inconsistent software requirements

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

Volumn 4574 LNCS, Issue , 2007, Pages 296-308

  Mu, Kedian ^a   Jin, Zhi ^b  

^a PEKING UNIVERSITY   (China)

^b CHINESE ACADEMY OF SCIENCES   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL MATHEMATICS; DATA HANDLING; DISTRIBUTED COMPUTER SYSTEMS; INFORMATION MANAGEMENT; COMPUTERS;

HANDLING PROPOSALS; INCONSISTENCY HANDLING; HANDLING INCONSISTENCIES; INCONSISTENCY MANAGEMENT; REQUIREMENTS SPECIFICATIONS; SOFTWARE REQUIREMENTS;

COMPUTER SOFTWARE; ARTIFICIAL INTELLIGENCE;

EID: 38149110309     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73196-2_19     Document Type: Conference Paper

References (18)

1. Finkelsetin, A., Kramer, J., Nuseibeh, B., Finkelstein, L., Goedicke, M.: Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. International Journal of Software Engineering and Knowledge Engineering 2(1), 31-58 (1992)
2. Kotonya, G.I.: Sommerville: Viewpoints for requirements definition. IEE Software Eng.Journal 7, 375-387 (1992)
3. Andrade, J., Ares, J., Garcia, R., Pazos, J., Rodriguez, S., Silva, A.: A methodolog ical framework for viewpoint-oriented conceptual modeling. IEEE Trans. Softw. Eng. 30, 282-294 (2004)
4. Gervasi, V.D.: Zowghi: Reasoning about inconsistencies in natural language re quirements. ACM Transaction on Software Engineering and Methodologies 14, 277-330 (2005)
5. Hunter, A.B.: Nuseibeh: Managing inconsistent specification. ACM Transactions on Software Engineering and Methodology 7, 335-367 (1998)
6. Zowghi, D., Gervasi, V.: On the interplay between consistency, completeness, and correctness in requirements evolution. Information and Software Technology 45, 993-1009 (2003)
7. Nuseibeh, B., Easterbrook, S., Russo, A.: Leveraging inconsistency in software development. IEEE Computer 33, 24-29 (2000)
8. Nuseibeh, B.S., Easterbrook, A.: Russo: Making inconsistency respectable in software development. Journal of Systems and Software 58, 171-180 (2001)
9. Gabbay, D., Hunter, A.: Making inconsistency respectable 2:meta-level handling of inconsistent data. In: Moral, S., Kruse, R., Clarke, E. (eds.) ECSQARU 1993. LNCS, vol. 747, pp. 129-136. Springer, Heidelberg (1993)
10. Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency handling in multiperspective speci?cations. IEEE Trans. on Software Engineering 20, 569-578 (1994)
11. Lang, J.: From logical preference representation to combinatorial vote. In: Proceedings of 8th International Conference on Principles of Knowledge Representation and Reasoning, pp. 277-288. Morgan Kaufmann, San Francisco (2002)
12. Leite, J.P.A.: Freeman: Requirements validation through viewpoint resolution. IEEE Trans. on Soft. Eng. 17, 1253-1269 (1991)
13. Robinson, W.N.: Integrating multiple specifications using domain goals. In: IWSSD '89: Proceedings of the 5th international workshop on Software specification and design, pp. 219-226. ACM Press, New York, NY, USA (1989)
14. Nuseibeh, B., Kramer, J., Finkelstein, A.: Viewpoints: meaningful relationships are difficult? In: Proceedings of the 25th International Conference on Software Engineering, pp. 676-681. IEEE Computer Society Press, Los Alamitos (2003)
15. Kifer, M., Lozinskii, E.L.: A logic for reasoning with inconsistency. Journal of Automated Reasoning 9, 179-215 (1992)
16. Mu, K., Jin, Z., Lu, R.: Inconsistency-based strategy for clarifying vague software requirements. In: Zhang, S., Jarvis, R. (eds.) AI 2005. LNCS (LNAI), vol. 3809, pp. 39-48. Springer, Heidelberg (2005)
17. Easterbrook, S., Nuseibeh, B.: Managing inconsistencies in an evolving specification. In: Proceedings of the Second International Symposium on Requirements Engineering (RE95), pp. 48-55 (1995)
18. Easterbrook, S.M., Chechik, A.: framework for multi-valued reasoning over inconsistent viewpoints. In: Proceedings of International Conference on Software Engineering (ICSE'01), Toronto, Canada, pp. 411-420 (2001)