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, G., Heckel, R., Taentzer, G., & Ehrig, H. (1997). A Combined Reference Model- and View-Based Approach to System Specification. Int. Journal of Software and Knowledge Engeneering, 7(4), 457–477.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7515
Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., & Corradini, A. (1997). 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 (pp. 247–312). Singapore: World Scientific.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7516
Engels, G., Rekers, J., & Andries, M. (1997). How to represent a visual specification. In Visual Language Theory (pp. 241–255). Berlin/Heidelberg: Springer.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7517
Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., & Löwe, M. (1997). 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 (pp. 163–245). Singapore: World Scientific.
LibreCat
1996 | Conference (Editor) | LibreCat-ID: 7796
Engels, G., Ehrig, H., Rozenberg, G., & Skowron, A. (Eds.). (1996). Special Issue on Graph Transformations (Vol. 26). Amsterdam: IOS Press.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7834
Ehrig, H., Heckel, R., Padberg, J., Taentzer, G., Wolter, U., Corradini, A., & Engels, G. (1996). Synchronization of Views and Loose Semantics of Typed Graph Productions. In Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science (pp. 11–12). Technical University of Berlin.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7835
Heckel, R. (1996). Behavioral Constraints for Loose Graph Transformation Systems. In Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science (pp. 12–13). Technical University of Berlin.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7836
de Bunje, T., Engels, G., Groenewegen, L., Matsinger, A., & Rijnbeek, M. (1996). Industrial maintenance modelled in SOCCA: an experience report. In Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK) (pp. 13–26). Washington, DC, USA: IEEE Computer Society. http://dx.doi.org/10.1109/ICSP.1996.565021
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 7837
Engels, G., Ehrig, H., Heckel, R., Taentzer, G., & Corradini, A. (1996). A View-Based Approach to System Modelling. In Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science (Vol. 155, p. 11). Technical University of Berlin.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7838
Engels, G., Groenewegen, L., & Kappel, G. (1996). Object-oriented specification of coordinated collaboration. In Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia) (pp. 437–452). Chapman & Hall.
LibreCat
1996 | Report | LibreCat-ID: 8197
Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., … Taentzer, G. (1996). Graph Transformation for Specification and Programming. University of Bremen, Department of Mathematics and Computer Science.
LibreCat
1996 | Report | LibreCat-ID: 8198
Busatto, G., & Engels, G. (1996). Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1. Vakgroep Informatica, Rijksuniversiteit Leiden.
LibreCat
1996 | Report | LibreCat-ID: 8199
Engels, G., Groenewegen, L., & Kappel, G. (1996). Object-oriented Specification of Coordinated Collaboration. Vakgroep Informatica, Rijksuniversiteit Leiden.
LibreCat
1996 | Report | LibreCat-ID: 8200
Heckel, R., Corradini, A., Ehrig, H., & Löwe, M. (1996). Horizontal and Vertical Structuring of Typed Graph Transformation Systems.
LibreCat
1996 | Conference Paper | LibreCat-ID: 8271
de Bunje, T., Engels, G., Groenewegen, L., Heus, M., & Matsinger, A. (1996). Towards Measurable Process Models. In Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France) (Vol. 1149, pp. 183–187). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/BFb0017743
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 8272
Ehrig, H., & Engels, G. (1996). 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) (Vol. 1073, pp. 137–154). Berlin/Heidelberg: Springer.
LibreCat
| Download (ext.)
1996 | Conference Paper | LibreCat-ID: 8273
Engels, G., & Zamperoni, A. (1996). 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) (pp. 42–44).
LibreCat
1996 | Conference Paper | LibreCat-ID: 8274
Groenewegen, L., & Engels, G. (1996). Reuse of Software Process Fragments is Reuse of Software, too. In Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France) (p. 68). Washington, DC, USA: IEEE Computer Society.
LibreCat
1996 | Conference Paper | LibreCat-ID: 8275
Heckel, R., Conrad, M., Egger, G., & Hiemer, J. (1996). Automatic Integration of Safety Invariants into Z Specifications. In Proceedings of the Workshop on Tools for System Development and Verifcation (Vol. 1, pp. 70–83). Bremen, Germany: Shaker Verlag.
LibreCat
| Download (ext.)
1996 | Journal Article | LibreCat-ID: 7404
Habel, A., Heckel, R., & Taentzer, G. (1996). Graph Grammars with Negative Application Conditions. Fundamenta Informaticae, 26(3,4), 287–313.
LibreCat