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.
920 Publications
1996 | Conference Paper | LibreCat-ID: 8274
L. Groenewegen and G. Engels, “Reuse of Software Process Fragments is Reuse of Software, too,” in Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), 1996, p. 68.
LibreCat
1996 | Conference Paper | LibreCat-ID: 8275
R. Heckel, M. Conrad, G. Egger, and J. Hiemer, “Automatic Integration of Safety Invariants into Z Specifications,” in Proceedings of the Workshop on Tools for System Development and Verifcation, 1996, vol. 1, pp. 70–83.
LibreCat
| Download (ext.)
1996 | Journal Article | LibreCat-ID: 7404
A. Habel, R. Heckel, and G. Taentzer, “Graph Grammars with Negative Application Conditions,” Fundamenta Informaticae, vol. 26, no. 3,4, pp. 287–313, 1996.
LibreCat
1996 | Journal Article | LibreCat-ID: 7405
R. Heckel, A. Corradini, H. Ehrig, and M. Löwe, “Horizontal and Vertical Structuring of Typed Graph Transformation Systems,” Mathematical Structures in Computer Science, vol. 6, no. 6, pp. 613–648, 1996.
LibreCat
1996 | Book Chapter | LibreCat-ID: 7514
G. Engels, M. Nagl, W. Schäfer, and B. Westfechtel, “Tight Integration on One Document: The Programming Environment,” in Building Tightly Integrated Software Development Environments: The IPSEN Approach, vol. 1170, Berlin/Heidelberg: Springer, 1996, pp. 170–177.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7831
R. Heckel, J. Müller, G. Taentzer, and A. Wagner, “Attributed Graph Transformations with Controlled Application of Rules,” in Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science, 1995, no. B-19.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7832
W. Thoben, H.-J. Appelrath, and S. Sauer, “Record Linkage of Anonymous Data by Control Numbers,” in Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg (Germany), 1995, pp. 412–419.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7833
R. Heckel, “Embedding of Conditional Graph Transformations,” in Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science, 1995, no. B-19.
LibreCat
1995 | Report | LibreCat-ID: 8194
M. Conrad et al., Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem. 1995.
LibreCat
1995 | Report | LibreCat-ID: 8195
J. Ebert and G. Engels, Specialization of Object Life Cycle Definitions. Koblenz: University of Koblenz-Landau, 1995.
LibreCat
1995 | Report | LibreCat-ID: 8196
G. Engels and A. Schürr, Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8266
L. Groenewegen and G. Engels, “Coordination by Behavioural Views and Communication Patterns,” in Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), 1995, vol. 913, pp. 189–192.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 8267
A. Corradini and R. 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), 1995, vol. 2, pp. 46–55.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8268
B. Bardohl et al., “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), 1995, vol. 26.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8270
R. Heckel and A. 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), 1995, vol. 2, pp. 118–126.
LibreCat
| DOI
1994 | Conference (Editor) | LibreCat-ID: 7797
H.-D. Ehrich, G. Engels, J. Paredaens, and J. Wegner, Eds., Fundamentals of Object-Oriented Languages, Systems, and Methods, vol. 95. Schloss Dagstuhl, Leibniz Center for Informatics, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7827
W. Thoben, H.-J. Appelrath, J. Rettig, and S. 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), 1994, pp. 88–90.
LibreCat