@proceedings{7786,
  editor       = {{Clauss, M. and Hanenberg, S. and John, I. and Mehner, Katharina and Van Der Straeten, Ragnhild}},
  number       = {{053.02/E}},
  title        = {{{Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE '02), Pittsburgh, PA (USA)}}},
  year         = {{2002}},
}

@inproceedings{7895,
  author       = {{Baresi, Luciano and Heckel, Reiko}},
  booktitle    = {{Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)}},
  pages        = {{402--429}},
  publisher    = {{Springer}},
  title        = {{{Tutorial Introduction to Graph Transformation: A Software Engineering Perspective}}},
  doi          = {{https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934}},
  volume       = {{2505}},
  year         = {{2002}},
}

@inproceedings{7896,
  author       = {{Depke, Ralph and Engels, Gregor and Langham, Matthew and Lütkemeier, Björn and Thöne, Sebastian}},
  booktitle    = {{Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)}},
  pages        = {{13--18}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Process-Oriented, Consistent Integration of Software Components}}},
  doi          = {{http://dx.doi.org/10.1109/CMPSAC.2002.1044527}},
  year         = {{2002}},
}

@inproceedings{7897,
  author       = {{Engels, Gregor and Heckel, Reiko and Küster, Jochen and Groenewegen, Luuk}},
  booktitle    = {{Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)}},
  pages        = {{212--226}},
  publisher    = {{Springer}},
  title        = {{{Consistency-Preserving Model Evolution through Transformations}}},
  volume       = {{2460}},
  year         = {{2002}},
}

@inproceedings{7898,
  author       = {{Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}},
  booktitle    = {{Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)}},
  number       = {{4}},
  pages        = {{2--22}},
  publisher    = {{IOS Press}},
  title        = {{{Consistent Interaction Of Software Components}}},
  volume       = {{6}},
  year         = {{2002}},
}

@inproceedings{7899,
  author       = {{Engels, Gregor and Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}},
  booktitle    = {{Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)}},
  title        = {{{Testing the Consistency of Dynamic UML Diagrams}}},
  year         = {{2002}},
}

@inproceedings{7900,
  author       = {{Gyapay, Szilvia and Heckel, Reiko and Varró, Dániel}},
  booktitle    = {{Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)}},
  pages        = {{120--134}},
  publisher    = {{Springer}},
  title        = {{{Graph Transformation with Time: Causality and Logical Clocks}}},
  volume       = {{2505}},
  year         = {{2002}},
}

@inproceedings{7901,
  author       = {{Hendrik Hausmann, Jan and Heckel, Reiko and Taentzer, Gabriele}},
  booktitle    = {{Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)}},
  pages        = {{105--155 }},
  publisher    = {{ACM Press}},
  title        = {{{Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation}}},
  doi          = {{http://doi.acm.org/10.1145/581339.581355}},
  year         = {{2002}},
}

@inproceedings{7902,
  author       = {{Heckel, Reiko and Chouikha, Mourad}},
  booktitle    = {{Proceedings of the conference on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA)}},
  pages        = {{63--77}},
  publisher    = {{Society of Design and Process Science}},
  title        = {{{Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets}}},
  year         = {{2002}},
}

@inproceedings{7903,
  author       = {{Heckel, Reiko and Küster, Jochen and Taentzer, Gabriele}},
  booktitle    = {{Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)}},
  pages        = {{161--176}},
  publisher    = {{Springer}},
  title        = {{{Confluence of Typed Attributed Graph Transformation Systems}}},
  year         = {{2002}},
}

@inproceedings{7904,
  author       = {{Mehner, Katharina}},
  booktitle    = {{Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)}},
  pages        = {{163--175}},
  publisher    = {{Springer}},
  title        = {{{JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs}}},
  volume       = {{2269}},
  year         = {{2002}},
}

@inproceedings{7905,
  author       = {{Schattkowsky, Tim and Lohmann, Marc}},
  booktitle    = {{Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)}},
  pages        = {{336--350}},
  publisher    = {{Springer}},
  title        = {{{Rapid Development of Modular Dynamic Web Sites Using UML}}},
  doi          = {{http://dx.doi.org/10.1007/3-540-45800-X}},
  year         = {{2002}},
}

@inproceedings{7906,
  author       = {{Cherchago, Alexey}},
  booktitle    = {{Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)}},
  publisher    = {{ACTA Press}},
  title        = {{{Formal Semantics for a UML fragment using UML/OCL metamodeling}}},
  year         = {{2002}},
}

@techreport{8212,
  author       = {{Constanza, Pascal and Kniesel, Günther and Mehner, Katharina and Pulvermüller, Elke and Speck, Andreas}},
  publisher    = {{University of Bonn}},
  title        = {{{Proceedings of the Workshop on Aspect-Oriented Software Developement, held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement}}},
  year         = {{2002}},
}

@article{7385,
  author       = {{Heckel, Reiko and Llabrés, Mercé and Ehrig, Hartmut and Orejas, Fernando}},
  journal      = {{Mathematical Structures in Computer Science}},
  number       = {{4}},
  pages        = {{349--376}},
  title        = {{{Concurrency and Loose Semantics of Open Graph Transformation Systems}}},
  volume       = {{12}},
  year         = {{2002}},
}

@article{7387,
  abstract     = {{Constructing complex software systems by integrating different software components is a promising and challenging approach. With the functionality of software components given by models it is possible to ensure consistency of such models before implementation in order to successfully build the system. Models consisting of different submodels, the absence of an overall formal semantics and the numerous possibilities of employing models requires the development of techniques ensuring the consistency. In this paper, we discuss the issue of consistency of models made up of different submodels proposing a concept for the management of consistency. Consistency management relies on a consistency concept and a process for ensuring consistency of models. We introduce a consistency concept for software components modeled in the Unified Modeling Language (UML) and devise suitable consistency checks. On this basis, we propose a process how to locate and resolve inconsistencies, thus ensuring the consistency of models and by that the consistency of componentbased systems derived from those models.}},
  author       = {{Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}},
  journal      = {{Transactions of the SDPS: Journal of Integrated Design & Process Science}},
  number       = {{4}},
  pages        = {{2--22}},
  title        = {{{Consistent Interaction of Software Components}}},
  volume       = {{6}},
  year         = {{2002}},
}

@article{7388,
  author       = {{Depke, Ralph and Heckel, Reiko and Küster, Jochen}},
  journal      = {{Science of Computer Programming}},
  pages        = {{229--252}},
  title        = {{{Formal Agent-Oriented Modeling with Graph Transformation}}},
  volume       = {{44}},
  year         = {{2002}},
}

@article{7389,
  abstract     = {{Im BMBF-Verbundprojekt MuSofT werden multimediale Lehrmaterialien für die Lehre der Softwaretechnik entwickelt. Neben den inhaltliche Aspekten sind die Distribution und die Lizenzierung der erstellten Lehrmaterialien wichtige Themakomplexe, um die Nachhaltigkeit des Projektes zu erhöhen. In diesem Papier stellen wir die in MuSofT gewählten Lösungen einer Open-Content-Lizenz sowie eines Portals zur Distribution der entwickelten Materialien vor.}},
  author       = {{Doberkat, Ernst-Erich and Engels, Gregor}},
  journal      = {{Informatik Forschung und Entwicklung}},
  number       = {{17}},
  pages        = {{41--44}},
  title        = {{{MuSofT - Multimedia in der Softwaretechnik}}},
  volume       = {{1}},
  year         = {{2002}},
}

@article{7390,
  author       = {{Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}},
  journal      = {{Theoretical Computer Science}},
  number       = {{1-2}},
  pages        = {{163--192}},
  title        = {{{Compositional SOS and Beyond: A Coalgebraic View of Open Systems}}},
  doi          = {{http://dx.doi.org/10.1016/S0304-3975(01)00025-1}},
  volume       = {{280}},
  year         = {{2002}},
}

@inbook{7524,
  author       = {{Ehrig, Hartmut and Hoffmann, Kathrin and Padberg, Julia and Baldan, Paolo and Heckel, Reiko}},
  booktitle    = {{Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg}},
  editor       = {{Brauer, W.  and Ehrig, H.  and Karhumäki, J.  and Salomaa , A. }},
  pages        = {{191--219}},
  publisher    = {{Springer}},
  title        = {{{High-Level Net Processes}}},
  doi          = {{http://dx.doi.org/10.1007/3-540-45711-9_12}},
  volume       = {{2300}},
  year         = {{2002}},
}