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
1997 | Journal Article | LibreCat-ID: 7403
Engels, Gregor, et al. “A Combined Reference Model- and View-Based Approach to System Specification.” Int. Journal of Software and Knowledge Engeneering, vol. 7, no. 4, 1997, pp. 457–77.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7515
Ehrig, Hartmut, et al. “Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach.” Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations, World Scientific, 1997, pp. 247–312.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7516
Engels, Gregor, et al. “How to Represent a Visual Specification.” Visual Language Theory, Springer, 1997, pp. 241–55.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7517
Corradini, Andrea, et al. “Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach.” Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations, World Scientific, 1997, pp. 163–245.
LibreCat
1996 | Conference (Editor) | LibreCat-ID: 7796
Engels, Gregor, et al., editors. Special Issue on Graph Transformations. Vol. 26, no. 3–4, IOS Press, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7834
Ehrig, Hartmut, et al. “Synchronization of Views and Loose Semantics of Typed Graph Productions.” Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, no. 155, Technical University of Berlin, 1996, pp. 11–12.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7835
Heckel, Reiko. “Behavioral Constraints for Loose Graph Transformation Systems.” Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, no. 155, Technical University of Berlin, 1996, pp. 12–13.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7836
de Bunje, Tineke, et al. “Industrial Maintenance Modelled in SOCCA: An Experience Report.” Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), IEEE Computer Society, 1996, pp. 13–26, doi:http://dx.doi.org/10.1109/ICSP.1996.565021.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 7837
Engels, Gregor, et al. “A View-Based Approach to System Modelling.” Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, vol. 155, Technical University of Berlin, 1996, p. 11.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7838
Engels, Gregor, et al. “Object-Oriented Specification of Coordinated Collaboration.” Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia), Chapman & Hall, 1996, pp. 437–52.
LibreCat
1996 | Report | LibreCat-ID: 8197
Andries, Marc, et al. 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, et al. Object-Oriented Specification of Coordinated Collaboration. Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
1996 | Report | LibreCat-ID: 8200
Heckel, Reiko, et al. Horizontal and Vertical Structuring of Typed Graph Transformation Systems. 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 8271
de Bunje, Tineke, et al. “Towards Measurable Process Models.” Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France), vol. 1149, Springer, 1996, pp. 183–87, doi: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.” Selected Papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA), vol. 1073, Springer, 1996, pp. 137–54.
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).” 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), 1996, pp. 42–44.
LibreCat
1996 | Conference Paper | LibreCat-ID: 8274
Groenewegen, Luuk, and Gregor Engels. “Reuse of Software Process Fragments Is Reuse of Software, Too.” Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), IEEE Computer Society, 1996, p. 68.
LibreCat
1996 | Conference Paper | LibreCat-ID: 8275
Heckel, Reiko, et al. “Automatic Integration of Safety Invariants into Z Specifications.” Proceedings of the Workshop on Tools for System Development and Verifcation, vol. 1, Shaker Verlag, 1996, pp. 70–83.
LibreCat
| Download (ext.)
1996 | Journal Article | LibreCat-ID: 7404
Habel, Annegret, et al. “Graph Grammars with Negative Application Conditions.” Fundamenta Informaticae, vol. 26, no. 3,4, 1996, pp. 287–313.
LibreCat
1996 | Journal Article | LibreCat-ID: 7405
Heckel, Reiko, et al. “Horizontal and Vertical Structuring of Typed Graph Transformation Systems.” Mathematical Structures in Computer Science, vol. 6, no. 6, 1996, pp. 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, vol. 7, no. 3, 1996, pp. 321–52, doi:http://dx.doi.org/10.1006/jvlc.1996.0017.
LibreCat
| DOI
1996 | Book Chapter | LibreCat-ID: 7514
Engels, Gregor, et al. “Tight Integration on One Document: The Programming Environment.” Building Tightly Integrated Software Development Environments: The IPSEN Approach, vol. 1170, Springer, 1996, pp. 170–77.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7831
Heckel, Reiko, et al. “Attributed Graph Transformations with Controlled Application of Rules.” Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, no. B-19, Universitat de les Illes Balears, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7832
Thoben, Wilfried, et al. “Record Linkage of Anonymous Data by Control Numbers.” Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany), Springer, 1995, pp. 412–19.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7833
Heckel, Reiko. “Embedding of Conditional Graph Transformations.” Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, no. B-19, Universitat de les Illes Balears, 1995.
LibreCat
1995 | Report | LibreCat-ID: 8194
Conrad, Mirko, et al. 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. 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.” Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), vol. 913, Springer, 1995, pp. 189–92, doi: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.” Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), vol. 2, Elsevier, 1995, pp. 46–55.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8268
Bardohl, Bernhard, et al. “GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development.” Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), vol. 26, 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.” Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, 1995, pp. 101–09, doi: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.” Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), vol. 2, Elsevier, 1995, pp. 118–26, doi:http://dx.doi.org/10.1016/S1571-0661(05)80188-4.
LibreCat
| DOI
1994 | Conference (Editor) | LibreCat-ID: 7797
Ehrich, Hans-Dietrich, et al., editors. Fundamentals of Object-Oriented Languages, Systems, and Methods. Vol. 95, Schloss Dagstuhl, Leibniz Center for Informatics, 1994.
LibreCat
1994 | Conference (Editor) | LibreCat-ID: 7798
Cuny, Janice, et al., editors. Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers. Vol. 1073, Springer, 1994, doi:http://dx.doi.org/10.1007/3-540-61228-9.
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 7827
Thoben, Wilfried, et al. “Berücksichtigung von Datenschutzaspekten in Einem Bevölkerungsbezogenen Krebsregister.” Proceedings of the Conference on Medizin Und Information, Biometrie Und Epidemiologie (GMDS 1994), Dresden (Germany), MMV Medizin Verlag, 1994, pp. 88–90.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7828
Ebert, Jürgen, and Gregor Engels. “Structural and Behavioural Views on OMT-Classes.” Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy), vol. 858, Springer, 1994, pp. 142–57.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7829
Engels, Gregor, and Gerti Kappel. “Object-Oriented System Development: Will the New Approach Solve Old Problems?” Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany), vol. 3, Elsevier, 1994, pp. 434–41.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7830
Engels, Gregor, and Hartmut Ehrig. “Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective.” Proceedings Colloquium on Graph Transformation and Its Application in Computer Science, vol. B-19, 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.” Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany), vol. 776, Springer, 1994, pp. 19–36, doi: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.” Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), Springer, 1994, pp. 128–51, doi: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.” Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany), Springer, 1994, pp. 303–14.
LibreCat
1994 | Journal Article | LibreCat-ID: 7407
Löhr-Richter, Perdita, and Gregor Engels. “Visuelles Spezifizieren von Komplexen Aktionen Auf Datenbankstrukturen.” GI-Datenbank Rundbrief, vol. 13, 1994, pp. 33–35.
LibreCat
1994 | Book Chapter | LibreCat-ID: 7512
Ebert, Jürgen, and Gregor Engels. “Design Representation.” Encyclopedia of Software Engineering, John Wiley & Sons, Inc., 1994, pp. 382–94.
LibreCat
1994 | Book Chapter | LibreCat-ID: 7513
Engels, Gregor, and Luuk Groenewegen. “SOCCA: Specifications of Coordinated and Cooperative Activities.” Software Process Modelling and Technology, Research Studies Press, 1994, pp. 71–102.
LibreCat
1993 | Conference Paper | LibreCat-ID: 7826
Engels, Gregor, and A. A. Verrijn-Stuart. “Integrationsaspekte Bei Verteilter Software-Entwicklung.” Fortschritt-Berichte VDI, no. 251, VDI Verlag, 1993, pp. 45–53.
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