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. (2000). Graphtransitionsregeln zur Beschreibung der Semantik von UML. In Proceedings of the Informatiktage 2000, Bad Schussenried (Germany) (pp. 103–107). Leinfelden - Echterdingen: Konradin Verlag.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7877
Mehner, K., & Wagner, A. (2000). Visualizing the Synchronization of Java-Threads with UML. In Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington) (pp. 199–206). Washington, DC, USA: IEEE Computer Society.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7878
Depke, R., Heckel, R., & Küster, J. (2000). Integrating visual modeling of agent-based and object-oriented systems. In Proceedings of the conference on Autonomous agents (AGENTS 2000), Barcelona (Spain) (pp. 82–83). New York, NY, USA: ACM Press. http://dx.doi.org/10.1145/336595.337052
LibreCat
| DOI
2000 | Report | LibreCat-ID: 8207
Depke, R., Engels, G., & Küster, J. (2000). On the Integration of Roles in the UML. University of Paderborn, Department of Computer Science.
LibreCat
2000 | Report | LibreCat-ID: 8208
Depke, R., Heckel, R., & Küster, J. (2000). Modeling Agent-Based Systems with Graph Transformation. University of Paderborn, Department of Computer Science.
LibreCat
2000 | Report | LibreCat-ID: 8209
Heckel, R., Llabrés, M., Ehrig, H., & Orejas, F. (2000). On the Concurrent Semantics of Open Graph Transformation Systems and Views.
LibreCat
2000 | Report | LibreCat-ID: 8210
Mehner, K., & Wagner, A. (2000). Ablaufvisualisierung für nebenläufige Java-Programme mit UML Interaktionsdiagrammen. University of Saarbrücken.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8329
Hendrik Hausmann, J., Heckel, R., & Sauer, S. (2000). 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).
LibreCat
2000 | Conference Paper | LibreCat-ID: 8330
Depke, R., Heckel, R., & Küster, J. (2000). 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.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8331
Heckel, R., Llabrés, M., Ehrig, H., & Orejas, F. (2000). Concurrency of Double-Pullback Graph Transitions. In Proceedings of workshop on Graph Transformation Systems (GraTra; satellite event of the ETAPS 2000), Berlin (Germany).
LibreCat
2000 | Conference Paper | LibreCat-ID: 8332
Busatto, G., Engels, G., Mehner, K., & Wagner, A. (2000). 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, pp. 352–367). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/b75045
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8333
Corradini, A., Heckel, R., & Montanari, U. (2000). Graphical Operational Semantics. In Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland) (pp. 411–418). Carleton Scientific.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8334
Depke, R., & Heckel, R. (2000). 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).
LibreCat
2000 | Conference Paper | LibreCat-ID: 8335
Depke, R., Heckel, R., & Küster, J. (2000). 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.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8336
Depke, R., Heckel, R., & Küster, J. (2000). 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).
LibreCat
2000 | Conference Paper | LibreCat-ID: 8337
Depke, R., Heckel, R., & Küster, J. (2000). 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.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8338
Depke, R., & Heckel, R. (2000). 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) (pp. 419–426). Carleton Scientific.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8339
Engels, G., & Heckel, R. (2000). 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) (pp. 373–382). Carleton Scientific.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8340
Engels, G., Küster, J., & Groenewegen, L. (2000). Modeling Concurrent Behavior through Consistent Statechart Views. In Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany) (pp. 44–49). Munich (Germany): Ludwig-Maximilians-University.
LibreCat
2000 | Journal Article | LibreCat-ID: 7396
Engels, G., & Heckel, R. (2000). Graph Transformation and Visual Modeling Techniques. Bulletin of the EATCS, (71), 186–202.
LibreCat
2000 | Journal Article | LibreCat-ID: 7397
Corradini, A., & Heckel, R. (2000). Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. Bulletin of the EATCS, (72), 69–76.
LibreCat
2000 | Journal Article | LibreCat-ID: 7398
Depke, R., Heckel, R., Küster, J., & Langham, M. (2000). Agenten im Auftrag des Bankkunden. Geldinstitute, 31(1–2), 32–33.
LibreCat
2000 | Book | LibreCat-ID: 7509
Doberkat, E.-E. (2000). Multimedia in der wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht. LIT Verlag Münster.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7520
Engels, G., Kelter, U., Depke, R., & Mehner, K. (2000). Unterstützende Angebote der Softwarebegleitgruppe. In Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht (pp. 27–56). Münster: LIT.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7521
Engels, G., Depke, R., & Mehner, K. (2000). Ergebnisse - vergleichende Darstellung. In Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht (pp. 277–294). Münster: LIT.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7522
Engels, G., Groenewegen, L., & Kappel, G. (2000). Coordinated Collaboration of Objects. In Proceedings of Advances in Object-Oriented Modeling (pp. 307–332). The MIT Press.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8341
Gadducci, F., Heckel, R., & Koch, M. (2000). 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, pp. 310–322). London, UK: Springer. http://dx.doi.org/10.1007/b75045
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8342
Engels, G., & Zamperoni, A. (2000). 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, pp. 359–368). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45104-8_28
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8343
Heckel, R., & Sauer, S. (2000). Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML. In Proceedings of the 7th GI-Workshop GROOM (Vol. 20, pp. 43–44). University of Koblenz-Landau.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8344
Heckel, R., & Sauer, S. (2000). Strengthening the Semantics of UML Collaboration Diagrams. In Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany) (pp. 63–69). Munich (Germany): Ludwig-Maximilians-University.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8345
Küster, J., & Stroop, J. (2000). 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.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8346
Mehner, K., & Schattkowsky, T. (2000). 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, pp. 14–18). Universität Münster.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8347
Mehner, K., & Wagner, A. (2000). 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). Fölbach.
LibreCat
1999 | Conference (Editor) | LibreCat-ID: 7792
Engels, G., Beiersdörfer, K., & Schäfer, W. (Eds.). (1999). Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany). Berlin/Heidelberg: Springer.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7849
Deugo, D., Küster, J., Oppacher, F., & von Otte, I. (1999). 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, pp. 605–611). CSREA Press.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7850
Corradini, A., Heckel, R., & Montanari, U. (1999). Tile Transition Systems as Structured Coalgebras. In Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99) (Vol. 1684, pp. 13–38). Berlin/Heidelberg: Springer.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7851
Cherchago, A. (1999). 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).
LibreCat
1999 | Conference Paper | LibreCat-ID: 7852
Engels, G., Depke, R., & Borowski, C. (1999). Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung. In Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen (Vol. 8, pp. 531–540). Ostfildern: Technische Akademie Esslingen.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7856
Engels, G., Hücking, R., Sauer, S., & Wagner, A. (1999). 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, pp. 473–488). Berlin/Heidelberg: Springer.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7858
Gadducci, F., Heckel, R., & Llabrés, M. (1999). 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, pp. 80–100). Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80309-3
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 7859
Heckel, R. (1999). 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.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7860
Sauer, S., & Engels, G. (1999). Extending UML for Modeling of Multimedia Applications. In Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan) (pp. 80–87). Tokyo, Japan: IEEE Computer Society. 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. (1999). Basic Properties of Double Pullback Graph Transitions. Technical University of Berlin.
LibreCat
1999 | Report | LibreCat-ID: 8204
Engels, G., Hücking, R., Sauer, S., & Wagner, A. (1999). UML Collaboration Diagrams and Their Transformation to Java. University of Paderborn, Department of Computer Science.
LibreCat
1999 | Report | LibreCat-ID: 8205
Engels, G., Jan t’Hoen, P., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper, I., & Koopman, P. (1999). SOCCA Extended with UML like Packages (pp. 99–06). Leiden Institute of Advanced Computer Science.
LibreCat
1999 | Report | LibreCat-ID: 8206
Engels, G., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper, I., Koopman, P., & Jan t’Hoen, P. (1999). A Formalisation of SOCCA using Z, part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8321
Sauer, S., & Engels, G. (1999). UML-basierte Modellierung von Multimediaanwendungen. In Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe (pp. 155–170). Karlsruhe, Germany: Teubner, Stuttgart.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8322
Sauer, S., & Engels, G. (1999). 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) (pp. 64–71). Indian Wells, California, USA.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8323
Corradini, A., Große-Rhode, M., & Heckel, R. (1999). 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, pp. 92–106). Berlin/Heidelberg: Springer. 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. (1999). 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, pp. 118–141). Amsterdam, The Netherlands: Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80273-7
LibreCat
| DOI