The application of use cases in systems analysis and design specification

Information and Software Technology

Volumn 47, Issue 9, 2005, Pages 623-641

  Ratcliffe, Martyn ^a   Budgen, David ^b  

^a School of Computing   (United Kingdom)

^b KEELE UNIVERSITY   (United Kingdom)

Author keywords

Analysis; Object design; Statechart; Use case

Indexed keywords

ABSTRACTING; COMPUTER PROGRAMMING LANGUAGES; INFORMATION ANALYSIS; MATHEMATICAL MODELS; SET THEORY; SOFTWARE ENGINEERING;

DESIGN SPECIFICATION; OBJECT DESIGN; STATECHART; USE CASE;

SYSTEMS ANALYSIS;

EID: 18844409192     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2004.11.003     Document Type: Article

References (18)

1. K. Weidenhaupt, K. Pohl, M. Jarke, and P. Haumer Scenarios in system development current practice IEEE Software 1998 34 45
2. I. Jacobson, G. Booch, and J. Rumbaugh The Unified Modelling Language Reference Manual 1999 Addison-Wesley Reading, MA
3. B. Dano, H. Briand, and F. Barbier A Use Case Driven Requirements Engineering Process Requirements Engineering 2 1997 79 91
4. T. Systa Incremental construction of dynamic models for object-oriented software systems JOOP 13 5 2000 18 27
5. I. Khriss, M. Elkoutbi, and R.K. Keller Automating the synthesis of UML statechart diagrams from multiple collaboration diagram In The Unified Modelling language. UML98: Beyond the Notation, Lecture Notes on Computer Science (LNCS) vol. 1618 1999 Springer p. 132-147
6. J. Whittle, and J. Schumann Generating statechart designs from scenarios ICSE 2000, Limerick Ireland 2000
7. S. Uchitel, and J. Kramer A workbench for synthesising behaviour models from scenarios Proceedings of the 23th IEEE International Conference and Ninth ACM on Software Engineering (ICSE'01), Toronto, Canada 2001
8. D. Harel LCS: breathing life into message sequence charts Proceedings of the Third IFIP Int'l Conference on Formal methods for Open Object-Based Distributed Systems, New York 1999 pp. 293-312
9. D. Harel, and H. Kugler Synthesizing state-based object systems from LSC specifications Proceedings of the Fifth International Conference on Implementation and application of Automata, New York 2001
10. A. Pnueli, and R. Roser Distributed Systems are Hard to Synthesis Proceedings of the 31st IEEE Symposium on Foundations of Computer Science 1990 pp. 746-757
11. D. Harel An Achievable Dream Encounters Barriers and Bottlenecks Computer April 2001 4
12. R. Wirfs-Brock, and B. Wilkingson Designing Object-Oriented Software 1990 Prentice Hall Englewood Cliffs, NJ
13. M. Ratcliffe, and D. Budgen The application of use case definitions in system analysis and design specification Information and Software Technology 23 6 2001 365 385
14. F. Barbier, H. Briand, B. Dano, and S. Rideau The executability of object-oriented finite state machines JOOP 1998 16 24
15. Ratcliffe, M. The application of use case definitions in system analysis and design specification, PhD Thesis, Department of Computer Science, Keele University, Jan. 2003.
16. S. Uchitel, J. Kramer, and J. Magee Detecting Implied Scenarios in Message Sequence Chart Specifications Proceedings of the Ninth European Software Engineering Conference and Ninth ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE'01), Vienna, Austria 2001
17. A.V. Lamsweerde Inferring declarative requirements requirements secifications from operational scenarios IEEE Transactions on Software Engineering SE-24 12 1998 1089 1114
18. D. Amyot, R.J.A. Buhr, and L. Logrippo Use case maps for the capture and validation of distributed requirements sixth ed. RE'99, Fourth IEEE International Symposium on Requirements Engineering, Limerick, Ireland vol. 14 1999