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
2001 | Conference Paper | LibreCat-ID: 7889
Hendrik Hausmann, Jan, and Reiko Heckel. “Use Cases as Views: A Formal Approach to Requirements Engineering in the Unified Process.” In Proceedings of the GI/OCG-Jahrestagung on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit (2001), Wien (Österreich), 1:595–99. Wien (Österreich): Österreichische Computer Gesellschaft, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7890
Heckel, Reiko. “Open Petri Nets as Semantic Model for Business Process Integration.” In Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, 129–34. DFG Research Group “Petri Net Technology,” 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7891
Heckel, Reiko, and Stefan Sauer. “Strengthening UML Collaboration Diagrams by State Transformations.” In Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy), 2029:109–23. LNCS. London, UK: Springer, 2001. http://dx.doi.org/10.1007/3-540-45314-8_9.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7892
Küster, Jochen. “Towards Behavior Consistent Modeling in UML-RT.” In Proceedings of the Forum on Design Languages (FDL’01). Lyon, France, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7893
Sauer, Stefan, and Gregor Engels. “UML-Based Behavior Specification of Interactive Multimedia Applications.” In Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy), 248–55. Washington, DC, USA: IEEE Computer Society, 2001. http://dx.doi.org/10.1109/HCC.2001.995271.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7894
Heckel, Reiko, and Albert Zündorf. “How to Specify a Graph Transformation Approach - A Meta Model for Fujaba.” In Proceeding of the Workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, Satellite Event of the ETAPS 2001), edited by H. Ehrig and J. Padberg, 44:41–51. Electronic Notes in Theoretical Computer Science. Genova (Italy): Elsevier, 2001.
LibreCat
2001 | Report | LibreCat-ID: 8211
Engels, Gregor, Jochen Küster, and Luuk Groenewegen. On the Specification and Analysis of Protocols in UML-RT. University of Paderborn, Department of Computer Science, 2001.
LibreCat
2001 | Journal Article | LibreCat-ID: 7391
Padberg, Julia, Lars Jansen, Hartmut Ehrig, E. Schnieder, and Reiko Heckel. “Cooperability in Train Control Systems: Specification of Scenarios Using Open Nets.” Transactions of the Society for Design and Process Science 5, no. 1 (2001): 3–21.
LibreCat
2001 | Journal Article | LibreCat-ID: 7392
Heckel, Reiko, Hartmut Ehrig, Uwe Wolter, and Andrea Corradini. “Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.” Applied Categorical Structures 9, no. 1 (2001): 83–110.
LibreCat
2001 | Journal Article | LibreCat-ID: 7393
Depke, Ralph, Reiko Heckel, and Jochen Küster. “Roles in Agent-Oriented Modeling.” International Journal of Software Engineering and Knowledge Engineering 11, no. 3 (2001): 281–302. http://dx.doi.org/10.1142/S0218194001000529.
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 7394
Corradini, Andrea, Martin Große-Rhode, and Reiko Heckel. “A Coalgebraic Presentation of Structured Transition Systems.” Theoretical Computer Science 260, no. 1–2 (2001): 27–55. http://dx.doi.org/10.1016/S0304-3975(00)00121-3.
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 7395
Engels, Gregor, Jens Gaulke, and Stefan Sauer. “Modelle Für Automobile Software - Objektorientierte Modellierung von Eingebetteten, Interaktiven Softwaresystemen Im Automobil.” Forschungsforum Paderborn 4 (2001): 24–29.
LibreCat
2001 | Conference Paper | LibreCat-ID: 8355
Lohmann, Marc, and Annika Wagner. “Using an XML-Capable Mailtool for the Communication in Software Development Projects.” In Proceedings of the Workshop on XML Technologies and Software Engineering (XSE; Satellite Event of the ICSE 2001), Toronto (Canada), 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 8356
Schattkowsky, Tim, Katharina Mehner, and Ralph Depke. “Using UML Models for the Description of Concurrent Behavior in Component Interfaces.” In Proceedings of the Workshop on Concurrency Issues of the UML (Satellite Event of the International Conference on the Unified Modeling Language - UML 2001), Toronto (Canada), 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 8357
Depke, Ralph, Reiko Heckel, and Jochen Küster. “Agent-Oriented Modeling with Graph Transformation.” In Proceedings of the First International Workshop on Agent-Oriented Software Engineering (AOSE 2000), Limerick (Ireland), 1957:105–20. LNCS. Berlin/Heidelberg: Springer, 2001. http://dx.doi.org/10.1007/3-540-44564-1_7.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 8358
Depke, Ralph, and Katharina Mehner. “‘Separation of Concern’ Mit Rollen, Subjekten Und Aspekten.” In Proceedings of the Workshop on Aspektorientierung - Workshop Der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn (Germany), 1–7. Technical Report. Universität Paderborn, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 8359
Engels, Gregor, and Jochen Küster. “Enhancing UML-RT Concepts for Behavioral Consistent Architecture Models.” In Proceedings of the 1st Workshop on Describing Software Architecture with UML (Satellite Event of the ICSE 2001), Toronto (Canada), 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 8360
Hendrik Hausmann, Jan, Jochen Küster, and Stefan Sauer. “Identifiying Semantic Dimensions of (UML) Sequence Diagrams.” In Proceedings of the Workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the EXtremists (PUML, Colocated with the UML 2001), Toronto (Canada), 7:142–57. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 8361
Heckel, Reiko, and Jochen Küster. “Behavioral Constraints for Visual Models.” In Proceeding of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2001, Satellite Event of the ICALP 2001), Heraklion (Greece), Vol. 50. Electronic Notes in Theoretical Computer Science. Elsevier, 2001. https://doi.org/dx.doi.org/10.1016/S1571-0661(04)00177-X.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 8362
Mehner, Katharina, and Bernd Weymann. “Visualization and Debugging of Concurrent Java Programs with UML.” In Proceedings of the Workshop on Software Visualization (Satellite Event of the International Conference on Software Engineering - ICSE 2001), Toronto (Canada), 2001.
LibreCat
2000 | Conference (Editor) | LibreCat-ID: 7790
Ehrig, Hartmut, Gregor Engels, H.-J. Kreowksi, and Gabriele Taentzer, eds. Special Issue: Selected Papers of GRATRA 2000. Vol. 44. Science of Computer Programming. Amsterdam, The Netherlands: Elsevier, 2000.
LibreCat
2000 | Conference (Editor) | LibreCat-ID: 7791
Rolim, J.D.P., A.Z. Broder, A. Corradini, R. Gorrieri, R. Heckel, J. Hromkovic, U. Vaccaro, and J.B. Wells, eds. Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland). Waterloo, Ontario, Canada: Carleton Scientific, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7861
Lohmann, Marc, and Annika Wagner. “Konzeption Eines XML-Fähigen Mailtools.” In Proceedings of Net.Object Days 2000, Erfurt (Germany), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7862
Thöne, Sebastian. “Entwicklung Eines Übersetzers von Nachrichtenaustauschformaten Für Bankselbstbedienungssysteme in XML-Formate.” In Proceedings of the Informatiktage 2000, Bad Schussenried (Germany). Leinfelden - Echterdingen: Konradin-Verlag, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7863
Cherchago, Alexey, and N. Alexandrova. “A Model of a Physician’s Decision-Making Process Using Electropunctural Methods of Diagnostics.” In Proceedings of the All-Russia Students, Young Scientists and Specialists Scientific and Technical Conference on Biotechnical, Medical and Environmental Systems and Complexes (Ryazan, Russia), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7864
Depke, Ralph, Matthew Langham, Björn Lütkemeier, and Sebastian Thöne. “Ein Konzept Zur Generierung von XSL-Transformationen Und Dessen Anwendung Bei Bankselbstbedienungssystemen.” In Proceedings of the Net.ObjectDays (2000), Erfurt (Germany), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7872
Engels, Gregor, and Reiko Heckel. “Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution.” In Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland), 1853:127–50. LNCS. Berlin/Heidelberg: Springer, 2000. http://dx.doi.org/10.1007/3-540-45022-X_12.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 7873
Engels, Gregor, Reiko Heckel, and Stefan Sauer. “UML - A Universal Modeling Language?” In Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark), 1825:24–38. LNCS. Berlin/Heidelberg: Springer, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7874
Engels, Gregor, and Luuk Groenewegen. “Object-Oriented Modeling - A Roadmap.” In Proceedings of the Conference on The Future of Software Engineering - Special Track at 22nd International Conference on Software Engineering (ICSE 2000), Limerick (Ireland), 103–16. New York, NY, USA: ACM Press, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7875
Engels, Gregor, Jan Hendrik Hausmann, Reiko Heckel, and Stefan Sauer. “Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML.” In Proceedings of the 3rd International Conference on the Unified Modeling Language (UML 2000), York (UK), 1939:323–37. LNCS. Berlin/Heidelberg: Springer, 2000. http://dx.doi.org/10.1007/3-540-40011-7_23.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 7876
Hendrik Hausmann, Jan. “Graphtransitionsregeln Zur Beschreibung Der Semantik von UML.” In Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), 103–7. Leinfelden - Echterdingen: Konradin Verlag, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7877
Mehner, Katharina, and Annika Wagner. “Visualizing the Synchronization of Java-Threads with UML.” In Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington), 199–206. Washington, DC, USA: IEEE Computer Society, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7878
Depke, Ralph, Reiko Heckel, and Jochen Küster. “Integrating Visual Modeling of Agent-Based and Object-Oriented Systems.” In Proceedings of the Conference on Autonomous Agents (AGENTS 2000), Barcelona (Spain), 82–83. New York, NY, USA: ACM Press, 2000. http://dx.doi.org/10.1145/336595.337052.
LibreCat
| DOI
2000 | Report | LibreCat-ID: 8207
Depke, Ralph, Gregor Engels, and Jochen Küster. On the Integration of Roles in the UML. University of Paderborn, Department of Computer Science, 2000.
LibreCat
2000 | Report | LibreCat-ID: 8208
Depke, Ralph, Reiko Heckel, and Jochen Küster. Modeling Agent-Based Systems with Graph Transformation. University of Paderborn, Department of Computer Science, 2000.
LibreCat
2000 | Report | LibreCat-ID: 8209
Heckel, Reiko, Mercé Llabrés, Hartmut Ehrig, and Fernando Orejas. On the Concurrent Semantics of Open Graph Transformation Systems and Views, 2000.
LibreCat
2000 | Report | LibreCat-ID: 8210
Mehner, Katharina, and Annika Wagner. Ablaufvisualisierung Für Nebenläufige Java-Programme Mit UML Interaktionsdiagrammen. University of Saarbrücken, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8329
Hendrik Hausmann, Jan, Reiko Heckel, and Stefan Sauer. “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, Ralph, Reiko Heckel, and Jochen Küster. “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, Reiko, Mercé Llabrés, Hartmut Ehrig, and Fernando Orejas. “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, Giorgio, Gregor Engels, Katharina Mehner, and Annika Wagner. “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), 1764:352–67. LNCS. Berlin/Heidelberg: Springer, 2000. http://dx.doi.org/10.1007/b75045.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8333
Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “Graphical Operational Semantics.” In Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland), 411–18. Carleton Scientific, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8334
Depke, Ralph, and Reiko Heckel. “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, Ralph, Reiko Heckel, and Jochen Küster. “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, Ralph, Reiko Heckel, and Jochen Küster. “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, Ralph, Reiko Heckel, and Jochen Küster. “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, Ralph, and Reiko Heckel. “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), 419–26. Carleton Scientific, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8339
Engels, Gregor, and Reiko Heckel. “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), 373–82. Carleton Scientific, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8340
Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Modeling Concurrent Behavior through Consistent Statechart Views.” In Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), 44–49. Munich (Germany): Ludwig-Maximilians-University, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 7396
Engels, Gregor, and Reiko Heckel. “Graph Transformation and Visual Modeling Techniques.” Bulletin of the EATCS, no. 71 (2000): 186–202.
LibreCat