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: /record/8345

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: /record/8346

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: /record/8347

Informatik : 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: /record/7792

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: /record/7849

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: /record/7850

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: /record/7851

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: /record/7852

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: /record/7856

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: /record/7858
DOI: http://dx.doi.org/10.1016/S1571-0661(05)80309-3

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: /record/7859

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: /record/7860
DOI: http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878

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: /record/8203

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: /record/8204

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: /record/8205

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: /record/8206

UML-basierte Modellierung von Multimediaanwendungen
S. Sauer, G. Engels, in: Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe, Teubner, Stuttgart, Karlsruhe, Germany, 1999, pp. 155–170.
LibreCat: /record/8321

OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems
S. Sauer, G. Engels, in: Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), Indian Wells, California, USA, 1999, pp. 64–71.
LibreCat: /record/8322

An Algebra of Graph Derivations using Finite (co-) limit Double Theories
A. Corradini, M. Große-Rhode, R. Heckel, in: Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1999, pp. 92–106.
LibreCat: /record/8323
DOI: http://dx.doi.org/10.1007/3-540-48483-3_7

From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99), Elsevier, Amsterdam, The Netherlands, 1999, pp. 118–141.
LibreCat: /record/8324
DOI: http://dx.doi.org/10.1016/S1571-0661(05)80273-7

Dynamic Meta Modelling: A Graphical Approach to Operational Semantics
G. Engels, R. Heckel, S. Sauer, in: Proceedings of the Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (Satellite Event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA), 1999.
LibreCat: /record/8325

MVC-Based Modeling Support for Embedded Real-Time Systems
G. Engels, S. Sauer, in: Proceedings of OMER Workshop, Herrsching, Germany, Herrsching, Universität der Bundeswehr München, Fakultät für Informatik, 1999, pp. 11–14.
LibreCat: /record/8326

An Assessment of Aspect Language Design
K. Mehner, A. Wagner, in: Proceedings of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany), 1999.
LibreCat: /record/8327

On the Role of Method Families in Aspect Oriented Programming
K. Mehner, A. Wagner, in: Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa (Spain), Springer, Berlin/Heidelberg, 1999, pp. 305–306.
LibreCat: /record/8328

Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen
R. Depke, G. Engels, K. Mehner, S. Sauer, A. Wagner, Informatik Forschung Und Entwicklung 14 (1999) 83–94.
LibreCat: /record/7399
DOI: http://dx.doi.org/10.1007/s004500050128

Formalization of the development process for a software-hardware reflexodiagnostic tool
A. Cherchago, V. Finaev, Scientific Bulletin of Academy of Information Technologies in Education, Science and Balneology 3 (1999).
LibreCat: /record/7400

Graph Transformation for Specification and Programming
M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Science of Computer Programming 34 (1999) 1–54.
LibreCat: /record/7401
DOI: http://dx.doi.org/10.1016/S0167-6423(98)00023-9

Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools
H. Ehrig, G. Engels, H.J. Kreowski, G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools, World Scientific Publishing Co., Inc., River Edge, NJ, USA, 1999.
LibreCat: /record/7510

A View-based Approach to System Modeling Based on Open Graph Transformation Systems
R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 639–668.
LibreCat: /record/7518

Classification and Comparison of Module Concepts for Graph Transformation Systems
R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 669–689.
LibreCat: /record/7519

Semi-Formal and Formal Specification Techniques
G. Engels, H. Ehrig, F. Orejas, M. Wirsing, eds., Semi-Formal and Formal Specification Techniques, Schloss Dagstuhl, Leibniz Center for Informatics, 1998.
LibreCat: /record/7793

6th International Workshop on Theory and Applications of Graph Transformations (TAGT ), Paderborn, Selected Papers
G. Engels, H. Ehrig, H.-J. Kreowski, G. Rozenberg, eds., 6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers, Springer, Berlin/Heidelberg, 1998.
LibreCat: /record/7794

Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen
R. Depke, G. Engels, K. Mehner, S. Sauer, A. Wagner, in: Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany), GI, 1998, pp. 12–19.
LibreCat: /record/7843

Integration of Single Pushout Transformation and Functional Programming
K. Didrich, A. Wagner, in: Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany), Society for Design and Process Science, 1998, pp. 65–73.
LibreCat: /record/7844

A generalized schema of a decision-making process of a SCENAR-therapeutist
A. Cherchago, in: Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia), 1998.
LibreCat: /record/7845

Compositional Verification of Reactive Systems Specified by Graph Transformation
R. Heckel, in: Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1998, pp. 138–153.
LibreCat: /record/7847
DOI: http://dx.doi.org/10.1007/BFb0053578

Interoperability in Train Control Systems: Specification of Scenarios Using Open Nets
J. Padberg, L. Jansen, R. Heckel, H. Ehrig, in: Proceedings of the Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany), Society for Design and Process Science, 1998, pp. 17–28.
LibreCat: /record/7848

Electronic Commerce Systeme als Anwendungsbeispiel für Evolutionstechniken
G. Engels, S. Kolmschlag, Electronic Commerce Systeme Als Anwendungsbeispiel Für Evolutionstechniken, University of Paderborn, C-LAB, 1998.
LibreCat: /record/8202

Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken
S. Kolmschlag, G. Engels, in: Proceedings of the Workshop on “Integration Heterogener Softwaresysteme” (Satellite Event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany), GI, 1998, pp. 13–24.
LibreCat: /record/8280

Structured Transition Systems as Lax Coalgebras
A. Corradini, M. Große-Rhode, R. Heckel, in: Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal), Elsevier, 1998.
LibreCat: /record/8281

Simple Modules for Grace
R. Heckel, B. Hoffmann, P. Knirsch, S. Kuske, in: Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), Springer, Berlin/Heidelberg, 1998, pp. 215–224.
LibreCat: /record/8282

Graph Transformation and Other Rule-Based Formalisms with Incomplete Information
H. Ehrig, R. Heckel, J. Padberg, G. Rozenberg, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
LibreCat: /record/8283

Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information
H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, J. Padberg, G. Rozenberg, in: Selected Papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), Springer, Berlin/Heidelberg, 1998, pp. 85–102.
LibreCat: /record/8284
DOI: http://dx.doi.org/10.1007/b75045

Classification and Comparison of Modularity Concepts for Graph Transformation Systems
H. Ehrig, G. Engels, R. Heckel, G. Taentzer, in: Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany), University of Paderborn, 1998, pp. 122–131.
LibreCat: /record/8285

Model Checking Graph-Interpreted Temporal Formulas
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), Paderborn, 1998.
LibreCat: /record/8286

DPO Derivations via Disconnected Rules
F. Gadducci, R. Heckel, M. Llabrés, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
LibreCat: /record/8287

Event Processing in Mobile and Active Database Systems Using Broadcasts
S. Sauer, O. Zukunft, in: Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria), IEEE Computer Society, Washington, DC, USA, 1998, pp. 420–426.
LibreCat: /record/8288

Construction and Characterisation of Double-Pullback Graph Transitions
H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
LibreCat: /record/8289

Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems
R. Heckel, Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems, 1998.
LibreCat: /record/7587

Themenheft: Softwaretechnik
G. Engels, ed., Themenheft: Softwaretechnik, Springer, Berlin/Heidelberg, 1997.
LibreCat: /record/7795
DOI: http://dx.doi.org/10.1007/s004500050085