Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
907 Publications
2000 | Journal Article | LibreCat-ID: 7397
Corradini, A., & Heckel, R. (2000). Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. Bulletin of the EATCS, (72), 69–76.
LibreCat
2000 | Journal Article | LibreCat-ID: 7398
Depke, R., Heckel, R., Küster, J., & Langham, M. (2000). Agenten im Auftrag des Bankkunden. Geldinstitute, 31(1–2), 32–33.
LibreCat
2000 | Book | LibreCat-ID: 7509
Doberkat, E.-E. (2000). Multimedia in der wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht. LIT Verlag Münster.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7520
Engels, G., Kelter, U., Depke, R., & Mehner, K. (2000). Unterstützende Angebote der Softwarebegleitgruppe. In Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht (pp. 27–56). Münster: LIT.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7521
Engels, G., Depke, R., & Mehner, K. (2000). Ergebnisse - vergleichende Darstellung. In Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht (pp. 277–294). Münster: LIT.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7522
Engels, G., Groenewegen, L., & Kappel, G. (2000). Coordinated Collaboration of Objects. In Proceedings of Advances in Object-Oriented Modeling (pp. 307–332). The MIT Press.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8341
Gadducci, F., Heckel, R., & Koch, M. (2000). 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, pp. 310–322). London, UK: Springer. http://dx.doi.org/10.1007/b75045
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8342
Engels, G., & Zamperoni, A. (2000). 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, pp. 359–368). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45104-8_28
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8343
Heckel, R., & Sauer, S. (2000). Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML. In Proceedings of the 7th GI-Workshop GROOM (Vol. 20, pp. 43–44). University of Koblenz-Landau.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8344
Heckel, R., & Sauer, S. (2000). Strengthening the Semantics of UML Collaboration Diagrams. In Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany) (pp. 63–69). Munich (Germany): Ludwig-Maximilians-University.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8345
Küster, J., & Stroop, J. (2000). 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.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8346
Mehner, K., & Schattkowsky, T. (2000). 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, pp. 14–18). Universität Münster.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8347
Mehner, K., & Wagner, A. (2000). 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). Fölbach.
LibreCat
1999 | Conference (Editor) | LibreCat-ID: 7792
Engels, G., Beiersdörfer, K., & Schäfer, W. (Eds.). (1999). Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany). Berlin/Heidelberg: Springer.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7849
Deugo, D., Küster, J., Oppacher, F., & von Otte, I. (1999). 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, pp. 605–611). CSREA Press.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7850
Corradini, A., Heckel, R., & Montanari, U. (1999). Tile Transition Systems as Structured Coalgebras. In Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99) (Vol. 1684, pp. 13–38). Berlin/Heidelberg: Springer.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7851
Cherchago, A. (1999). 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).
LibreCat
1999 | Conference Paper | LibreCat-ID: 7852
Engels, G., Depke, R., & Borowski, C. (1999). Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung. In Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen (Vol. 8, pp. 531–540). Ostfildern: Technische Akademie Esslingen.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7856
Engels, G., Hücking, R., Sauer, S., & Wagner, A. (1999). 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, pp. 473–488). Berlin/Heidelberg: Springer.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7858
Gadducci, F., Heckel, R., & Llabrés, M. (1999). 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, pp. 80–100). Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80309-3
LibreCat
| DOI