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.

897 Publications


1996 | Report | LibreCat-ID: 8197
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, Graph Transformation for Specification and Programming, University of Bremen, Department of Mathematics and Computer Science, 1996.
LibreCat
 

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

1996 | Report | LibreCat-ID: 8199
Object-oriented Specification of Coordinated Collaboration
G. Engels, L. Groenewegen, G. Kappel, Object-Oriented Specification of Coordinated Collaboration, Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 8200
Horizontal and Vertical Structuring of Typed Graph Transformation Systems
R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Horizontal and Vertical Structuring of Typed Graph Transformation Systems, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8271
Towards Measurable Process Models
T. de Bunje, G. Engels, L. Groenewegen, M. Heus, A. Matsinger, in: Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France), Springer, Berlin/Heidelberg, 1996, pp. 183–187.
LibreCat | DOI
 

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

1996 | Conference Paper | LibreCat-ID: 8273
Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper)
G. Engels, A. Zamperoni, 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), 1996, pp. 42–44.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8274
Reuse of Software Process Fragments is Reuse of Software, too
L. Groenewegen, G. Engels, in: Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), IEEE Computer Society, Washington, DC, USA, 1996, p. 68.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8275
Automatic Integration of Safety Invariants into Z Specifications
R. Heckel, M. Conrad, G. Egger, J. Hiemer, in: Proceedings of the Workshop on Tools for System Development and Verifcation, Shaker Verlag, Bremen, Germany, 1996, pp. 70–83.
LibreCat | Download (ext.)
 

1996 | Journal Article | LibreCat-ID: 7404
Graph Grammars with Negative Application Conditions
A. Habel, R. Heckel, G. Taentzer, Fundamenta Informaticae 26 (1996) 287–313.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 7405
Horizontal and Vertical Structuring of Typed Graph Transformation Systems
R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Mathematical Structures in Computer Science 6 (1996) 613–648.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 7406
A Hybrid Query Language for the Extended Entity Relationship Model
M. Andries, G. Engels, Journal of Visual Languages and Computing 7 (1996) 321–352.
LibreCat | DOI
 

1996 | Book Chapter | LibreCat-ID: 7514
Tight Integration on One Document: The Programming Environment
G. Engels, M. Nagl, W. Schäfer, B. Westfechtel, in: Building Tightly Integrated Software Development Environments: The IPSEN Approach, Springer, Berlin/Heidelberg, 1996, pp. 170–177.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 7831
Attributed Graph Transformations with Controlled Application of Rules
R. Heckel, J. Müller, G. Taentzer, A. Wagner, in: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 7832
Record Linkage of Anonymous Data by Control Numbers
W. Thoben, H.-J. Appelrath, S. Sauer, in: Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany), Springer, Berlin/Heidelberg, 1995, pp. 412–419.
LibreCat
 

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

1995 | Report | LibreCat-ID: 8194
Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem
M. Conrad, M. Gajewsky, R. Holl-Biniasz, M. Rudolf, J. Demuth, S. Weber, R. Heckel, J. Müller, G. Taentzer, A. Wagner, Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem, 1995.
LibreCat
 

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

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

1995 | Conference Paper | LibreCat-ID: 8266
Coordination by Behavioural Views and Communication Patterns
L. Groenewegen, G. Engels, in: Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), Springer, Berlin/Heidelberg, 1995, pp. 189–192.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 8267
A Compositional Approach to Structuring and Refinement of Typed Graph Grammars
A. Corradini, R. Heckel, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, 1995, pp. 46–55.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8268
GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development
B. Bardohl, R. Bardohl, P. Castro, H. Ehrig, R. Heckel, L. Ribeiro, D. Nunes, A. Martini, in: Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), Forschungszentrum Jülich GmbH, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8269
Encapsulated Hierarchical Graphs, Graph Types, and Meta Types
G. Engels, A. Schürr, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, Amsterdam, The Netherlands, 1995, pp. 101–109.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 8270
Ensuring Consistency of Conditional Graph Grammars - A constructive Approach
R. Heckel, A. Wagner, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, 1995, pp. 118–126.
LibreCat | DOI
 

1994 | Conference (Editor) | LibreCat-ID: 7797
Fundamentals of Object-Oriented Languages, Systems, and Methods
H.-D. Ehrich, G. Engels, J. Paredaens, J. Wegner, eds., Fundamentals of Object-Oriented Languages, Systems, and Methods, Schloss Dagstuhl, Leibniz Center for Informatics, 1994.
LibreCat
 

1994 | Conference (Editor) | LibreCat-ID: 7798
Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers
J. Cuny, H. Ehrig, G. Engels, G. Rozenberg, eds., Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers, Springer, Berlin/Heidelberg, 1994.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 7827
Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister
W. Thoben, H.-J. Appelrath, J. Rettig, S. Sauer, in: Proceedings of the Conference on Medizin Und Information, Biometrie Und Epidemiologie (GMDS 1994), Dresden (Germany), MMV Medizin Verlag, München, 1994, pp. 88–90.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7828
Structural and Behavioural Views on OMT-Classes
J. Ebert, G. Engels, in: Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy), Springer, Berlin/Heidelberg, 1994, pp. 142–157.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7829
Object-Oriented System Development: Will the New Approach Solve Old Problems?
G. Engels, G. Kappel, in: Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany), Elsevier, 1994, pp. 434–441.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7830
Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective
G. Engels, H. Ehrig, in: Proceedings Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, Departament de Ci, 1994.
LibreCat
 

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

1994 | Conference Paper | LibreCat-ID: 8263
Syntax and Semantics of Hybrid Database Languages
M. Andries, G. Engels, in: Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany), Springer, Berlin/Heidelberg, 1994, pp. 19–36.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 8264
Specification of coordinated behaviour by SOCCA
G. Engels, L. Groenewegen, in: Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), Springer, Berlin/Heidelberg, 1994, pp. 128–151.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 8265
Visual Specification of Complex Database Actions
G. Engels, P. Löhr, in: Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany), Springer, Berlin/Heidelberg, 1994, pp. 303–314.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 7407
Visuelles Spezifizieren von komplexen Aktionen auf Datenbankstrukturen
P. Löhr-Richter, G. Engels, GI-Datenbank Rundbrief 13 (1994) 33–35.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 7512
Design Representation
J. Ebert, G. Engels, in: Encyclopedia of Software Engineering, John Wiley & Sons, Inc., 1994, pp. 382–394.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 7513
SOCCA: Specifications of Coordinated and Cooperative Activities
G. Engels, L. Groenewegen, in: Software Process Modelling and Technology, Research Studies Press, Taunton, 1994, pp. 71–102.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 7826
Integrationsaspekte bei verteilter Software-Entwicklung
G. Engels, A.A. Verrijn-Stuart, in: Fortschritt-Berichte VDI, VDI Verlag, 1993, pp. 45–53.
LibreCat
 

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

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

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

1993 | Conference Paper | LibreCat-ID: 8262
Modular, Visual Specifications of Software Processes
G. Engels, L. Groenewegen, in: Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), IEEE Computer Society, Washington, DC, USA, 1993, pp. 66–68.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 7825
Functional Description of Parallel Processes
P. Koopman, L. Groenewegen, G. Engels, in: Proceedings of the Conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands, 1992, pp. 156–167.
LibreCat
 

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

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

1992 | Conference Paper | LibreCat-ID: 8261
Specification of Coordinated Behaviour in the Software Development Process
G. Engels, L. Groenewegen, in: Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway, Springer, Berlin/Heidelberg, 1992, pp. 58–60.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 7408
SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language
U. Hohenstein, G. Engels, Information Systems 17 (1992) 209–242.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 7409
Building Integrated Software Development Environments, Part I: Tool Specification
G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, A. Schürr, ACM Transactions on Software Engineering and Methodology (TOSEM) 1 (1992) 135–167.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 7410
Conceptual Modelling of Database Applications Using an Extended ER Model
G. Engels, M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake, H.-D. Ehrich, Data & Knowledge Engineering 9 (1992) 157–204.
LibreCat | DOI
 

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

Filters and Search Terms

department=66

Search

Filter Publications

Display / Sort

Export / Embed