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: 7876
Hendrik Hausmann J. Graphtransitionsregeln zur Beschreibung der Semantik von UML. In: Proceedings of the Informatiktage 2000, Bad Schussenried (Germany). Leinfelden - Echterdingen: Konradin Verlag; 2000:103-107.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7877
Mehner K, Wagner A. Visualizing the Synchronization of Java-Threads with UML. In: Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington). Washington, DC, USA: IEEE Computer Society; 2000:199-206.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7878
Depke R, Heckel R, Küster J. Integrating visual modeling of agent-based and object-oriented systems. In: Proceedings of the Conference on Autonomous Agents (AGENTS 2000), Barcelona (Spain). New York, NY, USA: ACM Press; 2000:82-83. doi:http://dx.doi.org/10.1145/336595.337052
LibreCat
| DOI
2000 | Report | LibreCat-ID: 8207
Depke R, Engels G, Küster J. On the Integration of Roles in the UML. University of Paderborn, Department of Computer Science; 2000.
LibreCat
2000 | Report | LibreCat-ID: 8208
Depke R, Heckel R, Küster J. Modeling Agent-Based Systems with Graph Transformation. University of Paderborn, Department of Computer Science; 2000.
LibreCat
2000 | Report | LibreCat-ID: 8209
Heckel R, Llabrés M, Ehrig H, Orejas F. On the Concurrent Semantics of Open Graph Transformation Systems and Views.; 2000.
LibreCat
2000 | Report | LibreCat-ID: 8210
Mehner K, Wagner A. Ablaufvisualisierung Für Nebenläufige Java-Programme Mit UML Interaktionsdiagrammen. University of Saarbrücken; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8329
Hendrik Hausmann J, Heckel R, Sauer S. Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung. In: Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany). ; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8330
Depke R, Heckel R, Küster J. Modeling Agent-Based Systems with Graph Transformation and UML: From Requirement Specifcation to Object-Oriented Design. In: Proceedings of the Workshop on Graph Transformation Systems (GraTra 2000), Berlin (Germany). Berlin, Germany; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8331
Heckel R, Llabrés M, Ehrig H, Orejas F. Concurrency of Double-Pullback Graph Transitions. In: Proceedings of Workshop on Graph Transformation Systems (GraTra; Satellite Event of the ETAPS 2000), Berlin (Germany). ; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8332
Busatto G, Engels G, Mehner K, Wagner A. A Framework for Adding Packages to Graph Transformation Approaches. In: Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT ’98), Paderborn (Germany). Vol 1764. LNCS. Berlin/Heidelberg: Springer; 2000:352-367. doi:http://dx.doi.org/10.1007/b75045
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8333
Corradini A, Heckel R, Montanari U. Graphical Operational Semantics. In: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland). Carleton Scientific; 2000:411-418.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8334
Depke R, Heckel R. Towards Role-based Modeling of Autonomous Agents. In: Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany). ; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8335
Depke R, Heckel R, Küster J. Requirement Specification and Design of Agent-Based Systems with Graph Transformation, Roles and UML. In: Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (Satellite Event of the ICSE 2000), Limerick (Ireland). Limerick, Ireland: University of Limerick; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8336
Depke R, Heckel R, Küster J. Deploying Agents in an Electronic Banking Environment. In: Proceedings of the Workshop on Agents in Industry (Agents 2000; Satellite Event of the 4th International Conference on Autonomous Agents), Barcelona (Spain). ; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8337
Depke R, Heckel R, Küster J. Rollenbasierte Modellierung autonomer Agenten. In: Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany). Münster: Universität Münster; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8338
Depke R, Heckel R. Formalizing the Development of Agent-Based Systems Using Graph Processes. In: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland). Carleton Scientific; 2000:419-426.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8339
Engels G, Heckel R. From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation. In: Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (Satellite Events of the ICALP 2000), Geneva(Switzerland). Carleton Scientific; 2000:373-382.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8340
Engels G, Küster J, Groenewegen L. Modeling Concurrent Behavior through Consistent Statechart Views. In: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany). Munich (Germany): Ludwig-Maximilians-University; 2000:44-49.
LibreCat
2000 | Journal Article | LibreCat-ID: 7396
Engels G, Heckel R. Graph Transformation and Visual Modeling Techniques. Bulletin of the EATCS. 2000;(71):186-202.
LibreCat
2000 | Journal Article | LibreCat-ID: 7397
Corradini A, Heckel R. Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. Bulletin of the EATCS. 2000;(72):69-76.
LibreCat
2000 | Journal Article | LibreCat-ID: 7398
Depke R, Heckel R, Küster J, Langham M. Agenten im Auftrag des Bankkunden. Geldinstitute. 2000;31(1-2):32-33.
LibreCat
2000 | Book | LibreCat-ID: 7509
Doberkat E-E. Multimedia in Der Wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht. LIT Verlag Münster; 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7520
Engels G, Kelter U, Depke R, Mehner K. Unterstützende Angebote der Softwarebegleitgruppe. In: Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht. Münster: LIT; 2000:27-56.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7521
Engels G, Depke R, Mehner K. Ergebnisse - vergleichende Darstellung. In: Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht. Münster: LIT; 2000:277-294.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7522
Engels G, Groenewegen L, Kappel G. Coordinated Collaboration of Objects. In: Proceedings of Advances in Object-Oriented Modeling. The MIT Press; 2000:307-332.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8341
Gadducci F, Heckel R, Koch M. A Fully Abstract Model for Graph-Interpreted Temporal Logic. In: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany). Vol 1764. LNCS. London, UK: Springer; 2000:310-322. doi:http://dx.doi.org/10.1007/b75045
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8342
Engels G, Zamperoni A. Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?! In: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands). Vol 1779. LNCS. Berlin/Heidelberg: Springer; 2000:359-368. doi:http://dx.doi.org/10.1007/3-540-45104-8_28
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8343
Heckel R, Sauer S. Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML. In: Proceedings of the 7th GI-Workshop GROOM. Vol 20. University of Koblenz-Landau; 2000:43-44.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8344
Heckel R, Sauer S. Strengthening the Semantics of UML Collaboration Diagrams. In: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany). Munich (Germany): Ludwig-Maximilians-University; 2000:63-69.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8345
Küster J, Stroop J. 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). York, UK: University of York; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8346
Mehner K, Schattkowsky T. 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. Universität Münster; 2000:14-18.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8347
Mehner K, Wagner A. 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. Koblenzer Schriften zur Informatik. Fölbach; 2000.
LibreCat
1999 | Conference (Editor) | LibreCat-ID: 7792
Engels G, Beiersdörfer K, Schäfer W, 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
Deugo D, Küster J, Oppacher F, von Otte I. 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. CSREA Press; 1999:605-611.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7850
Corradini A, Heckel R, Montanari U. Tile Transition Systems as Structured Coalgebras. In: Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99). Vol 1684. LNCS. Berlin/Heidelberg: Springer; 1999:13-38.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7851
Cherchago A. 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
Engels G, Depke R, Borowski C. Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung. In: Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen. Vol 8. Ostfildern: Technische Akademie Esslingen; 1999:531-540.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7856
Engels G, Hücking R, Sauer S, Wagner A. 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. LNCS. Berlin/Heidelberg: Springer; 1999:473-488.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7858
Gadducci F, Heckel R, Llabrés M. 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. Electronic Notes in Theoretical Computer Science. Elsevier; 1999:80-100. doi:http://dx.doi.org/10.1016/S1571-0661(05)80309-3
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 7859
Heckel R. 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.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7860
Sauer S, Engels G. Extending UML for Modeling of Multimedia Applications. In: Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan). Tokyo, Japan: IEEE Computer Society; 1999:80-87. doi: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. Basic Properties of Double Pullback Graph Transitions. Technical University of Berlin; 1999.
LibreCat
1999 | Report | LibreCat-ID: 8204
Engels G, Hücking R, Sauer S, Wagner A. UML Collaboration Diagrams and Their Transformation to Java. University of Paderborn, Department of Computer Science; 1999.
LibreCat
1999 | Report | LibreCat-ID: 8205
Engels G, Jan t’Hoen P, Dassen R, Groenewegen L, G. Sprinkhuizen-Kuyper I, Koopman P. SOCCA Extended with UML like Packages. Leiden Institute of Advanced Computer Science; 1999:99-06.
LibreCat
1999 | Report | LibreCat-ID: 8206
Engels G, Dassen R, Groenewegen L, G. Sprinkhuizen-Kuyper I, Koopman P, Jan t’Hoen P. 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
Sauer S, Engels G. UML-basierte Modellierung von Multimediaanwendungen. In: Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe. Karlsruhe, Germany: Teubner, Stuttgart; 1999:155-170.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8322
Sauer S, Engels G. 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). Indian Wells, California, USA; 1999:64-71.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8323
Corradini A, Große-Rhode M, Heckel R. 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. LNCS. Berlin/Heidelberg: Springer; 1999:92-106. doi: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. 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. Electronic Notes in TCS. Amsterdam, The Netherlands: Elsevier; 1999:118-141. doi:http://dx.doi.org/10.1016/S1571-0661(05)80273-7
LibreCat
| DOI