Corradini A, Heckel R. Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. Bulletin of the EATCS. 2000;(72):69-76.
LibreCat: /record/7397

Depke R, Heckel R, Küster J, Langham M. Agenten im Auftrag des Bankkunden. Geldinstitute. 2000;31(1-2):32-33.
LibreCat: /record/7398

Doberkat E-E. Multimedia in Der Wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht. LIT Verlag Münster; 2000.
LibreCat: /record/7509

Engels G, Kelter U, Depke R, Mehner K. Unterstützende Angebote der Softwarebegleitgruppe. In: Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht. Münster: LIT; 2000:27-56.
LibreCat: /record/7520

Engels G, Depke R, Mehner K. Ergebnisse - vergleichende Darstellung. In: Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht. Münster: LIT; 2000:277-294.
LibreCat: /record/7521

Engels G, Groenewegen L, Kappel G. Coordinated Collaboration of Objects. In: Proceedings of Advances in Object-Oriented Modeling. The MIT Press; 2000:307-332.
LibreCat: /record/7522

Gadducci F, Heckel R, Koch M. A Fully Abstract Model for Graph-Interpreted Temporal Logic. In: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany). Vol 1764. LNCS. London, UK: Springer; 2000:310-322. doi:http://dx.doi.org/10.1007/b75045
LibreCat: /record/8341
DOI: http://dx.doi.org/10.1007/b75045

Engels G, Zamperoni A. Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?! In: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands). Vol 1779. LNCS. Berlin/Heidelberg: Springer; 2000:359-368. doi:http://dx.doi.org/10.1007/3-540-45104-8_28
LibreCat: /record/8342
DOI: http://dx.doi.org/10.1007/3-540-45104-8_28

Heckel R, Sauer S. Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML. In: Proceedings of the 7th GI-Workshop GROOM. Vol 20. University of Koblenz-Landau; 2000:43-44.
LibreCat: /record/8343

Heckel R, Sauer S. Strengthening the Semantics of UML Collaboration Diagrams. In: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany). Munich (Germany): Ludwig-Maximilians-University; 2000:63-69.
LibreCat: /record/8344

Küster J, Stroop J. Towards Consistency of Dynamic Models and Analysis of Timing Constraints. In: Proceedings of 1st Workshop on Formal Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York (UK). York, UK: University of York; 2000.
LibreCat: /record/8345

Mehner K, Schattkowsky T. Methodische Aspekte von Modellierungssprachen für nebenläufige Software. In: Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany). Vol 24. Universität Münster; 2000:14-18.
LibreCat: /record/8346

Mehner K, Wagner A. Visualisierung der Synchronisation von Java-Threads mit UML. In: Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany). Vol 15. Koblenzer Schriften zur Informatik. Fölbach; 2000.
LibreCat: /record/8347

Engels G, Beiersdörfer K, Schäfer W, eds. Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany). Berlin/Heidelberg: Springer; 1999.
LibreCat: /record/7792

Deugo D, Küster J, Oppacher F, von Otte I. Patterns as a Means for Intelligent Software Engineering. In: Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA). Vol 2. CSREA Press; 1999:605-611.
LibreCat: /record/7849

Corradini A, Heckel R, Montanari U. Tile Transition Systems as Structured Coalgebras. In: Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99). Vol 1684. LNCS. Berlin/Heidelberg: Springer; 1999:13-38.
LibreCat: /record/7850

Cherchago A. Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development. In: Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia). ; 1999.
LibreCat: /record/7851

Engels G, Depke R, Borowski C. Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung. In: Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen. Vol 8. Ostfildern: Technische Akademie Esslingen; 1999:531-540.
LibreCat: /record/7852

Engels G, Hücking R, Sauer S, Wagner A. UML Collaboration Diagrams and Their Transformation to Java. In: Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA. Vol 1723. LNCS. Berlin/Heidelberg: Springer; 1999:473-488.
LibreCat: /record/7856

Gadducci F, Heckel R, Llabrés M. A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. In: Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK). Vol 29. Electronic Notes in Theoretical Computer Science. Elsevier; 1999:80-100. doi:http://dx.doi.org/10.1016/S1571-0661(05)80309-3
LibreCat: /record/7858
DOI: http://dx.doi.org/10.1016/S1571-0661(05)80309-3