A formal approach to use cases and their relationships

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

Volumn 1618, Issue , 1999, Pages 406-418

  Óvergaard, Gunnar ^a   Palmkvist, Karin ^b  

^a ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^b Rational Software Scandinavia AB   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; SEMANTICS;

FORMAL APPROACH; OBJECT-ORIENTED SPECIFICATIONS;

UNIFIED MODELING LANGUAGE;

EID: 37349053816     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-48480-6_31     Document Type: Conference Paper

References (6)

1. Jacobson, I.: Basic Use-Case Modeling (Continued). Report on Object Analysis 8z Design, 1(3), Sept-Oct 1994
2. Jacobson, I., Christerson, M., Jonsson, P., bergaard, G.: Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, 1993
3. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, I. Information and Computation, 100: 1-40, 1992
4. Overgaard, G.: A Formal Approach to Relationships in the Unified Modeling Language. In: Broy, M., Coleman, D.., Maibaum, T. S. E., Rumpe, B. (eds.): Proceedings PSMT’98 Workshop on Precise Semantics for Software Modelling Techniques. Technische Universitat, Munchen, Germany, TUM-19803, April 1998
5. Unified Modeling Language, version 1.1, September 1997. On-line documentation is found at http://www.rational.com/uml/documentation.html
6. UML Semantics, version 1.1, September 1997. Part of [ 5 ]