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


1997 | Conference Paper | LibreCat-ID: 8278
Gadducci F, Heckel R. An Inductive View of Graph Transformation. In: Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy). Vol 1376. LNCS. Berlin/Heidelberg: Springer; 1997:223-237.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8279
Heckel R. 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 G, Jürgen Schneider H. Guest Editors’ Introduction. International Journal on Software Engineering and Knowledge Engineering (IJSEKE). 1997;7(4):397-400. doi:http://dx.doi.org/10.1142/S0218194097000230
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 7403
Engels G, Heckel R, Taentzer G, Ehrig H. A Combined Reference Model- and View-Based Approach to System Specification. Int Journal of Software and Knowledge Engeneering. 1997;7(4):457-477.
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 7515
Ehrig H, Heckel R, Korff M, et al. 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. Singapore: World Scientific; 1997:247-312.
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 7516
Engels G, Rekers J, Andries M. How to represent a visual specification. In: Visual Language Theory. Berlin/Heidelberg: Springer; 1997:241-255.
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 7517
Corradini A, Montanari U, Rossi F, Ehrig H, Heckel R, Löwe M. 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. Singapore: World Scientific; 1997:163-245.
LibreCat
 

1996 | Conference (Editor) | LibreCat-ID: 7796
Engels G, Ehrig H, Rozenberg G, Skowron A, eds. Special Issue on Graph Transformations. Vol 26. Amsterdam: IOS Press; 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7834
Ehrig H, Heckel R, Padberg J, et al. Synchronization of Views and Loose Semantics of Typed Graph Productions. In: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science. Technical University of Berlin; 1996:11-12.
LibreCat
 

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

1996 | Conference Paper | LibreCat-ID: 7836
de Bunje T, Engels G, Groenewegen L, Matsinger A, Rijnbeek M. Industrial maintenance modelled in SOCCA: an experience report. In: Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK). Washington, DC, USA: IEEE Computer Society; 1996:13-26. doi: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. A View-Based Approach to System Modelling. In: Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science. Vol 155. Dagstuhl-Seminar-Report. Technical University of Berlin; 1996:11.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7838
Engels G, Groenewegen L, Kappel G. Object-oriented specification of coordinated collaboration. In: Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia). Chapman & Hall; 1996:437-452.
LibreCat
 

1996 | Report | LibreCat-ID: 8197
Andries M, Engels G, Habel A, 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 G, Engels G. Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1. Vakgroep Informatica, Rijksuniversiteit Leiden; 1996.
LibreCat
 

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

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

1996 | Conference Paper | LibreCat-ID: 8271
de Bunje T, Engels G, Groenewegen L, Heus M, Matsinger A. Towards Measurable Process Models. In: Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France). Vol 1149. Berlin/Heidelberg: Springer; 1996:183-187. doi:http://dx.doi.org/10.1007/BFb0017743
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 8272
Ehrig H, Engels G. 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. Berlin/Heidelberg: Springer; 1996:137-154.
LibreCat | Download (ext.)
 

1996 | Conference Paper | LibreCat-ID: 8273
Engels G, Zamperoni A. 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). ; 1996:42-44.
LibreCat
 

Filters and Search Terms

(department=66)

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed