Towards a precise semantics for object-oriented modeling techniques

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

Volumn 1357, Issue , 1998, Pages 205-210

  Breu, Ruth ^a   Grosu, Radu ^a   Huber, Franz ^a   Rumpe, Bernhard ^a   Schwerin, Wolfgang ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DEVELOPMENT PROCESS; MODELING TECHNIQUE; OBJECT ORIENTED MODEL;

SEMANTICS;

EID: 84957558366     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-69687-3_42     Document Type: Conference Paper

References (12)

1. +85. F. L. Bauer, R. Berghammer, M. Broy, W. Dosch, F. Geiselbrechtinger, R. Gnatz, E. Hangel, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner, B. Möller, F. Nickl, H. Partsch, P. Pepper, K. Samelson, M. Wirsing, and H. Wössner. The Munich Project CIP, Vol 1: The Wide Spectrum Language GIP-L, LNCS 183. Springer-Verlag, 1985.
2. +93. M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hufimann, D. Nazareth, F. Re-gensburger, O. Slotosch, and K. Stølen. The Requirement and Design Specification Language Spectrum, An Informal Introduction, Version 1. 0, Part 1 and 2. Technical Report TUM-I9312, Technische Universität München, 1993.
3. BRJ96. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language for Object-Oriented Development, Version 1. 0, 1996.
4. Fla96. David Flanagan. Java in a Nutshell: A Desktop Quick Reference for Java Programmers. O'Reilly & Associates, Inc., 1996.
5. GHJV94. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, 1994.
6. Jon93. M. P. Jones. An Introduction to Gofer, 1993.
7. KRB96. C. Klein, B. Rumpe, and M. Broy. A stream-based mathematical model for distributed information processing systems-SysLab system model-. In Jean-Bernard Stefani Elie Naijm, editor, FMOODS'96 Formal Methods for Open Object-based Distributed Systems, pages 323-338. ENST France Telecom, 1996.
8. Mor90. C. Morgan. Programming from Specifications. Prentice-Hall, 1990.
9. +91. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, 1991.
10. RK96. B. Rumpe and C. Klein. Automata describing object behavior, pages 265-287. Kluwer Academic Publishers, Norwell, Massachusetts, 1996.
11. RKB95. B. Rumpe, C. Klein, and M. Broy. Ein strombasiertes mathematisch-es Modell verteilter informationsverarbeitender Systeme-Syslab Sys-temmodell. Technical Report TUM-I9510, Technische Universität München, Institut fiir Informatik, March 1995. http://www4. informatik. tu-muenchen. de/reports/TUM-I9510. ps. gz.
12. Rum96. B. Rumpe. Formale Methodik des Entwurfs verteilter objektorientierter Systeme. Herbert Utz Verlag Wissenschaft, 1996. PhD thesis, Technische Universität München.