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 | Conference Paper | LibreCat-ID: 8345
J. Küster and J. Stroop, “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), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8346
K. Mehner and T. Schattkowsky, “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), 2000, vol. 24, pp. 14–18.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8347
K. Mehner and A. Wagner, “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), 2000, vol. 15.
LibreCat
1999 | Conference (Editor) | LibreCat-ID: 7792
G. Engels, K. Beiersdörfer, and W. Schäfer, Eds., Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany). Berlin/Heidelberg: Springer, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7849
D. Deugo, J. Küster, F. Oppacher, and I. von Otte, “Patterns as a Means for Intelligent Software Engineering,” in Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA), 1999, vol. 2, pp. 605–611.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7850
A. Corradini, R. Heckel, and U. Montanari, “Tile Transition Systems as Structured Coalgebras,” in Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), 1999, vol. 1684, pp. 13–38.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7851
A. Cherchago, “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
1999 | Conference Paper | LibreCat-ID: 7852
G. Engels, R. Depke, and C. Borowski, “Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung,” in Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen, 1999, vol. 8, pp. 531–540.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7856
G. Engels, R. Hücking, S. Sauer, and A. Wagner, “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, 1999, vol. 1723, pp. 473–488.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7859
R. Heckel, “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, 1999, no. 258.
LibreCat
1999 | Report | LibreCat-ID: 8203
H. Ehrig, R. Heckel, M. Llabrés, and F. Orejas, Basic Properties of Double Pullback Graph Transitions. Technical University of Berlin, 1999.
LibreCat
1999 | Report | LibreCat-ID: 8204
G. Engels, R. Hücking, S. Sauer, and A. Wagner, UML Collaboration Diagrams and Their Transformation to Java. University of Paderborn, Department of Computer Science, 1999.
LibreCat
1999 | Report | LibreCat-ID: 8205
G. Engels, P. Jan t’Hoen, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, and P. Koopman, SOCCA Extended with UML like Packages. Leiden Institute of Advanced Computer Science, 1999, pp. 99–06.
LibreCat
1999 | Report | LibreCat-ID: 8206
G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, and P. Jan t’Hoen, A Formalisation of SOCCA using Z, part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8321
S. Sauer and G. Engels, “UML-basierte Modellierung von Multimediaanwendungen,” in Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe, 1999, pp. 155–170.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8322
S. Sauer and G. Engels, “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), 1999, pp. 64–71.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8323
A. Corradini, M. Große-Rhode, and R. Heckel, “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), 1999, vol. 1589, pp. 92–106.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 8324
A. Corradini, R. Heckel, and U. Montanari, “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), 1999, vol. 19, pp. 118–141.
LibreCat
| DOI