Scenario analysis in an automated tool for requirements engineering

Requirements Engineering

Volumn 5, Issue 1, 2000, Pages 2-22

  Zhu, Hong ^a   Jin, Lingzi ^b  

^a OXFORD BROOKES UNIVERSITY   (United Kingdom)

^b Cherwell Scientific Ltd   (United Kingdom)

Author keywords

Automated tool; Completeness; Consistency; Requirements engineering; Requirements model synthesis; Scenario analysis

Indexed keywords

EID: 0002437360     PISSN: 09473602     EISSN: 1432010X     Source Type: Journal    
DOI: 10.1007/PL00010341     Document Type: Article

References (46)

1. Stokes DA. Requirements analysis. In: Software engineer's reference book. Butterworth-Heinemann, Oxford, 1991, Ch 16
2. Rubin KS, Goldberg A. Object behaviour analysis. Commun ACM 1992;35(9)
3. Jacobson I. Object oriented development in an industrial environment. In: Proceedings of OOPSLA, October 1987
4. Jacobson I, et al. Object-oriented software engineering, a use case driven approach. Addison-Wesley, Reading, MA, 1992
5. Rumbaugh J, Jacobson I, Booch G. The unified modelling language reference manual. Addison-Wesley, Reading, MA, 1999.
6. Weidenhaupt K, Pohl K, Jarke M, Haumer P. Scenario usage in system development: a report on current practice. In: Proceedings of the international requirements engineering conference (ICRE '98), Colorado Springs, CO, 6-10 April 1998
7. Regnell B, Kimbler K, Wesslen A. Improving the use case driven approach to requirements engineering. In: Proceedings of RE '95, 1995, pp 40-47
8. Potts C, Takahashi K, Anton AI. Inquiry-based requirements analysis, IEEE Software 1994; 11(2)
9. Sutcliffe AG. A technique combination approach to requirements engineering. In: Proceedings of the 3rd IEEE international symposium on requirements engineering. IEEE CS Press, Washington, DC, 1997, pp 65-74
10. Sutcliffe AG, Maiden NA, Minocha S, Manual D. Supporting scenario-based requirements engineering. IEEE Trans Software Eng 1998;24(12):1072-1088
11. Anderson JS, Durley B. Using scenarios in deficiency-driven requirements engineering. In: Proceedings of RE '93, 1993, pp 134-141
12. Gough PA, Fodemski FT, Higgins SA, Ray SJ. Scenarios: an industrial case study and hypermedia enhancements. In: Proceedings of RE '95, 1995, pp 10-17
13. Hsia P, Samuel J, Gao J, Kung D, Toyoshima Y, Chen C. Formal approach to scenario analysis. IEEE Software 1994;33-41
14. Jarke M, Pohl K. Requirements engineering in 2001: (virtually) managing a changing reality. Software Eng J 1994(November):257-266
15. Jarke M, et al. Theories underlying requirements engineering: an overview of NATURE at Genesis. In: Proceedings of RE '93, 1993, pp 19-31
16. Haumer P, Pohl K, Weidenhaupt. Requirements elicitation and validation with real world scenes, IEEE Trans Software Eng 1998;24(12)1036-1054
17. Rolland C, Ben Achour C et al. A proposal for a scenario classification framework, Requirements Eng 1998;3(1):23-47
18. Maiden N, Minocha S, Manning K, Ryan M. A software tool and method for scenario generation and use. In: Proceedings of the third international workshop on requirements engineering: foundation for software quality. Barcelona, Spain, June 1997
19. Maiden N, Minocha S, Sutcliffe A, Manuel D, Ryan M. A cooperative scenario based approach to acquisition and validation of system requirements: how exception can help! Interact Comput 1999;11:645-664
20. Jarke M, Kurki-Suonio R (eds). Special issue on scenario management. IEEE Trans Software Eng 1998;24(12)
21. Carroll JM (ed.). Scenario-based design: envisioning work and technology in system development. Wiley, New York, 1995
22. http://www.cjmag.co.jp/magazine/issues/1995/jul95/ 07cs.html, July 1995
23. Lee WJ, Cha SD, Kwo YR. Integration and analysis of use cases using modular Petri nets in requirements engineering IEEE Trans Software Eng 1998;24(12):1115-1130
24. Diaper D (ed.). Task analysis for human-computer interaction. Ellis Horwood, Chichester, UK, 1989
25. Leite JC, Rossi G, Balaguer F, Maiorana V, Kaplan G, Hadad G, Oliveros A. Enhancing a requirements baseline with scenarios. In: Proceedings of RE '97, Annapolis, MD, January 1997
26. Dano B, Briand H, Barbier F. A use case driven requirements engineering process. J Requirements Eng 1997;2(2):79-91
27. System Designers. CORE: the method. Syst Design Sci 1985(1.0)
28. Nuseibeh B, Kramer J, Finkelstein A. A framework for expressing the relationships between multiple views in requirements specification, IEEE Trans Software Eng 1994;20(10):760-773
29. Motschnig-Pitric R, Nissen HW, Jarke M. View-directed requirements engineering: a framework and metamodel. In: Proceedings of SEKE '97, Madrid, Spain, June 1997, pp 366-373
30. Leonhardt U, Kramer J, Nuseibeh B, Finkelstein A. Decentralised process modelling in a multi-perspective development environment. In: Proceedings of 17th ICSE, 1995, pp 255-264
31. Robinson WN, Fickas S. Supporting multi-perspective requirements engineering. In: Proceedings of ICRE '94, 1994, pp 206-215.
32. Finklestein A, Gabbay D, Hunter A, Kramer J, Nuseibeh B. Inconsistency handling in multi-perspective specifications. IEEE Trans Software Eng 1994;20(8):569-578
33. Hunter A, Nuseibeh B. Managing inconsistent specifications: reasoning, analysis and action. ACM Trans Software Eng Methodol (to appear)
34. Darke P, Shanks G. Stakeholder viewpoints in requirements definition: a framework for understanding viewpoint development approaches. J Requirements Eng 1996;1(2):88-105
35. Easterbrook S. Domain modelling with hierarchies of alternative viewpoints. In: Proceedings of RE '93, 1993, pp 65-72
36. Jin L, Zhu H. Automatic generation of formal specification from requirements definition. In: Proceedings of the IEEE first international conference on formal engineering method, Hiroshima, Japan, November 1997, pp 243-251
37. Xu J, Jin L, Zhu H. Tool support of orderly transition from informal to formal descriptions in requirements engineering. In: Terashima N, Altman E (eds). Proceedings of IFIP '96: advanced IT tools, Australia. Chapman & Hall, London, 1996, pp 199-206
38. Dong LJ. On software requirements definition languages. Ph.D. thesis, Nanjing University, 1996
39. Dong LJ, Fei Z, Zhu H. A requirements definition language NDRDE. J Comput Sei 1995;22(5):45-53 (in Chinese)
40. Yourdon E. Modern structured analysis. Prentice-Hall, Englewood Cliffs, NJ, 1989
41. Jin L, Zhu H. Description and analysis of use scenarios in requirements engineering. In: Proceedings of SEKE '98, San Francisco, CA, 18-20 June 1998, pp 8-25
42. Xu J, Zhu H, et al. From requirements definition to formal functional specification: a transformational approach. Science in China 1995;38(Suppl, September):28-43
43. Xu J, Zhu H. Requirements analysis and specification as a problem of software automation: some researches on requirements analysis. In: Proceedings of SEKE'96, Nevada, June 1996, pp 457-464
44. Zhu H, Jin L, Diaper D, Bai G. A theory of testing software requirements via task analysis. Technical report TR-CMS-99-02, School of Computing and Mathematical Sciences, Oxford Brookes University, April 1999
45. Zhu H, Jin L, Diaper D. Application of task analysis to software requirements testing. In: Proceedings of SEKE '99, Kaisersluatern, Germany, June 1999
46. Zowghi D, Offen R. A logical framework for modelling and reasoning about the evolution of requirements. In: Proceedings of RE '97, Annapolis, MD, 1997