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.

906 Publications


1999 | Conference Paper | LibreCat-ID: 8326
Engels, Gregor, and Stefan Sauer. “MVC-Based Modeling Support for Embedded Real-Time Systems.” In Proceedings of OMER Workshop, Herrsching, Germany, 11–14. Herrsching, Universität der Bundeswehr München, Fakultät für Informatik, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8327
Mehner, Katharina, and Annika Wagner. “An Assessment of Aspect Language Design.” In Proceedings of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany), 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8328
Mehner, Katharina, and Annika Wagner. “On the Role of Method Families in Aspect Oriented Programming.” In Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa (Spain), 1743:305–6. LNCS. Berlin/Heidelberg: Springer, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 7399
Depke, Ralph, Gregor Engels, Katharina Mehner, Stefan Sauer, and Annika Wagner. “Ein Vorgehensmodell Für Die Multimedia-Entwicklung Mit Autorensystemen.” Informatik Forschung Und Entwicklung 14, no. 2 (1999): 83–94. http://dx.doi.org/10.1007/s004500050128.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 7400
Cherchago, Alexey, and V. Finaev. “Formalization of the Development Process for a Software-Hardware Reflexodiagnostic Tool.” Scientific Bulletin of Academy of Information Technologies in Education, Science and Balneology 3 (1999).
LibreCat
 

1999 | Journal Article | LibreCat-ID: 7401
Andries, Marc, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, and Gabriele Taentzer. “Graph Transformation for Specification and Programming.” Science of Computer Programming 34, no. 1 (1999): 1–54. http://dx.doi.org/10.1016/S0167-6423(98)00023-9.
LibreCat | DOI
 

1999 | Book | LibreCat-ID: 7510
Ehrig, Hartmut, Gregor Engels, Hans Jörg Kreowski, and Grzegorz Rozenberg. Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools. River Edge, NJ, USA: World Scientific Publishing Co., Inc., 1999.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 7518
Heckel, Reiko, Gregor Engels, Hartmut Ehrig, and Gabriele Taentzer. “A View-Based Approach to System Modeling Based on Open Graph Transformation Systems.” In Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, 639–68. Singapore: World Scientific, 1999.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 7519
Heckel, Reiko, Gregor Engels, Hartmut Ehrig, and Gabriele Taentzer. “Classification and Comparison of Module Concepts for Graph Transformation Systems.” In Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, 2:669–89. Singapore: World Scientific, 1999.
LibreCat
 

1998 | Conference (Editor) | LibreCat-ID: 7793
Engels, Gregor, Hartmut Ehrig, Fernando Orejas, and M. Wirsing, eds. Semi-Formal and Formal Specification Techniques. Vol. 218. Dagstuhl-Seminar-Report. Schloss Dagstuhl, Leibniz Center for Informatics, 1998.
LibreCat
 

1998 | Conference (Editor) | LibreCat-ID: 7794
Engels, Gregor, Hartmut Ehrig, Hans-Jörg Kreowski, and Grzegorz Rozenberg, eds. 6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers. Vol. 1764. LNCS. Berlin/Heidelberg: Springer, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 7843
Depke, Ralph, Gregor Engels, Katharina Mehner, Stefan Sauer, and Annika Wagner. “Ein Ansatz Zur Verbesserung Des Entwicklungsprozesses von Multimedia-Anwendungen.” In Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany), 18:12–19. GI, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 7844
Didrich, Klaus, and Annika Wagner. “Integration of Single Pushout Transformation and Functional Programming.” In Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany), 4:65–73. Society for Design and Process Science, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 7845
Cherchago, Alexey. “A Generalized Schema of a Decision-Making Process of a SCENAR-Therapeutist.” In Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia), 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 7847
Heckel, Reiko. “Compositional Verification of Reactive Systems Specified by Graph Transformation.” In Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), 1382:138–53. LNCS. Berlin/Heidelberg: Springer, 1998. http://dx.doi.org/10.1007/BFb0053578.
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 7848
Padberg, Julia, Lars Jansen, Reiko Heckel, and Hartmut Ehrig. “Interoperability in Train Control Systems: Specification of Scenarios Using Open Nets.” In Proceedings of the Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany), 17–28. Society for Design and Process Science, 1998.
LibreCat
 

1998 | Report | LibreCat-ID: 8202
Engels, Gregor, and Silvia Kolmschlag. Electronic Commerce Systeme Als Anwendungsbeispiel Für Evolutionstechniken. University of Paderborn, C-LAB, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8280
Kolmschlag, Silvia, and Gregor Engels. “Unterstützung Der Flexibilität Eines Electronic Commerce Systems Durch Evolutionstechniken.” In Proceedings of the Workshop on “Integration Heterogener Softwaresysteme” (Satellite Event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany), 13–24. GI, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8281
Corradini, Andrea, Martin Große-Rhode, and Reiko Heckel. “Structured Transition Systems as Lax Coalgebras.” In Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal), Vol. 11. Electronic Notes in Theoretical Computer Science. Elsevier, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8282
Heckel, Reiko, Berthold Hoffmann, Peter Knirsch, and Sabine Kuske. “Simple Modules for Grace.” In Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1764:215–24. LNCS. Berlin/Heidelberg: Springer, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8283
Ehrig, Hartmut, Reiko Heckel, Julia Padberg, and Grzegorz Rozenberg. “Graph Transformation and Other Rule-Based Formalisms with Incomplete Information.” In Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8284
Ehrig, Hartmut, Reiko Heckel, Mercé Llabrés, Fernando Orejas, Julia Padberg, and Grzegorz Rozenberg. “Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.” In Selected Papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), 1764:85–102. LNCS. Berlin/Heidelberg: Springer, 1998. http://dx.doi.org/10.1007/b75045.
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 8285
Ehrig, Hartmut, Gregor Engels, Reiko Heckel, and Gabriele Taentzer. “Classification and Comparison of Modularity Concepts for Graph Transformation Systems.” In Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany), 122–31. University of Paderborn, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8286
Gadducci, Fabio, Reiko Heckel, and Manuel Koch. “Model Checking Graph-Interpreted Temporal Formulas.” In Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany). Paderborn, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8287
Gadducci, Fabio, Reiko Heckel, and Mercé Llabrés. “DPO Derivations via Disconnected Rules.” In Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8288
Sauer, Stefan, and Olaf Zukunft. “Event Processing in Mobile and Active Database Systems Using Broadcasts.” In Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria), 420–26. Washington, DC, USA: IEEE Computer Society, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8289
Ehrig, Hartmut, Reiko Heckel, Mercé Llabrés, and Fernando Orejas. “Construction and Characterisation of Double-Pullback Graph Transitions.” In Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
LibreCat
 

1998 | Dissertation | LibreCat-ID: 7587
Heckel, Reiko. Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems, 1998.
LibreCat
 

1997 | Conference (Editor) | LibreCat-ID: 7795
Engels, Gregor, ed. Themenheft: Softwaretechnik. Vol. 12. Informatik: Forschung Und Entwicklung. Berlin/Heidelberg: Springer, 1997. http://dx.doi.org/10.1007/s004500050085.
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 7839
Engels, Gregor, Reiko Heckel, Gabriele Taentzer, and Hartmut Ehrig. “A View-Oriented Approach to System Modelling Using Graph Transformations.” In Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), edited by M. Jazayeri and H. Schauer, 1301:327–43. Berlin/Heidelberg: Springer, 1997. http://dx.doi.org/10.1007/3-540-63531-9.
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 7840
Depke, Ralph, Stefan Knoke, Wolfram Schöne, Andreas Tünnermann, and H. Welling. “Thermooptische Effekte in Nd:YAG-Slablasern.” In Verhandlungen Der Deutschen Physikalischen Gesellschaft, Vol. 32. Weinheim, Germany: Physik-Verlag, 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 7841
Heckel, Reiko, Hartmut Ehrig, Uwe Wolter, and Andrea Corradini. “Integrating the Specification Techniques of Graph Transformation and Temporal Logic.” In Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), 219–28. LNCS. London, UK: Springer, 1997. http://dx.doi.org/10.1007/BFb0029965.
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 7842
Knoke, Stefan, Ralph Depke, Wolfram Schöne, O.S. Brozek, Andreas Tünnermann, and H. Welling. “Einfrequenzbetrieb von Nd:YAG-Stablasersystemen Hoher Ausgangsleistung.” In Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany), Vol. 32. Physik-Verlag, 1997.
LibreCat
 

1997 | Report | LibreCat-ID: 8201
Heckel, Reiko, Hartmut Ehrig, Uwe Wolter, and Andrea Corradini. Loose Semantics and Constraints for Graph Transformation Systems, 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8276
Gadducci, Fabio, and Reiko Heckel. “A 2-Categorical Presentation of Distributed Graph Transformation.” In Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France). Bordeaux, 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8277
Gadducci, Fabio, Reiko Heckel, and Manuel Koch. “Combining Graph Transformations with Temporal Logic.” In Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France). Bordeaux, 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8278
Gadducci, Fabio, and Reiko Heckel. “An Inductive View of Graph Transformation.” In Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy), 1376:223–37. LNCS. Berlin/Heidelberg: Springer, 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8279
Heckel, Reiko. “Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration.” In Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 7402
Engels, Gregor, and Hans Jürgen Schneider. “Guest Editors’ Introduction.” International Journal on Software Engineering and Knowledge Engineering (IJSEKE) 7, no. 4 (1997): 397–400. http://dx.doi.org/10.1142/S0218194097000230.
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 7403
Engels, Gregor, Reiko Heckel, Gabriele Taentzer, and Hartmut Ehrig. “A Combined Reference Model- and View-Based Approach to System Specification.” Int. Journal of Software and Knowledge Engeneering 7, no. 4 (1997): 457–77.
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 7515
Ehrig, Hartmut, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, and Andrea Corradini. “Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach.” In Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations, 247–312. Singapore: World Scientific, 1997.
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 7516
Engels, Gregor, Jan Rekers, and Marc Andries. “How to Represent a Visual Specification.” In Visual Language Theory, 241–55. Berlin/Heidelberg: Springer, 1997.
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 7517
Corradini, Andrea, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, and Michael Löwe. “Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach.” In Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations, 163–245. Singapore: World Scientific, 1997.
LibreCat
 

1996 | Conference (Editor) | LibreCat-ID: 7796
Engels, Gregor, Hartmut Ehrig, Grzegorz Rozenberg, and Andrzej Skowron, eds. Special Issue on Graph Transformations. Vol. 26. Fundamenta Informaticae. Amsterdam: IOS Press, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7834
Ehrig, Hartmut, Reiko Heckel, Julia Padberg, Gabriele Taentzer, Uwe Wolter, Andrea Corradini, and Gregor Engels. “Synchronization of Views and Loose Semantics of Typed Graph Productions.” In Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 11–12. Technical University of Berlin, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7835
Heckel, Reiko. “Behavioral Constraints for Loose Graph Transformation Systems.” In Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 12–13. Dagstuhl-Seminar-Report. Technical University of Berlin, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7836
Bunje, Tineke de, Gregor Engels, Luuk Groenewegen, Aart Matsinger, and Martin Rijnbeek. “Industrial Maintenance Modelled in SOCCA: An Experience Report.” In Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), 13–26. Washington, DC, USA: IEEE Computer Society, 1996. http://dx.doi.org/10.1109/ICSP.1996.565021.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 7837
Engels, Gregor, Hartmut Ehrig, Reiko Heckel, Gabriele Taentzer, and Andrea Corradini. “A View-Based Approach to System Modelling.” In Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 155:11. Dagstuhl-Seminar-Report. Technical University of Berlin, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7838
Engels, Gregor, Luuk Groenewegen, and Gerti Kappel. “Object-Oriented Specification of Coordinated Collaboration.” In Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia), 437–52. Chapman & Hall, 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 8197
Andries, Marc, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, and Gabriele Taentzer. Graph Transformation for Specification and Programming. University of Bremen, Department of Mathematics and Computer Science, 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 8198
Busatto, Giorgio, and Gregor Engels. Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1. Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 8199
Engels, Gregor, Luuk Groenewegen, and Gerti Kappel. Object-Oriented Specification of Coordinated Collaboration. Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 8200
Heckel, Reiko, Andrea Corradini, Hartmut Ehrig, and Michael Löwe. Horizontal and Vertical Structuring of Typed Graph Transformation Systems, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8271
Bunje, Tineke de, Gregor Engels, Luuk Groenewegen, Michael Heus, and Aart Matsinger. “Towards Measurable Process Models.” In Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France), 1149:183–87. Berlin/Heidelberg: Springer, 1996. http://dx.doi.org/10.1007/BFb0017743.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 8272
Ehrig, Hartmut, and Gregor Engels. “Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems.” In Selected Papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA), 1073:137–54. Berlin/Heidelberg: Springer, 1996.
LibreCat | Download (ext.)
 

1996 | Conference Paper | LibreCat-ID: 8273
Engels, Gregor, and Andreas Zamperoni. “Comprehensive Support for Change: Generic, Multi-Dimensional (Software) Engineering Frameworks (Position Paper).” In Proceedings of the Workshop on Requirements Engineering in a Changing World (Satellite Event of the Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece), 42–44, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8274
Groenewegen, Luuk, and Gregor Engels. “Reuse of Software Process Fragments Is Reuse of Software, Too.” In Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), 68. Washington, DC, USA: IEEE Computer Society, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8275
Heckel, Reiko, Mirko Conrad, Gottfried Egger, and Jörg Hiemer. “Automatic Integration of Safety Invariants into Z Specifications.” In Proceedings of the Workshop on Tools for System Development and Verifcation, 1:70–83. Bremen, Germany: Shaker Verlag, 1996.
LibreCat | Download (ext.)
 

1996 | Journal Article | LibreCat-ID: 7404
Habel, Annegret, Reiko Heckel, and Gabriele Taentzer. “Graph Grammars with Negative Application Conditions.” Fundamenta Informaticae 26, no. 3,4 (1996): 287–313.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 7405
Heckel, Reiko, Andrea Corradini, Hartmut Ehrig, and Michael Löwe. “Horizontal and Vertical Structuring of Typed Graph Transformation Systems.” Mathematical Structures in Computer Science 6, no. 6 (1996): 613–48.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 7406
Andries, Marc, and Gregor Engels. “A Hybrid Query Language for the Extended Entity Relationship Model.” Journal of Visual Languages and Computing 7, no. 3 (1996): 321–52. http://dx.doi.org/10.1006/jvlc.1996.0017.
LibreCat | DOI
 

1996 | Book Chapter | LibreCat-ID: 7514
Engels, Gregor, Manfred Nagl, Wilhelm Schäfer, and Bernhard Westfechtel. “Tight Integration on One Document: The Programming Environment.” In Building Tightly Integrated Software Development Environments: The IPSEN Approach, 1170:170–77. LNCS. Berlin/Heidelberg: Springer, 1996.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 7831
Heckel, Reiko, Jürgen Müller, Gabriele Taentzer, and Annika Wagner. “Attributed Graph Transformations with Controlled Application of Rules.” In Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science. Technical Report. Universitat de les Illes Balears, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 7832
Thoben, Wilfried, Hans-Jürgen Appelrath, and Stefan Sauer. “Record Linkage of Anonymous Data by Control Numbers.” In Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany), 412–19. Studies in Classification, Data Analysis, and Knowledge Organization. Berlin/Heidelberg: Springer, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 7833
Heckel, Reiko. “Embedding of Conditional Graph Transformations.” In Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science. Technical Report. Universitat de les Illes Balears, 1995.
LibreCat
 

1995 | Report | LibreCat-ID: 8194
Conrad, Mirko, Magdalena Gajewsky, Rainer Holl-Biniasz, Michael Rudolf, Jochen Demuth, Stephan Weber, Reiko Heckel, Jürgen Müller, Gabriele Taentzer, and Annika Wagner. Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem, 1995.
LibreCat
 

1995 | Report | LibreCat-ID: 8195
Ebert, Jürgen, and Gregor Engels. Specialization of Object Life Cycle Definitions. Koblenz: University of Koblenz-Landau, 1995.
LibreCat
 

1995 | Report | LibreCat-ID: 8196
Engels, Gregor, and Andy Schürr. Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8266
Groenewegen, Luuk, and Gregor Engels. “Coordination by Behavioural Views and Communication Patterns.” In Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), 913:189–92. LNCS. Berlin/Heidelberg: Springer, 1995. http://dx.doi.org/10.1007/3-540-59205-9_56.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 8267
Corradini, Andrea, and Reiko Heckel. “A Compositional Approach to Structuring and Refinement of Typed Graph Grammars.” In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), 2:46–55. Electronic Notes in Theoretical Computer Science . Elsevier, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8268
Bardohl, Bernhard, Roswitha Bardohl, Paulo Castro, Hartmut Ehrig, Reiko Heckel, Leila Ribeiro, Daltro Nunes, and Alfio Martini. “GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development.” In Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), Vol. 26. Bilateral Seminars of the International Bureau. Forschungszentrum Jülich GmbH, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8269
Engels, Gregor, and Andy Schürr. “Encapsulated Hierarchical Graphs, Graph Types, and Meta Types.” In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), 101–9. Electronic Notes in Theoretical Computer Science. Amsterdam, The Netherlands: Elsevier, 1995. http://dx.doi.org/10.1016/S1571-0661(05)80186-0.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 8270
Heckel, Reiko, and Annika Wagner. “Ensuring Consistency of Conditional Graph Grammars - A Constructive Approach.” In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), 2:118–26. Electronic Notes in Theoretical Computer Science. Elsevier, 1995. http://dx.doi.org/10.1016/S1571-0661(05)80188-4.
LibreCat | DOI
 

1994 | Conference (Editor) | LibreCat-ID: 7797
Ehrich, Hans-Dietrich, Gregor Engels, J. Paredaens, and Jan Wegner, eds. Fundamentals of Object-Oriented Languages, Systems, and Methods. Vol. 95. Dagstuhl-Seminar-Report. Schloss Dagstuhl, Leibniz Center for Informatics, 1994.
LibreCat
 

1994 | Conference (Editor) | LibreCat-ID: 7798
Cuny, Janice, Hartmut Ehrig, Gregor Engels, and Grzegorz Rozenberg, eds. Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers. Vol. 1073. LNCS. Berlin/Heidelberg: Springer, 1994. http://dx.doi.org/10.1007/3-540-61228-9.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 7827
Thoben, Wilfried, Hans-Jürgen Appelrath, Jens Rettig, and Stefan Sauer. “Berücksichtigung von Datenschutzaspekten in Einem Bevölkerungsbezogenen Krebsregister.” In Proceedings of the Conference on Medizin Und Information, Biometrie Und Epidemiologie (GMDS 1994), Dresden (Germany), 88–90. München: MMV Medizin Verlag, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7828
Ebert, Jürgen, and Gregor Engels. “Structural and Behavioural Views on OMT-Classes.” In Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy), 858:142–57. Berlin/Heidelberg: Springer, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7829
Engels, Gregor, and Gerti Kappel. “Object-Oriented System Development: Will the New Approach Solve Old Problems?” In Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany), 3:434–41. Elsevier, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7830
Engels, Gregor, and Hartmut Ehrig. “Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective.” In Proceedings Colloquium on Graph Transformation and Its Application in Computer Science, Vol. B-19. Technical Report . Universitat de les Illes Balears, Departament de Ci, 1994.
LibreCat
 

1994 | Report | LibreCat-ID: 8193
Ebert, Jürgen, and Gregor Engels. Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8263
Andries, Marc, and Gregor Engels. “Syntax and Semantics of Hybrid Database Languages.” In Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany), 776:19–36. LNCS. Berlin/Heidelberg: Springer, 1994. http://dx.doi.org/10.1007/3-540-57787-4_2.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 8264
Engels, Gregor, and Luuk Groenewegen. “Specification of Coordinated Behaviour by SOCCA.” In Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), 128–51. LNCS. Berlin/Heidelberg: Springer, 1994. http://dx.doi.org/10.1007/3-540-57739-4_19.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 8265
Engels, Gregor, and Perdita Löhr. “Visual Specification of Complex Database Actions.” In Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany), 303–14. Berlin/Heidelberg: Springer, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 7407
Löhr-Richter, Perdita, and Gregor Engels. “Visuelles Spezifizieren von Komplexen Aktionen Auf Datenbankstrukturen.” GI-Datenbank Rundbrief 13 (1994): 33–35.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 7512
Ebert, Jürgen, and Gregor Engels. “Design Representation.” In Encyclopedia of Software Engineering, 382–94. John Wiley & Sons, Inc., 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 7513
Engels, Gregor, and Luuk Groenewegen. “SOCCA: Specifications of Coordinated and Cooperative Activities.” In Software Process Modelling and Technology, 71–102. Taunton: Research Studies Press, 1994.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 7826
Engels, Gregor, and A.A. Verrijn-Stuart. “Integrationsaspekte Bei Verteilter Software-Entwicklung.” In Fortschritt-Berichte VDI, 45–53. Reihe 10: Informatik/Kommunikationstechnik. VDI Verlag, 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 8190
Andries, Marc, and Gregor Engels. A Hybrid Query Language for the Extended Entity Relationship Model. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 8191
Ehrig, Hartmut, and Gregor Engels. Towards a Module Concept for Graph Transformation Systems. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 8192
Engels, Gregor, and Grzegorz Rozenberg. Abstracts COMPUGRAPH II Workshop. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8262
Engels, Gregor, and Luuk Groenewegen. “Modular, Visual Specifications of Software Processes.” In Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), 66–68. Washington, DC, USA: IEEE Computer Society, 1993.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 7825
Koopman, Pieter, Luuk Groenewegen, and Gregor Engels. “Functional Description of Parallel Processes.” In Proceedings of the Conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands, 156–67, 1992.
LibreCat
 

1992 | Report | LibreCat-ID: 8189
Engels, Gregor. Visual Specifications of Conceptual Database Schemata (Abstract). Leiden University, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8260
Engels, Gregor, and Perdita Löhr-Richter. “CADDY: A Highly Integrated Environment to Support Conceptual Database Design.” In Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering (CASE 1992), Montreal (Canada), 19–22. Washington, DC, USA: IEEE Computer Society, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8261
Engels, Gregor, and Luuk Groenewegen. “Specification of Coordinated Behaviour in the Software Development Process.” In Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway, 635:58–60. LNCS. Berlin/Heidelberg: Springer, 1992. http://dx.doi.org/10.1007/BFb0017495.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 7408
Hohenstein, Uwe, and Gregor Engels. “SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language.” Information Systems 17, no. 3 (1992): 209–42. http://dx.doi.org/10.1016/0306-4379(92)90014-E.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 7409
Engels, Gregor, Claus Lewerentz, Manfred Nagl, Wilhelm Schäfer, and Andy Schürr. “Building Integrated Software Development Environments, Part I: Tool Specification.” ACM Transactions on Software Engineering and Methodology (TOSEM) 1, no. 2 (1992): 135–67.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 7410
Engels, Gregor, Martin Gogolla, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter, Gunter Saake, and Hans-Dietrich Ehrich. “Conceptual Modelling of Database Applications Using an Extended ER Model.” Data & Knowledge Engineering 9, no. 2 (1992): 157–204. http://dx.doi.org/10.1016/0169-023X(92)90008-Y.
LibreCat | DOI
 

1991 | Report | LibreCat-ID: 8188
Löhr-Richter, Perdita, and Gregor Engels. Incremental Design of Conceptual Database Schemata with CADDY. Leiden University, P.O. Box 9500, 2300 RA Leiden, The Netherlands: Leiden University, 1991.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 7824
Hohenstein, Uwe, and Gregor Engels. “Formal Semantics of an Entity-Relationship Query Language.” In Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, 177–88. ER Institute, 1990.
LibreCat
 

Filters and Search Terms

department=66

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed