From use cases to system operation specifications

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

Volumn 1939, Issue , 2000, Pages 1-15

  Sendall, Shane ^a   Strohmeier, Alfred ^a  

^a EPFL   (Switzerland)

Author keywords

Object constraint language; Object oriented software development; Operation specification; Unified modeling language; Use cases

Indexed keywords

OBJECT ORIENTED PROGRAMMING; SOFTWARE DESIGN; SPECIFICATIONS;

CASE DESCRIPTION; OBJECT CONSTRAINT LANGUAGE; OBJECT ORIENTED SOFTWARE DEVELOPMENT; SYSTEM BEHAVIORS; SYSTEM LEVELS; SYSTEM OPERATION;

UNIFIED MODELING LANGUAGE;

EID: 78650610301     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40011-7_1     Document Type: Conference Paper

References (15)

1. A. Cockburn. Writing Effective Use Cases. Addison-Wesley 2000.
2. D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes and P. Jeremaes. Object-Oriented Development: The Fusion Method. Prentice-Hall 1994.
3. D. Coleman. Fusion with Use Cases - Extending Fusion for Requirements Modelling. OOPSLA Conference Tutorial Slides 1995.
4. S. Cook, A. Kleppe, R. Mitchell, J. Warmer, A. Wills. Defining the Context of OCL Expressions. Second International Conference on the Unified Modeling Language: UML’99, Fort Collins, USA, 1999.
5. D. D Souza and A. Wills. Objects, Components and Frameworks With UML: The Catalysis Approach. Addison-Wesley 1998.
6. I. Jacobson, M. Griss and P. Jonsson. Software Reuse: Architecture Process and Organization for Business Success. Addison-Wesley 1997.
7. C.B. Jones. Systematic Software Development Using VDM. Prentice Hall, 1986.
8. M. Kandé and A. Strohmeier. Towards a UML Profile for Software Architecture. Technical Report 2000, Swiss Federal Institute of Technology, Switzerland, 2000; submitted for publication.
9. OMG Unified Modeling Language Specification, Version 1.3, June 1999; Published by the OMG Unified Modeling Language Revision Task Force on its WEB site: http://uml.shl.com/artifacts.htm
10. Presidents Information Technology Advisory Committee. Report to the President.Information Technology Research: Investing in Our Future..National Coordination Office for Computing, Information, and Communications, February 1999 (http://www.ccic.gov/ac/report/pitac_report.pdf).
11. J. Rumbaugh, I. Jacobson and G. Booch. The Unified Modeling Language Reference Manual. Addison- Wesley 1999.
12. S. Sendall and A. Strohmeier. Descriptive Object-Oriented Operation Specification for UML. Technical Report 2000/326, Swiss Federal Institute of Technology, Switzerland, 2000.
13. S. Sendall. Specification Case Studies. Electronic Resource: http://lglwww.epfl.ch/~sendall/case-studies
14. J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 1989.
15. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling With UML. Addison- Wesley 1998.