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.
911 Publications
2000 | Conference Paper | LibreCat-ID: 8341
A Fully Abstract Model for Graph-Interpreted Temporal Logic
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), Springer, London, UK, 2000, pp. 310–322.
LibreCat
| DOI
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), Springer, London, UK, 2000, pp. 310–322.
2000 | Conference Paper | LibreCat-ID: 8342
Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!
G. Engels, A. Zamperoni, in: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), Springer, Berlin/Heidelberg, 2000, pp. 359–368.
LibreCat
| DOI
G. Engels, A. Zamperoni, in: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), Springer, Berlin/Heidelberg, 2000, pp. 359–368.
2000 | Conference Paper | LibreCat-ID: 8343
Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML
R. Heckel, S. Sauer, in: Proceedings of the 7th GI-Workshop GROOM, University of Koblenz-Landau, 2000, pp. 43–44.
LibreCat
R. Heckel, S. Sauer, in: Proceedings of the 7th GI-Workshop GROOM, University of Koblenz-Landau, 2000, pp. 43–44.
2000 | Conference Paper | LibreCat-ID: 8344
Strengthening the Semantics of UML Collaboration Diagrams
R. Heckel, S. Sauer, in: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), Ludwig-Maximilians-University, Munich (Germany), 2000, pp. 63–69.
LibreCat
R. Heckel, S. Sauer, in: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), Ludwig-Maximilians-University, Munich (Germany), 2000, pp. 63–69.
2000 | Conference Paper | LibreCat-ID: 8345
Towards Consistency of Dynamic Models and Analysis of Timing Constraints
J. Küster, J. Stroop, in: Proceedings of 1st Workshop on Formal Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York (UK), University of York, York, UK, 2000.
LibreCat
J. Küster, J. Stroop, in: Proceedings of 1st Workshop on Formal Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York (UK), University of York, York, UK, 2000.
2000 | Conference Paper | LibreCat-ID: 8346
Methodische Aspekte von Modellierungssprachen für nebenläufige Software
K. Mehner, T. Schattkowsky, in: Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany), Universität Münster, 2000, pp. 14–18.
LibreCat
K. Mehner, T. Schattkowsky, in: Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany), Universität Münster, 2000, pp. 14–18.
2000 | Conference Paper | LibreCat-ID: 8347
Visualisierung der Synchronisation von Java-Threads mit UML
K. Mehner, A. Wagner, in: Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany), Fölbach, 2000.
LibreCat
K. Mehner, A. Wagner, in: Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany), Fölbach, 2000.
1999 | Conference (Editor) | LibreCat-ID: 7792
Informatik '99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)
G. Engels, K. Beiersdörfer, W. Schäfer, eds., Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany), Springer, Berlin/Heidelberg, 1999.
LibreCat
G. Engels, K. Beiersdörfer, W. Schäfer, eds., Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany), Springer, Berlin/Heidelberg, 1999.
1999 | Conference Paper | LibreCat-ID: 7849
Patterns as a Means for Intelligent Software Engineering
D. Deugo, J. Küster, F. Oppacher, I. von Otte, in: Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA), CSREA Press, 1999, pp. 605–611.
LibreCat
D. Deugo, J. Küster, F. Oppacher, I. von Otte, in: Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA), CSREA Press, 1999, pp. 605–611.
1999 | Conference Paper | LibreCat-ID: 7850
Tile Transition Systems as Structured Coalgebras
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), Springer, Berlin/Heidelberg, 1999, pp. 13–38.
LibreCat
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), Springer, Berlin/Heidelberg, 1999, pp. 13–38.
1999 | Conference Paper | LibreCat-ID: 7851
Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development
A. Cherchago, 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
A. Cherchago, 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.
1999 | Conference Paper | LibreCat-ID: 7852
Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung
G. Engels, R. Depke, C. Borowski, in: Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen, Technische Akademie Esslingen, Ostfildern, 1999, pp. 531–540.
LibreCat
G. Engels, R. Depke, C. Borowski, in: Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen, Technische Akademie Esslingen, Ostfildern, 1999, pp. 531–540.
1999 | Conference Paper | LibreCat-ID: 7856
UML Collaboration Diagrams and Their Transformation to Java
G. Engels, R. Hücking, S. Sauer, A. Wagner, in: Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA, Springer, Berlin/Heidelberg, 1999, pp. 473–488.
LibreCat
G. Engels, R. Hücking, S. Sauer, A. Wagner, in: Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA, Springer, Berlin/Heidelberg, 1999, pp. 473–488.
1999 | Conference Paper | LibreCat-ID: 7858
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting
F. Gadducci, R. Heckel, M. Llabrés, in: Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK), Elsevier, 1999, pp. 80–100.
LibreCat
| DOI
F. Gadducci, R. Heckel, M. Llabrés, in: Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK), Elsevier, 1999, pp. 80–100.
1999 | Conference Paper | LibreCat-ID: 7859
Modeling Agent-Based Systems with Graph Transformation and UML
R. Heckel, in: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, 1999.
LibreCat
R. Heckel, in: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, 1999.
1999 | Conference Paper | LibreCat-ID: 7860
Extending UML for Modeling of Multimedia Applications
S. Sauer, G. Engels, in: Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan), IEEE Computer Society, Tokyo, Japan, 1999, pp. 80–87.
LibreCat
| DOI
S. Sauer, G. Engels, in: Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan), IEEE Computer Society, Tokyo, Japan, 1999, pp. 80–87.
1999 | Report | LibreCat-ID: 8203
Basic Properties of Double Pullback Graph Transitions
H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, Basic Properties of Double Pullback Graph Transitions, Technical University of Berlin, 1999.
LibreCat
H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, Basic Properties of Double Pullback Graph Transitions, Technical University of Berlin, 1999.
1999 | Report | LibreCat-ID: 8204
UML Collaboration Diagrams and Their Transformation to Java
G. Engels, R. Hücking, S. Sauer, A. Wagner, UML Collaboration Diagrams and Their Transformation to Java, University of Paderborn, Department of Computer Science, 1999.
LibreCat
G. Engels, R. Hücking, S. Sauer, A. Wagner, UML Collaboration Diagrams and Their Transformation to Java, University of Paderborn, Department of Computer Science, 1999.
1999 | Report | LibreCat-ID: 8205
SOCCA Extended with UML like Packages
G. Engels, P. Jan t’Hoen, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, SOCCA Extended with UML like Packages, Leiden Institute of Advanced Computer Science, 1999.
LibreCat
G. Engels, P. Jan t’Hoen, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, SOCCA Extended with UML like Packages, Leiden Institute of Advanced Computer Science, 1999.
1999 | Report | LibreCat-ID: 8206
A Formalisation of SOCCA using Z, part 1: The Type Level Concepts
G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, P. Jan t’Hoen, A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts, Leiden Institute of Advanced Computer Science, 1999.
LibreCat
G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, P. Jan t’Hoen, A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts, Leiden Institute of Advanced Computer Science, 1999.