Are their design specifications consistent with our requirements?

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn 2002-January, Issue , 2002, Pages 145-154

  Kozlenkov, Alexander ^a   Zisman, Andrea ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

Councils; Natural languages; Physics computing; Prototypes; Software development management; Software prototyping; Software systems; Software tools; Table lookup; Unified modeling language

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE; COMPUTER SOFTWARE REUSABILITY; DESIGN; KNOWLEDGE BASED SYSTEMS; LARGE SCALE SYSTEMS; MODELING LANGUAGES; REQUIREMENTS ENGINEERING; SOFTWARE DESIGN; SOFTWARE ENGINEERING; SPECIFICATIONS; TABLE LOOKUP; UNIFIED MODELING LANGUAGE;

COUNCILS; NATURAL LANGUAGES; PROTOTYPES; SOFTWARE DEVELOPMENT MANAGEMENT; SOFTWARE SYSTEMS;

SOFTWARE PROTOTYPING;

EID: 79251593288     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRE.2002.1048517     Document Type: Conference Paper

References (31)

1. B. Boehm and H. In. Identifying Quality Requirements Conflicts. IEEE Software, pp. 25-35, March 1996
2. S. Clarke, J. Murphy, M. Roantree. Composition of UML Design Models: A Tool to Support the Resolution of Conflicts. In Proceedings of the International Conference on Object-Oriented Information Systems, Springer Verlag, pp. 464-479, 1998.
3. CLAWS. http://www.comp.lancs.ac.uk/ucrel/claws.
4. A. Cockburn. Structuring Use-Cases with Goals, JOOP, Sept-Oct 1997.
5. H. Delugach. Analyzing Multiple Views Of Software Requirements, in Conceptual Structures: Current Research and Practice, P. Eklund, T. Nagle, J. Nagle and L. Gerholz, eds., Ellis Horwood, New York, pp. 391-410.
6. S. Easterbrook, A. Finkelstein, J. Kramer and B. Nuseibeh. Co-Ordinating Distributed ViewPoints: the anatomy of a consistency check. International Journal on Concurrent Engineering: Research & Applications, 2, 3, CERA Institute, USA, pp. 209-222, 1994.
7. S. Easterbrook and B. Nuseibeh. Using ViewPoints for Inconsistency Management. IEE Software Engineering Journal, November 1995.
8. W. Emmerich, A. Finkelstein, C. Montangero, S. Antonelli, and S. Armitage. Managing Standards Compliance. IEEE Transactions on Software Engineering, 25(6), 1999.
9. A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh. Inconsistency Handling in Multi-Perspective Specifications. IEEE Transactions on Software Engineering, 20(8), pages 569-578, August 1994.
10. R.A. Frost. Introduction to Knowledge Base Systems. Collins, 1986, ISBN 0-00-383114-0.
11. C. Heitmeyer, R. Jeffords, and D. Kiskis. Automated Consistency Checking Requirements Specifications, . ACM Transactions on Software Engineering and Methodology, Vol 5, No 3, pp. 231-261, 1996.
12. M. Hess. Deduction over Mixed-Level Logic Representations for Text Passage Retrieval. In Proceedings of the 8th International Conference on Tools with Artificial Intelligence (ICTAI 96), IEEE CS Press, pp. 383-390, 1996.
13. J. Holzmann. The model Checker SPIN. IEEE Transactions on Software Engineering, Vol. 23, No 5, pp. 279-295, 1997.
14. A. Hunter and B. Nuseibeh. Managing Inconsistent Specifications: Reasoning, Analysis and Action. ACM Transactions on Software Engineering and Methodology, Vol. 7, No. 4, pp. 335-367, 1998.
15. T. Järvinen and P. Tapanainen. Towards an Implementable Dependency Grammar. In Proceedings of the Workshop on the Processing of Dependency-based Grammars (COLING-ACL'98), eds.Kahane, Sylvain and Alain Polgu?re, Montreal, 1998.
16. N. Juristo, A.M. Moreno, and M. Lopez. How to Use Linguistic Instruments for Object-Oriented Analysis. IEEE Software, May/June, 2000.
17. A. Kilgarriff. Putting Frequencies in the Dictionary. International Journal of Lexicography, vol. 10, n.2, pp 135-155, 1997.
18. G. Kotonya and I. Sommerville. Requierements Engineering with Viewpoints. Software Engineering Journal, vol. 11, n. 1, January, pp. 5-18, 1999.
19. K. Lano, J. Bicarregui, and A. Evans. Structured Axiomatic Semantics for UML. In Proceedings of the 3rd Workshop on Rigorous Object Oriented Method, York, January 2000.
20. C. Netnwick, W. Emmerich, and A. Finkelstein. Static Consistency Checking for Distributed Specifications. In Proceedings of the 16th International Conference on Automated Software Engineering (ASE-2001), California, Novemver, 2001.
21. T.Menzies, S.Easterbrook, B. Nuseibeh, S. and Waugh. Validating Inconsistent Requirements Modules using Graph-based Abduction.
22. H. Nissen, M. Jeusfeld, M. Jarke, G. Zemanek, H. Huber. Managing Multiple Requirements Perspectives with Metamodels. IEEE Software, March 1996, pp. 37-47.
23. B. Nuseibeh and A. Russo. Using Abduction to Evolve Inconsistent Requirements Specifications. Australian Journal of Information Systems, 7(1), Special Issue on Requirements Engineering, ISSN: 1039-7841, 1999.
24. OMG (1999). OMG Unified Modelling Language Specification Version 1.3. OMG document ad/99-06-08. ftp://ftp/omg.org/pub/docs.ad/99-06-08.pdf.
25. M. Osborne and C.K. MacNish. Processing Natural Language Software Requirement Specifications. In Proceedings of the 2nd International Conference on Requirements Engineering (ICRE 96), IEEE CS Press, pp. 229-236, 1996.
26. W. Robinson and S. Pawlowski. Managing Requirements Inconsistency with Development Goal Monitors. IEEE Transactions on Software Engineer, November/December, 1999.
27. G. Spanoudakis, A. Finkelstein, and D. Till. Overlaps in Requirements Engineering. Automated Software Engineering Journal, Vol 6, pp. 171-198.
28. G. Spanoudakis and A. Zisman, Inconsistency Management in Software Engineering: Survey and Open Research Issues. Handbook of Software Engineering and Knowledge Engineering, (eds.) S.K. Chang, World Scientific Publishing Co., ISBN 981-02-4973, pp. 329-380, 2001.
29. A. van Lamsweerde and E. Letier. Handling Obstacles in Goal-Oriented Requirements Engineering. IEEE Transaction on Software Engineering, Special Issue on Exception Handling, 2000.
30. A. Zisman, W. Emmerich, and A. Finkelstein. Using XML to Specify Consistency Rules for Distributed Documents. In Proceedings of the 10th International Workshop on Software Specification and Design (IWWSD-10), Shelter Island, San Diego, California, November, 2000.
31. A. Zisman and A. Kozlenkov. Knowledge Base Approach to Consistency Management of UML Specifications. Proceedings of the 16th International Automated Software Engineering Conference (ASE 01), IEEE CS Press, 2001.