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: 7858
F. Gadducci, R. Heckel, and M. Llabrés, “A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting,” in Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK), 1999, vol. 29, pp. 80–100.
LibreCat | DOI
 

Filters and Search Terms

department=66

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed