Coupling use cases and class models as a means for validation and verification of requirements specifications

Requirements Engineering

Volumn 6, Issue 1, 2001, Pages 3-17

  Kösters, Georg ^a   Six, Hans Werner ^b   Winter, Mario ^b,c  

^a ISOWARE GmbH   (Germany)

^b Department of CS ^*  (Germany)

^c UNIVERSITY OF HAGEN   (Germany)

Author keywords

Activity graphs; Class models; Requirements engineering; UML; Use cases; Validation; Verification

Indexed keywords

EID: 0942291548     PISSN: 09473602     EISSN: 1432010X     Source Type: Journal    
DOI: 10.1007/PL00010354     Document Type: Article

References (33)

1. Boehm B. Verifying and validating software requirements and design specifications. IEEE Software 1984(January):75-88
2. Maiden N, Cisse M, Perez H, Manuel D. CREWS validation frames: patterns for validating system requirements. CREWS Report 98-29, 1998
3. Potts C, Takahashi K, Anton AI. Inquiry-based requirements analysis. IEEE Software 1994(March):21-32
4. Weidenhaupt K, Pohl K, Jarke M, Haumer P. Scenarios in system development: current practice. IEEE Software 1998(March/ April):34-45
5. Jacobson I, Booch G, Rumbaugh J. The unified software development process. Addison-Wesley/ACM Press, Reading, MA, 1999
6. Jacobson I. The use case construct in object-oriented software engineering. In: Carroll JM (ed). Scenario-based design: envisioning work and technology in system development. Wiley, New York, 1995, pp 309-336
7. Meyer B. Object-oriented software construction (2nd edn). Prentice-Hall, Upper Saddle River, NJ, 1997
8. OMG Unified Modeling Language Specification. Version 1.3, June 1999
9. Wirfs-Brock R. Designing objects and their interactions: a brief look at responsibility-driven design. In: Carroll JM (ed). Scenario-based design: envisioning work and technology in system development. Wiley, New York, 1995, pp 337-360
10. Pohl K, Haumer P. Modelling contextual information about scenarios. In: Proceedings of REFSQ'97, 3rd international workshop on RE: foundation for SW quality, Barcelona, Spain, 1997
11. van Lamsweerde A, Willemet L. Inferring declarative requirements specifications from operational scenarios. IEEE Trans Software Eng (Special Issue on Scenario Management) 1998;24(12):1089-1114
12. Regnell B, Andersson M, Bergstrand J. A hierarchical use case model with graphical representation. In: Proceedings of ECBS'96, IEEE international workshop on engineering of computer-Based systems. IEEE Press, Los Alamitos, CA, 1996
13. Regnell B, Kimbler K, Wesslén A. Improving the use case driven approach to requirements engineering. In: Proceedings of RE'95, 2nd IEEE international symposium on requirements engineering, York, UK, 1995, pp 40-47
14. Regnell B, Runeson P. Derivation of an integrated operational profile and use case model. In: Proceedings of the 9th international symposium on software reliability engineering (ISSRE'98), Paderborn, Germany, 1998
15. Glinz M. An integrated formal model of scenarios based on state-charts. In: Proceedings of ESEC'95, 5th European software engineering conference, Sitges, Spain. LNCS 989, Springer, Berlin, 1995, pp 254-271
16. Booch G, Rumbaugh J, Jacobson I. The Unified Modeling Language users guide. Addison-Wesley/ACM Press, Reading, MA, 1999
17. Kösters G, Pagel BU, Winter M. Coupling use cases and class models. In: Proceedings of BCS FACS/EROS workshop on making object-oriented methods more rigorous, London, 24 June 1997, pp 27-30
18. Jacobson I, Christerson M, Jonsson P, Overgaard G. Object-oriented software engineering. Addison-Wesley/ACM Press, Reading, MA, 1992
19. Carroll JM (ed). Scenario-based design: envisioning work and technology in system development. Wiley, New York, 1995
20. Rumpe B. Formale Methodik des Entwurfs verteilter objektorientier-ter Systeme. Herbert Utz Verlag Wissenschaft (in German). Also: Dissertation, Technical University of Munich, Germany, 1996
21. Hsia P, Samuel J, Gao J, Kung D, Toyoshima Y, Chen C. Formal approach to scenario analysis. IEEE Software 1994;11(2):33-41
22. Wheeler DA, Brykczinski B, Meeson RN Jr. Software inspection -an industrial best practice. IEEE Press, Los Alamitos, CA, 1996
23. Kösters G, Pagel BU, de Ridder T, Winter M. Animated requirements walkthroughs based on business scenarios. In: Proceedings of euroSTAR, 5th European conference on software testing, analysis and review, Edinburgh, 24-28 November 1997
24. Myers GJ. The art of software testing. Wiley, New York, 1979
25. Beizer B. Software testing techniques (2nd edn). Van Nostrand Reinhold, New York, 1990
26. Winter M. Quality assurance for object-oriented software: requirements engineering and testing w.r.t. requirements specification. PhD dissertation (in German), University of Hagen, September 1999
27. Kösters G, Pagel BU, Six HW. GeoOOA: object-oriented analysis for geographic information systems. In: Proceedings of the 2nd international conference on requirements engineering, Colorado Springs, 1996, pp 245-253
28. Kösters G, Pagel BU. The GEOOOA-tool and its interface to open GIS-software development environments. In: Proceedings of the 4th ACM workshop on advances in geographic information systems, Rockville, USA, 1996, pp 165-173
29. Kösters G, Six HW, Winter M. Enhancing activity graphs to bridge the gap between use cases and class models. Technical report, Department of CS, University of Hagen, August 1999 (http://www.informatik.fernuni-hagen.de/import/pi3/publikationen/ abstracts/UML_TR.html)
30. Brunsmann J, Homrighausen A, Six HW, Voss J. Assignments in a virtual university: the WebAssign system. In: Proceedings of the 19th world conference on open learning and distance education, Vienna, Austria, 1999
31. Antón A, Potts C. A representational framework for scenarios of system use. Requirements Eng 1998;3(4):219-241
32. Jarke M, Bui TX, Carroll JM. Scenario management: an interdisciplinary approach. Requirements Eng 1998;3(4):155-173
33. Kösters G, Six HW, Voss J. Combined analysis of user interface and domain requirements. In: Proceedings of the 2nd international conference on requirements engineering, Colorado Springs, 1996, pp 307-336