@inproceedings{7938,
  author       = {{Guo, Ping and Engels, Gregor and Heckel, Reiko}},
  booktitle    = {{Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei (Taiwan)}},
  pages        = {{367--374}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Architectural Style - Based Modeling and Simulation of Complex Software Systems}}},
  doi          = {{http://dx.doi.org/10.1109/APSEC.2005.41}},
  year         = {{2005}},
}

@inproceedings{7939,
  author       = {{Lohmann, Marc and Sauer, Stefan and Engels, Gregor}},
  booktitle    = {{Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005)}},
  pages        = {{63--70}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Executable Visual Contracts}}},
  doi          = {{http://dx.doi.org/10.1109/VLHCC.2005.35}},
  year         = {{2005}},
}

@techreport{8214,
  author       = {{Engels, Gregor and Hendrik Hausmann, Jan and Lohmann, Marc and Sauer, Stefan}},
  publisher    = {{Fakultät für Elektrotechnik,Informatik und Mathematik, Universität Paderborn}},
  title        = {{{Teaching UML is Teaching Software Engineering is Teaching Abstraction}}},
  doi          = {{http://dx.doi.org/10.1007/11663430_32}},
  year         = {{2005}},
}

@article{7379,
  abstract     = {{eLearning supports the education in certain disciplines. Here, we report about novel eLearning concepts, techniques, and tools to support education in Software Engineering, a subdiscipline of computer science. We call this "Software Engineering eLearning". On the other side, software support is a substantial prerequisite for eLearning in any discipline. Thus, Software Engineering techniques have to be applied to develop and maintain those software systems. We call this "eLearning Software Engineering". Both aspects have been investigated in a large joint, BMBF-funded research project, termed MuSofT (Multimedia in Software Engineering). The main results are summarized in this paper.}},
  author       = {{Doberkat, Ernst-Erich and Engels, Gregor and Hendrik Hausmann, Jan and Lohmann, Marc and Pleumann, Jörg and Schröder, Jens}},
  journal      = {{e-learning and education (eleed) Journal}},
  title        = {{{Software Engineering and eLearning: The MuSofT Project}}},
  volume       = {{2}},
  year         = {{2005}},
}

@inbook{7546,
  abstract     = {{This chapter provides an introduction to the Unified Modeling Language (UML), a widely adopted object-oriented modeling standard, and shows how the language can be applied to (business) process modeling. As major perspectives of process modeling with UML 2.0, the chapter covers control flow, data objects and object flow, organizational structure, business partner interactions, and system-specific process models. Various types of UML diagrams are presented with a special focus on how these diagrams fit together and complement each other to form a coherent view of a process. Moreover, a running example is used throughout the chapter to illustrate the different facets of a process model.}},
  author       = {{Engels, Gregor and Förster, Alexander and Heckel, Reiko and Thöne, Sebastian}},
  booktitle    = {{Process-Aware Information Systems}},
  editor       = {{Dumas, M.  and van der Aalst, W.  and ter Hofstede, A.}},
  pages        = {{85--117}},
  publisher    = {{Wiley}},
  title        = {{{Process Modeling using UML}}},
  year         = {{2005}},
}

@inbook{7547,
  abstract     = {{Modularization is a well-known concept to structure software systems as well as their specifications. Modules are equipped with export and import interfaces and thus can be connected with other modules requesting or providing certain features. In this paper, we study modules the interfaces of which consist of behavioral specifications given by typed graph transformation systems. We introduce a framework for classifying and systematically defining relations between typed graph transformation systems. The framework comprises a number of standard ingredients, like homomorphisms between type graphs and mappings between sets of graph transformation rules. The framework is applied to develop a novel concept of substitution morphism by separating preconditions and effects in the specification of rules. This substitution morphism is suited to define the semantic relation between export and import interfaces of requesting and providing modules.}},
  author       = {{Engels, Gregor and Heckel, Reiko and Cherchago, Alexey}},
  booktitle    = {{Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday}},
  editor       = {{ Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, H.-J.}},
  pages        = {{38--63}},
  publisher    = {{Springer}},
  title        = {{{Flexible Interconnection of Graph Transformation Modules - A Systematic Approach}}},
  volume       = {{3393}},
  year         = {{2005}},
}

@inproceedings{8396,
  author       = {{Cherchago, Alexey and Engels, Gregor}},
  booktitle    = {{International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland)}},
  title        = {{{Preservation of Compatibility under Evolution of Software Components}}},
  year         = {{2005}},
}

@inproceedings{8397,
  abstract     = {{Die Vision von Web Services ist, dass ein Service Requestor einen Ser-vice Provider dynamisch finden und binden kann. Für das Finden eines Web Ser-vices müssen die Anforderungen eines Requestors und die Beschreibung eines Services miteinander verglichen werden. Syntaktische Beschreibungen reichen hierfür nicht aus. Eine Möglichkeit zur semantischen Beschreibung von Web Ser-vices basiert auf der Technik Design by Contract. In diesem Papier führen wir eine UML-basierte Notation für Kontrakte sowie ein Matching-Konzept ein. Damit wird eine automatisierte, semantische Suche nach Web Services möglich.}},
  author       = {{Engels, Gregor and Lohmann, Marc and Sauer, Stefan}},
  booktitle    = {{Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Service-orientierte Architekturen - Zusammenwirken von Business & IT, Bonn (Germany)}},
  pages        = {{612--616}},
  publisher    = {{Gesellschaft für Informatik (GI)}},
  title        = {{{Design by Contract zur semantischen Beschreibung von Web Services}}},
  volume       = {{68}},
  year         = {{2005}},
}

@inproceedings{8398,
  abstract     = {{Die Qualität Service-orientierter Softwaresysteme hängt wesentlich von der Einbindung der richtigen Dienste ab. Zwei grundsätzliche Aspekte kommen hierbei zum Tragen: (1) Passen die Anforderungen eines Service Requestors und die Servicebeschreibung eines Service Providers zusammen und (2) ist die Imple-mentierung der Web Services korrekt gegenüber der Servicebeschreibung. Wir verwenden Design by Contract Techniken auf der Modellebene zur semantischen Beschreibung von Web Services und führen ein Matching-Konzept für den Ver-gleich von Requestor- und Provider-Kontrakten ein. Damit wird eine automatisier-te, semantische Suche nach Web Services möglich. Wir erläutern zudem eine mo-dellbasierte Vorgehensweise zur Entwicklung von Web Services. Hierbei werden aus den Modellen der Anwendung (1) die auswertbaren semantischen Beschrei-bungen und (2) Runtime-Assertions erzeugt, um die Korrektheit der Implementie-rung eines Web Services gegenüber seiner Spezifikation zu überprüfen. So wird eine konstruktive und prüfende Qualitätssicherung unterstützt.}},
  author       = {{Engels, Gregor and Lohmann, Marc and Sauer, Stefan}},
  booktitle    = {{Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany}},
  pages        = {{491--495}},
  publisher    = {{Gesellschaft für Informatik (GI)}},
  title        = {{{Modellbasierte Entwicklung von Web Services mit Design by Contract}}},
  volume       = {{68}},
  year         = {{2005}},
}

@proceedings{7782,
  editor       = {{Engels, Gregor and Seehusen, S.}},
  number       = {{P-52}},
  publisher    = {{Gesellschaft für Informatik (GI)}},
  title        = {{{Proceedings of "DeLFI 2004: Die 2. e-Learning Fachtagung Informatik", Paderborn (Germany)}}},
  year         = {{2004}},
}

@proceedings{7783,
  editor       = {{Engels, Gregor and Sauer, Stefan}},
  number       = {{6}},
  publisher    = {{World Scientific}},
  title        = {{{Modeling and Development of Multimedia Systems}}},
  doi          = {{http://dx.doi.org/10.1142/S021819400400183X}},
  volume       = {{14}},
  year         = {{2004}},
}

@proceedings{7784,
  editor       = {{Ehrig, Hartmut and Engels, Gregor and Parisi-Presicce, F. and Rozenberg, Grzegorz}},
  publisher    = {{Springer}},
  title        = {{{Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)}}},
  doi          = {{http://dx.doi.org/10.1007/b100934}},
  volume       = {{3256}},
  year         = {{2004}},
}

@inproceedings{7926,
  author       = {{Engels, Gregor and Sauer, Stefan}},
  booktitle    = {{International Journal of Software Engineering and Knowledge Engineering (IJSEKE)}},
  number       = {{6}},
  pages        = {{543--544}},
  publisher    = {{World Scientific Publishing}},
  title        = {{{Guest Editors' Introduction}}},
  doi          = {{http://dx.doi.org/10.1142/S021819400400183X}},
  volume       = {{14}},
  year         = {{2004}},
}

@inproceedings{7908,
  author       = {{Engels, Gregor and Sauer, Stefan and Neu, Bettina}},
  booktitle    = {{Proceedings of the conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand)}},
  pages        = {{254--256}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Integrating software engineering and user-centred design for multimedia software developments}}},
  doi          = {{http://dx.doi.org/10.1109/HCC.2003.1260240}},
  year         = {{2003}},
}

@inproceedings{7909,
  author       = {{Alfert, Klaus and Doberkat, Ernst-Erich and Engels, Gregor and Lohmann, Marc and Magenheim, Johannes and Schürr, Andy}},
  booktitle    = {{Proceedings of the conference on Software Engineering im Unterricht der Hochschulen (SEUH 2003), Berlin (Germany)}},
  pages        = {{70--80}},
  publisher    = {{dpunkt Verlag}},
  title        = {{{MuSofT: Multimedia in der Softwaretechnik}}},
  year         = {{2003}},
}

@inproceedings{7910,
  author       = {{Engels, Gregor and Heckel, Reiko and Küster, Jochen}},
  booktitle    = {{Proceedings of the 6th International Conference on The Unified Modeling Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA)}},
  pages        = {{356--359}},
  publisher    = {{Springer}},
  title        = {{{The Consistency Workbench: A Tool for Consistency Management in UML-based Development}}},
  volume       = {{2863}},
  year         = {{2003}},
}

@inproceedings{7911,
  author       = {{Engels, Gregor and Küster, Jochen and Heckel, Reiko and Lohmann, Marc}},
  booktitle    = {{Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland)}},
  number       = {{7}},
  pages        = {{1--18}},
  publisher    = {{Elsevier}},
  title        = {{{Model Based Verification and Validation of Properties}}},
  doi          = {{dx.doi.org/10.1016/S1571-0661(04)80752-7}},
  volume       = {{82}},
  year         = {{2003}},
}

@inproceedings{7916,
  author       = {{Küster, Jochen and Heckel, Reiko and Engels, Gregor}},
  booktitle    = {{Proceedings of the conference on Human Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand)}},
  pages        = {{145--152}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Defining and Validating Transformations of UML Models}}},
  doi          = {{https://groups.uni-paderborn.de/fg-engels/Publications/dx.doi.org/10.1109/HCC.2003.1260218}},
  year         = {{2003}},
}

@article{7384,
  abstract     = {{Der Einfluss neuer Technologien auf die Art wie wir Lehren und Lernen wird seit einigen Jahren unter dem Begriff eLearning diskutiert. Auch an den Hochschulen gibt es Bemhungen, eLearning-Konzepte zu etablieren. Dabei versprechen so genannte eLearning-Plattformen ein integriertes und reibungsloses Zusammenarbeiten aller Beteiligten am eLearning zu ermglichen. Der Einsatz einer so zentralen Software in einem System wie der Hochschule ist ein komplexes Problem, fr dessen Bewltigung die Softwaretechnik, ein Fachgebiet der Informatik, Methoden und Sprachen bereitstellt. Zentrale Idee dabei ist es, von existierenden Strukturen und den Bedrfnissen der Anwender auszugehen. In diesem Beitrag wird beschrieben, wie die Analyse von Hochschulstrukturen und Prozessen der Planung des Einsatzes von eLearning-Plattformen dient.}},
  author       = {{Engels, Gregor and Hendrik Hausmann, Jan and Lohmann, Marc}},
  journal      = {{ForschungsForum Paderborn}},
  pages        = {{44--47}},
  title        = {{{eLearning-Plattformen für die Hochschule: Bedarfsgerechte Bestimmung der Anforderungen}}},
  volume       = {{6}},
  year         = {{2003}},
}

@inbook{7532,
  abstract     = {{Ist es möglich klassische Softwareentwicklungsprozesse für die Entwicklung von Web-Anwendungen zu nutzen? Dazu formulieren wir sechs grundlegende Anforderungen an den Prozess der Entwicklung von Web-Anwendungen. Diese Anforderungen werden zur Evaluation des Rational Unified Process (RUP) und von Extreme Programming (XP) verwendet. Dabei konzentrieren wir uns auf den eigentlichen Prozess, d.h. die Organisation des Ablaufs der Entwicklung, und lassen die zugrunde liegenden Methoden so weit wie möglich ausgeklammert. Es zeigt sich, dass keiner der Prozesse in der Lage ist, alle Anforderungen zu erfüllen. Die Stärken des RUP liegen in seiner Anpassbarkeit an den Grad der Komplexität der zu entwickelnden Anwendung. Die Stärken von XP dagegen liegen im Umgang mit kurzen Entwicklungszeiten und sich erst entwickelnden bzw. sich ändernden Anforderungen.}},
  author       = {{Engels, Gregor and Lohmann, Marc and Wagner, Annika}},
  booktitle    = {{Web Engineering: Systematische Entwicklung von Web-Anwendungen}},
  editor       = {{Kappel, G.  and Proell, B.  and Reich, S.  and Retschnitzegger, W.}},
  pages        = {{239--264}},
  publisher    = {{dpunkt-Verlag}},
  title        = {{{Entwicklungsprozess von Web-Anwendungen}}},
  year         = {{2003}},
}