Viewpoints merging via incrementally elicited ranked structures

Proceedings - International Conference on Quality Software

Volumn , Issue , 2006, Pages 141-148

  Ghose, Aditya ^a   Lin, Qiuming ^a  

^a UNIVERSITY OF WOLLONGONG   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

DATA HANDLING; MATHEMATICAL MODELS; PROBLEM SOLVING; SOFTWARE ENGINEERING;

BELIEF MERGING OPERATIONS; ELICITED RANKED STRUCTURES; STATE MODELS;

DATA STRUCTURES;

EID: 34250754856     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2006.68     Document Type: Conference Paper

References (15)

1. R. Balzer. Tolerating inconsistency. In Proceedings of the 13th Inl'l Conference on Software Engineering, pages 158-165, 1991.
2. S. Easterbrook and M. Chechik. A framework for multi-valued reasoning over inconsistency viewpoints. In Proceedings of ICSE-2001, pages 411-420.
3. S. Easterbrook, A. Finkelstein, J. Kramer, and B. Nuseibeh. Coordinating distributed viewpoints: The anatomy of a consistency check. In Concurrent Engineering: Research and Applications, CERA Institute, West Bloomfield, USA, 1994.
4. A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh. Inconsistency handling in multi-perspective specifications. IEEE Transactions on Software Engineering, 20(8), 1994.
5. A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein, and M. Goedicke. Viewpoints: A framework for integrating multiple perspectives in system development. International Journal of Software Engineering and Knowledge Engineering, 2(1):31-58, 1992.
6. C. L. Heitmeyer, R. D. Jeffords, and B. G. Labaw. Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology, 5(3):231-261, 1996.
7. A. Hunter and B. Nuseibeh. Analyzing inconsistent specifications. In Proceedings of the Third IEEE International Symposium on Requirements Engineering, pages 78-86, 1997.
8. T. Meyer, A. K. Ghose, and S. Chopra. Syntactic representations of semantic merging operations. In Proceedings of the IJCAI 2001 Workshop on Inconsistency in Data and Knowledge, Seattle, USA, 2001.
9. T. A. Meyer. On the semantics of combining operations. Journal of Applied Non-Classical Logics, 11(1-2), 2001.
10. B. Nuseibeh, J. Kramer, and A. Finkelstein. A framework for expressing relationships between multiple views in requirements specification. IEEE Transactions on Software Engineering, 20(10), 1994.
11. B. Nuseibeh and A. Russo. Using abduction to evolve inconsistent requirements specifications. Australian Journal of Information Systems, 7, 1999.
12. M. D. Ryan. Defaults in specifications. In Proceedings of the IEEE International Symposium on Requirements Engineering, pages 142-149, 1993.
13. J. J.-P. Tsai, T. Weigert, and H.-C. Jang. A hybrid knowledge representation as a basis for requirement specification and specification analysis. IEEE Transactions on Software Engineering, 18(2):1076-1099.
14. A. van Lamsweerde, R. Darimont, and E. Leiter. Managing conflicts in goal-driven requirements engineering. IEEE Trans. on Software Engineering, 24(11):908-926, 1998.
15. V. Wiels and S. M. Easterbrook. Management of evolving specifications using category theory. In Proceedings of the 13th International Conference on Automated Software Engineering, 1998.