Science of Computer Programming, Volume 44

Volume 44, Number 1, July 2002

Colin Atkinson, Thomas Kühne:
Profiles in a strict metamodeling framework. 5-22
Electronic Edition (link) BibTeX
David Garlan, Shang-Wen Cheng, Andrew Kompanek:
Reconciling the needs of architectural description with object-modeling notations. 23-49
Electronic Edition (link) BibTeX
Heinrich Hußmann, Birgit Demuth, Frank Finger:
Modular architecture for a toolset supporting OCL. 51-69
Electronic Edition (link) BibTeX
Siobhán Clarke:
Extending standard UML with model composition semantics. 71-100
Electronic Edition (link) BibTeX
Vittorio Cortellessa, Raffaela Mirandola:
PRIMA-UML: a performance validation incremental methodology on early UML diagrams. 101-129
Electronic Edition (link) BibTeX

Michel Wermelinger, José Luiz Fiadeiro:
A graph transformation approach to software architecture reconfiguration. 133-155
Electronic Edition (link) BibTeX
Mark Minas:
Concepts and realization of a diagram editor generator based on hypergraph transformation. 157-180
Electronic Edition (link) BibTeX
Roswitha Bardohl:
A visual environment for visual languages. 181-203
Electronic Edition (link) BibTeX
Dániel Varró, Gergely Varró, András Pataricza:
Designing the automatic transformation of visual languages. 205-227
Electronic Edition (link) BibTeX
Ralph Depke, Reiko Heckel, Jochen Malte Küster:
Formal agent-oriented modeling with UML and graph transformation. 229-252
Electronic Edition (link) BibTeX

André Engels, Sjouke Mauw, Michel A. Reniers:
A hierarchy of communication models for Message Sequence Charts. 253-292
Electronic Edition (link) BibTeX
Josva Kleist, Davide Sangiorgi:
Imperative objects as mobile processes. 293-342
Electronic Edition (link) BibTeX
Wil M. P. van der Aalst, Kees M. van Hee, Robert A. van der Toorn:
"Compositionality of projection inheritance" [Sci. Comput. Programming 42 (2-3) (2002) 129-171]. 343-344
Electronic Edition (link) BibTeX