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.
906 Publications
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
1999 | Conference Paper | LibreCat-ID: 7859
Heckel, R. (1999). Modeling Agent-Based Systems with Graph Transformation and UML. In Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7860
Sauer, S., & Engels, G. (1999). Extending UML for Modeling of Multimedia Applications. In Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan) (pp. 80–87). Tokyo, Japan: IEEE Computer Society. http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878
LibreCat
| DOI
1999 | Report | LibreCat-ID: 8203
Ehrig, H., Heckel, R., Llabrés, M., & Orejas, F. (1999). Basic Properties of Double Pullback Graph Transitions. Technical University of Berlin.
LibreCat
1999 | Report | LibreCat-ID: 8204
Engels, G., Hücking, R., Sauer, S., & Wagner, A. (1999). UML Collaboration Diagrams and Their Transformation to Java. University of Paderborn, Department of Computer Science.
LibreCat
1999 | Report | LibreCat-ID: 8205
Engels, G., Jan t’Hoen, P., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper, I., & Koopman, P. (1999). SOCCA Extended with UML like Packages (pp. 99–06). Leiden Institute of Advanced Computer Science.
LibreCat
1999 | Report | LibreCat-ID: 8206
Engels, G., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper, I., Koopman, P., & Jan t’Hoen, P. (1999). A Formalisation of SOCCA using Z, part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8321
Sauer, S., & Engels, G. (1999). UML-basierte Modellierung von Multimediaanwendungen. In Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe (pp. 155–170). Karlsruhe, Germany: Teubner, Stuttgart.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8322
Sauer, S., & Engels, G. (1999). OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems. In Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA) (pp. 64–71). Indian Wells, California, USA.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8323
Corradini, A., Große-Rhode, M., & Heckel, R. (1999). An Algebra of Graph Derivations using Finite (co-) limit Double Theories. In Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal) (Vol. 1589, pp. 92–106). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-48483-3_7
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 8324
Corradini, A., Heckel, R., & Montanari, U. (1999). From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. In Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99) (Vol. 19, pp. 118–141). Amsterdam, The Netherlands: Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80273-7
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 8325
Engels, G., Heckel, R., & Sauer, S. (1999). Dynamic Meta Modelling: A Graphical Approach to Operational Semantics. In Proceedings of the workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (satellite event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA).
LibreCat