Formal definition and refinement of UML’s module/package concept

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

Volumn 1357, Issue , 1998, Pages 211-215

  Schürr, Andy ^a   Winter, Andreas J ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MODULAR CONSTRUCTION;

FORMAL DEFINITION; INFORMATION HIDING; MODULARIZATIONS; PREDICATE LOGIC;

MODELING LANGUAGES;

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

References (13)

1. Booch G.: Object-Oriented Analysis and Design. Series in Object-Oriented Software Engineering. Benjamin Cummings, Redwood City, CA, 1994.
2. BörstlerJ.: Programmieren-im-Groben: Sprachen, Werkzeuge, Wiederverwend-ung. Dissertation (RWTH Aachen), TR UMINF 94. 10, Department of Computer Science, Umeå University, Sweden, 1994.
3. BreuR.: Algebraic Specification Techniques in Object-Oriented Programming Environments, LNCS 562. Springer-Verlag, 1991.
4. Jacobson I.: Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, Reading, MA, fourth edition, 1994.
5. NaglM.: Softwaretechnik: Methodisches Programmieren im Großen. Springer-Verlag, 1990.
6. PalsbergJ., Schwartzbach M. I.: Object-Oriented Type Systems. John Wiley, New York, NY, 1994.
7. Rational Software Corporation: UML Semantics, Version 1. 0. http://www. ratio-nal. com, 1997.
8. Robinson P. J.: Hierarchical Object-Oriented Design. Prentice Hall, Englewood Cliffs, MA, 1992.
9. Rumbaugh J., Blaha M., Eddy W. P. F., Lorensen W.: Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, NJ, 1991.
10. Schürr A.: Logic Based Programmed Structure Rewriting Systems. Fundamenta Informaticae, XXVI(3/4), 1996.
11. Schürr A., Winter A. J.: Modules and Updatable Graph Views for PROgrammed Graph REwriting Systems. TR AIB 97-3, RWTH Aachen, Germany, 1997.
12. Schürr A., Winter A. J., Zündorf A.: Graph Grammar Engineering with PRO-GRES. In Schäfer W., Botella P. (eds.): Proc. 5th European Software Engineering Conf. (ESEC'95), LNCS 989, pp. 219-234. Springer Verlag, Berlin, 1995.
13. Wirfs-Brock R., Wilkerson B., Wiener L.: Designing Object-Oriented Software. Prentice Hall, Englewood Cliffs, NJ, 1990.