External Links

Journal: Science of Computer Programming

Volume 44, Issue 3

253 -- 292André Engels, Sjouke Mauw, Michel A. Reniers. A hierarchy of communication models for Message Sequence Charts
293 -- 342Josva Kleist, Davide Sangiorgi. Imperative objects as mobile processes
343 -- 344Wil 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]

Volume 44, Issue 2

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

Volume 44, Issue 1

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