Precise specification of use case scenarios

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4422 LNCS, Issue , 2007, Pages 170-184

  Whittle, Jon ^a  

^a Krasnow Institute for Advanced Study   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE; MATHEMATICAL PROGRAMMING; SYNTACTICS;

SOFTWARE STAKEHOLDERS; THREE-LEVEL MODELING; VALIDATION;

SEMANTICS;

EID: 37249051467     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71289-3_15     Document Type: Conference Paper

References (13)

1. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide, 2nd Edition. Addison-Wesley Professional, 2005.
2. Alistair Cockburn. Writing Effective Use Cases. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2000.
3. Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, and Ketil Stolen. Stairs: Towards formal design with sequence diagrams. Journal of Software and System Modeling, 4(4):355-367, 2005.
4. Sadahiro Isoda. On UML2.0s abandonment of the actors-call-use-cases conjecture. Journal of Object Technology, 4(6), 2004.
5. Nikolai Mansurov. Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering. Comput. Lang., 27(1/3):115-136, 2001.
6. Stephen J. Mellor and Marc Balcer. Executable UML: A Foundation for Model-Driven Architectures. Addison-Wesley, Boston, USA, 2002.
7. OMG. Unified Modeling Language 2.0 specification, 2005. http://www.omg.org.
8. Gunnar Overgaard and Karin Palmkvist. A formal approach to use cases and their relationships. In First International Workshop on The Unified Modeling Language UML'98, pages 406-418. Springer-Verlag, 1999.
9. Michal Smialek. Accommodating informality with necessary precision in use case scenarios. Journal of Object Technology, 4(6), 2004.
10. Software Engineering Group, University of Paderborn. Shuttle system case study, 2005. http://www.cs.uni-paderborn.de/cs/ag-schaefer/CaseStudies/ ShuttleSystem/.
11. Perdita Stevens. On use cases and their relationships in the unified modelling language. In FASE '01: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering, pages 140-155, London, UK, 2001. Springer-Verlag.
12. International Telecommunication Union. Recommendation Z. 120: Message sequence chart. Technical report, 2004.
13. Clay Williams. Towards engineered, useful use cases. Journal of Object Technology, 4(6), 2004.