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
Küster, Jochen, and Joachim Stroop. “Towards Consistency of Dynamic Models and Analysis of Timing Constraints.” Proceedings of 1st Workshop on Formal Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York (UK), University of York, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8346
Mehner, Katharina, and Tim Schattkowsky. “Methodische Aspekte von Modellierungssprachen Für Nebenläufige Software.” 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, pp. 14–18.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8347
Mehner, Katharina, and Annika Wagner. “Visualisierung Der Synchronisation von Java-Threads Mit UML.” Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany), vol. 15, Fölbach, 2000.
LibreCat
1999 | Conference (Editor) | LibreCat-ID: 7792
Engels, Gregor, et al., editors. Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany). Springer, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7849
Deugo, Dwight, et al. “Patterns as a Means for Intelligent Software Engineering.” Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA), vol. 2, CSREA Press, 1999, pp. 605–11.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7850
Corradini, Andrea, et al. “Tile Transition Systems as Structured Coalgebras.” Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), vol. 1684, Springer, 1999, pp. 13–38.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7851
Cherchago, Alexey. “Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development.” 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
Engels, Gregor, et al. “Konzeption Und Objektorientierte Realisierung Einer Internet-Basierten Datenbankanwendung.” Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen, vol. 8, Technische Akademie Esslingen, 1999, pp. 531–40.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7856
Engels, Gregor, et al. “UML Collaboration Diagrams and Their Transformation to Java.” Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA, vol. 1723, Springer, 1999, pp. 473–88.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7858
Gadducci, Fabio, et al. “A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting.” Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK), vol. 29, Elsevier, 1999, pp. 80–100, doi:http://dx.doi.org/10.1016/S1571-0661(05)80309-3.
LibreCat
| DOI