Overlaps in requirements engineering

Automated Software Engineering

Volumn 6, Issue 2, 1999, Pages 171-198

  Spanoudakis, George ^a   Finkelstein, Anthony ^b   Till, David ^a  

^a CITY UNIVERSITY   (United Kingdom)

^b UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING; THEOREM PROVING;

SPECIFICATION OVERLAPS;

REQUIREMENTS ENGINEERING;

EID: 0032631596     PISSN: 09288910     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008718614166     Document Type: Article

References (27)

1. Boehm, B. and In, H. 1996. Identifying quality requirements conflicts. IEEE Software, March 96, 25-35.
2. Easterbrook, S. 1991. Handling conflict between domain descriptions with computer-supported negotiation. Knowledge Acquisition, 3:255-289.
3. Easterbrook, S., Finkelstein, A., Kramer, J., and Nuseibeh, B. 1994. Co-ordinating distributed viewpoints: The anatomy of a consistency check. International Journal on Concurrent Engineering: Research & Applications, 2(3):209-222.
4. Easterbrook, S. and Nuseibeh, B. 1996. Using viewPoints for inconsistency management. Software Engineering Journal, 11(1):31-43.
5. Emmerich, W., Finkelstein, A., Montangero, C., and Stevens R. 1997. Standards compliant software development. ICSE '97 Workshop on Living with Inconsistency. Available by ftp from: http://www.cs.ucl.ac.uk/staff/w.emmerich/publications/.
6. Fiadeiro, J. and Maibaum, T. 1995. Interconnecting formalisms: Supporting modularity, reuse and incrementality. Proceedings of the Symposium on the Foundations of Software Engineering (FSE '95), ACM Press, pp. 1-8.
7. Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., and Nuseibeh, B. 1994. Inconsistency handling in multiperspective specifications. IEEE Transactions on Software Engineering, 20(8):569-578.
8. Finkelstein, A., Spanoudakis, G., and Till, D. 1996. Managing Interference. Joint Proceedings of the Sigsoft '96 Workshops - Viewpoints '96, ACM Press, pp. 172-174.
9. Gruber, T., 1993. Towards principles for the design of shared ontologies used for knowledge sharing. Proceedings of International Workshop on Formal Ontology, Padova, Italy. Also available as Technical Report KSL 93-04, Knowledge Systems Laboratory, Stanford University.
10. Guarino, N. 1994. The ontological level. In R. Casati, B. Smith, and G. White, editors, Philosophy and the Cognitive Sciences. Vienna: Holder-Pichler-Tempsky.
11. Heitmeyer, C., Labaw, B., and Kiskis, D. 1995. Consistency checking of SCR-style requirements specifications. Proceedings of the 2nd International Symposium on Requirements Engineering (RE '95), IEEE CS Press, pp. 56-63.
12. Jackson, M. 1997. The meaning of requirements. Annals of Software Engineering, 3:5-21.
13. Leite, J. and Freeman, P. 1991. Requirements validation through viewpoint resolution. IEEE Transactions on Software Engineering, 12(12):1253-1269.
14. Mullery, G. 1996. Tool support for multiple viewpoints. Joint Proceedings of the Sigsoft '96 Workshops - Viewpoints '96, ACM Press, pp. 227-231.
15. Nilsson, N. 1971. Problem solving methods in artificial intelligence. New York: McGraw Hill.
16. Nissen, H., Jeusfeld, M., Jarke, M., Zemanek, G., and Huber, H. 1996. Managing multiple requirements perspectives with metamodels. IEEE Software, March 96, 37-47.
17. Ramsay, A. 1988. Formal methods in artificial intelligence. Cambridge Tracts in Theoretical Computer Science. Cambridge: Cambridge University Press.
18. Rational, 1997. UML Semantics. Rational Software Corp., 2800 San Thomas Expressway, Santa Clara, CA, USA, version 1.1. Available by ftp from: http://www.rational.com/uml/adobe.html.
19. Robinson, W. and Fickas, S. 1994. Supporting multiple perspective requirements engineering. Proceedings of the 1st International Conference on Requirements Engineering (ICRE '94), Silver Spring, MD: IEEE Computer Society Press, pp. 206-215.
20. Rydeheard, D.E. and Burstall, R.M. 1988. Computational Category Theory. Prentice Hall, International Series in Computer Science, ISBN 0-13-162736-8.
21. Shepherdson, J.C. 1988. Negation in logic programming. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, Los Altos, CA: Morgan Kaufmann, pp. 19-89.
22. Shoenfield, J. 1967. Mathematical Logic. Addison Wesley.
23. Spanoudakis, G. and Constantopoulos, P. 1995. Integrating specifications: A similarity reasoning approach. Automated Software Engineering Journal, 2(4):311-342.
24. Spanoudakis, G. and Finkelstein, A. 1997. Reconciling requirements: A method for managing interference, inconsistency and conflict. Annals of Software Engineering, 3:433-457.
25. Spanoudakis, G. and Finkelstein, A., 1998. A semi-automatic process of identifying overlaps and inconsistencies between requirements specifications. Proceedings of the 5th International Conference on Object Oriented Information Systems (OOIS '98), Springer, pp. 405-426.
26. van Lamsweerde, A. 1996. Divergent views in goal-driven requirements engineering. Joint Proceedings of the Sigsoft '96 Workshops - Viewpoints '96, ACM Press, pp. 252-256.
27. Zave, P. and Jackson, M. 1993. Conjunction as composition. ACM Transactions on Software Engineering and Methodology, 2(4):379-411.