Use Cases as views: A formal approach to Requirements engineering in the Unified Process
J. Hendrik Hausmann, R. Heckel, in: Proceedings of the GI/OCG-Jahrestagung on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit (2001), Wien (Österreich), Österreichische Computer Gesellschaft, Wien (Österreich), 2001, pp. 595–599.
LibreCat: /record/7889

Open Petri Nets as Semantic Model for Business Process Integration
R. Heckel, in: Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, DFG Research Group “Petri Net Technology,” 2001, pp. 129–134.
LibreCat: /record/7890

Strengthening UML Collaboration Diagrams by State Transformations
R. Heckel, S. Sauer, in: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy), Springer, London, UK, 2001, pp. 109–123.
LibreCat: /record/7891
DOI: http://dx.doi.org/10.1007/3-540-45314-8_9

Towards Behavior Consistent Modeling in UML-RT
J. Küster, in: Proceedings of the Forum on Design Languages (FDL’01), Lyon, France, 2001.
LibreCat: /record/7892

UML-based Behavior Specification of Interactive Multimedia Applications
S. Sauer, G. Engels, in: Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy), IEEE Computer Society, Washington, DC, USA, 2001, pp. 248–255.
LibreCat: /record/7893
DOI: http://dx.doi.org/10.1109/HCC.2001.995271

How to Specify a Graph Transformation Approach - A Meta Model for Fujaba
R. Heckel, A. Zündorf, in: H. Ehrig, J. Padberg (Eds.), Proceeding of the Workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, Satellite Event of the ETAPS 2001), Elsevier, Genova (Italy), 2001, pp. 41–51.
LibreCat: /record/7894

On the Specification and Analysis of Protocols in UML-RT
G. Engels, J. Küster, L. Groenewegen, On the Specification and Analysis of Protocols in UML-RT, University of Paderborn, Department of Computer Science, 2001.
LibreCat: /record/8211

Cooperability in Train Control Systems: Specification of Scenarios using Open Nets
J. Padberg, L. Jansen, H. Ehrig, E. Schnieder, R. Heckel, Transactions of the Society for Design and Process Science 5 (2001) 3–21.
LibreCat: /record/7391

Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, Applied Categorical Structures 9 (2001) 83–110.
LibreCat: /record/7392

Roles in Agent-Oriented Modeling
R. Depke, R. Heckel, J. Küster, International Journal of Software Engineering and Knowledge Engineering 11 (2001) 281–302.
LibreCat: /record/7393
DOI: http://dx.doi.org/10.1142/S0218194001000529

A Coalgebraic presentation of structured transition systems
A. Corradini, M. Große-Rhode, R. Heckel, Theoretical Computer Science 260 (2001) 27–55.
LibreCat: /record/7394
DOI: http://dx.doi.org/10.1016/S0304-3975(00)00121-3

Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil
G. Engels, J. Gaulke, S. Sauer, Forschungsforum Paderborn 4 (2001) 24–29.
LibreCat: /record/7395

Using an XML-capable mailtool for the communication in software development projects
M. Lohmann, A. Wagner, in: Proceedings of the Workshop on XML Technologies and Software Engineering (XSE; Satellite Event of the ICSE 2001), Toronto (Canada), 2001.
LibreCat: /record/8355

Using UML models for the Description of Concurrent Behavior in Component Interfaces
T. Schattkowsky, K. Mehner, R. Depke, 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: /record/8356

Agent-oriented Modeling with Graph Transformation
R. Depke, R. Heckel, J. Küster, in: Proceedings of the First International Workshop on Agent-Oriented Software Engineering (AOSE 2000), Limerick (Ireland), Springer, Berlin/Heidelberg, 2001, pp. 105–120.
LibreCat: /record/8357
DOI: http://dx.doi.org/10.1007/3-540-44564-1_7

"Separation of Concern" mit Rollen, Subjekten und Aspekten
R. Depke, K. Mehner, in: Proceedings of the Workshop on Aspektorientierung - Workshop Der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn (Germany), Universität Paderborn, 2001, pp. 1–7.
LibreCat: /record/8358

Enhancing UML-RT Concepts for Behavioral Consistent Architecture Models
G. Engels, J. Küster, in: Proceedings of the 1st Workshop on Describing Software Architecture with UML (Satellite Event of the ICSE 2001), Toronto (Canada), 2001.
LibreCat: /record/8359

Identifiying Semantic Dimensions of (UML) Sequence Diagrams
J. Hendrik Hausmann, J. Küster, S. Sauer, 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), Gesellschaft für Informatik (GI), Bonn, 2001, pp. 142–157.
LibreCat: /record/8360

Behavioral Constraints for Visual Models
R. Heckel, J. Küster, in: Proceeding of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2001, Satellite Event of the ICALP 2001), Heraklion (Greece), Elsevier, 2001.
LibreCat: /record/8361
DOI: dx.doi.org/10.1016/S1571-0661(04)00177-X

Visualization and Debugging of Concurrent Java Programs with UML
K. Mehner, B. Weymann, in: Proceedings of the Workshop on Software Visualization (Satellite Event of the International Conference on Software Engineering - ICSE 2001), Toronto (Canada), 2001.
LibreCat: /record/8362

Special Issue: Selected Papers of GRATRA 2000
H. Ehrig, G. Engels, H.-J. Kreowksi, G. Taentzer, eds., Special Issue: Selected Papers of GRATRA 2000, Elsevier, Amsterdam, The Netherlands, 2000.
LibreCat: /record/7790

Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland)
J.D.P. Rolim, A.Z. Broder, A. Corradini, R. Gorrieri, R. Heckel, J. Hromkovic, U. Vaccaro, J.B. Wells, eds., Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland), Carleton Scientific, Waterloo, Ontario, Canada, 2000.
LibreCat: /record/7791

Konzeption eines XML-fähigen Mailtools
M. Lohmann, A. Wagner, in: Proceedings of Net.Object Days 2000, Erfurt (Germany), 2000.
LibreCat: /record/7861

Entwicklung eines Übersetzers von Nachrichtenaustauschformaten für Bankselbstbedienungssysteme in XML-Formate
S. Thöne, in: Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), Konradin-Verlag, Leinfelden - Echterdingen, 2000.
LibreCat: /record/7862

A Model of a Physician’s Decision-Making Process using Electropunctural Methods of Diagnostics
A. Cherchago, N. Alexandrova, 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: /record/7863

Ein Konzept zur Generierung von XSL-Transformationen und dessen Anwendung bei Bankselbstbedienungssystemen
R. Depke, M. Langham, B. Lütkemeier, S. Thöne, in: Proceedings of the Net.ObjectDays (2000), Erfurt (Germany), 2000.
LibreCat: /record/7864

Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution
G. Engels, R. Heckel, in: Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland), Springer, Berlin/Heidelberg, 2000, pp. 127–150.
LibreCat: /record/7872
DOI: http://dx.doi.org/10.1007/3-540-45022-X_12

UML - A Universal Modeling Language?
G. Engels, R. Heckel, S. Sauer, in: Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark), Springer, Berlin/Heidelberg, 2000, pp. 24–38.
LibreCat: /record/7873

Object-Oriented Modeling - A Roadmap
G. Engels, L. Groenewegen, in: Proceedings of the Conference on The Future of Software Engineering - Special Track at 22nd International Conference on Software Engineering (ICSE 2000), Limerick (Ireland), ACM Press, New York, NY, USA, 2000, pp. 103–116.
LibreCat: /record/7874

Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML
G. Engels, J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the 3rd International Conference on the Unified Modeling Language (UML 2000), York (UK), Springer, Berlin/Heidelberg, 2000, pp. 323–337.
LibreCat: /record/7875
DOI: http://dx.doi.org/10.1007/3-540-40011-7_23

Graphtransitionsregeln zur Beschreibung der Semantik von UML
J. Hendrik Hausmann, in: Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), Konradin Verlag, Leinfelden - Echterdingen, 2000, pp. 103–107.
LibreCat: /record/7876

Visualizing the Synchronization of Java-Threads with UML
K. Mehner, A. Wagner, in: Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington), IEEE Computer Society, Washington, DC, USA, 2000, pp. 199–206.
LibreCat: /record/7877

Integrating visual modeling of agent-based and object-oriented systems
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Conference on Autonomous Agents (AGENTS 2000), Barcelona (Spain), ACM Press, New York, NY, USA, 2000, pp. 82–83.
LibreCat: /record/7878
DOI: http://dx.doi.org/10.1145/336595.337052

On the Integration of Roles in the UML
R. Depke, G. Engels, J. Küster, On the Integration of Roles in the UML, University of Paderborn, Department of Computer Science, 2000.
LibreCat: /record/8207

Modeling Agent-Based Systems with Graph Transformation
R. Depke, R. Heckel, J. Küster, Modeling Agent-Based Systems with Graph Transformation, University of Paderborn, Department of Computer Science, 2000.
LibreCat: /record/8208

On the Concurrent Semantics of Open Graph Transformation Systems and Views
R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, On the Concurrent Semantics of Open Graph Transformation Systems and Views, 2000.
LibreCat: /record/8209

Ablaufvisualisierung für nebenläufige Java-Programme mit UML Interaktionsdiagrammen
K. Mehner, A. Wagner, Ablaufvisualisierung Für Nebenläufige Java-Programme Mit UML Interaktionsdiagrammen, University of Saarbrücken, 2000.
LibreCat: /record/8210

Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung
J. Hendrik Hausmann, R. Heckel, S. Sauer, 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: /record/8329

Modeling Agent-Based Systems with Graph Transformation and UML: From Requirement Specifcation to Object-Oriented Design
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Workshop on Graph Transformation Systems (GraTra 2000), Berlin (Germany), Berlin, Germany, 2000.
LibreCat: /record/8330

Concurrency of Double-Pullback Graph Transitions
R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, in: Proceedings of Workshop on Graph Transformation Systems (GraTra; Satellite Event of the ETAPS 2000), Berlin (Germany), 2000.
LibreCat: /record/8331

A Framework for Adding Packages to Graph Transformation Approaches
G. Busatto, G. Engels, K. Mehner, A. Wagner, in: Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT ’98), Paderborn (Germany), Springer, Berlin/Heidelberg, 2000, pp. 352–367.
LibreCat: /record/8332
DOI: http://dx.doi.org/10.1007/b75045

Graphical Operational Semantics
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland), Carleton Scientific, 2000, pp. 411–418.
LibreCat: /record/8333

Towards Role-based Modeling of Autonomous Agents
R. Depke, R. Heckel, 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: /record/8334

Requirement Specification and Design of Agent-Based Systems with Graph Transformation, Roles and UML
R. Depke, R. Heckel, J. Küster, in: Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (Satellite Event of the ICSE 2000), Limerick (Ireland), University of Limerick, Limerick, Ireland, 2000.
LibreCat: /record/8335

Deploying Agents in an Electronic Banking Environment
R. Depke, R. Heckel, J. Küster, 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: /record/8336

Rollenbasierte Modellierung autonomer Agenten
R. Depke, R. Heckel, J. Küster, 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), Universität Münster, Münster, 2000.
LibreCat: /record/8337

Formalizing the Development of Agent-Based Systems Using Graph Processes
R. Depke, R. Heckel, in: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland), Carleton Scientific, 2000, pp. 419–426.
LibreCat: /record/8338

From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation
G. Engels, R. Heckel, in: Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (Satellite Events of the ICALP 2000), Geneva(Switzerland), Carleton Scientific, 2000, pp. 373–382.
LibreCat: /record/8339

Modeling Concurrent Behavior through Consistent Statechart Views
G. Engels, J. Küster, L. Groenewegen, in: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), Ludwig-Maximilians-University, Munich (Germany), 2000, pp. 44–49.
LibreCat: /record/8340

Graph Transformation and Visual Modeling Techniques
G. Engels, R. Heckel, Bulletin of the EATCS (2000) 186–202.
LibreCat: /record/7396