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
1996 | Report | LibreCat-ID: 8197
@book{Andries_Engels_Habel_Hoffmann_Kreowski_Kuske_Plump_Schürr_Taentzer_1996, title={Graph Transformation for Specification and Programming}, publisher={University of Bremen, Department of Mathematics and Computer Science}, author={Andries, Marc and Engels, Gregor and Habel, Annegret and Hoffmann, Berthold and Kreowski, Hans-Jörg and Kuske, Sabine and Plump, Detlef and Schürr, Andy and Taentzer, Gabriele}, year={1996} }
LibreCat
1996 | Report | LibreCat-ID: 8198
@book{Busatto_Engels_1996, title={Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1.}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Busatto, Giorgio and Engels, Gregor}, year={1996} }
LibreCat
1996 | Report | LibreCat-ID: 8199
@book{Engels_Groenewegen_Kappel_1996, title={Object-oriented Specification of Coordinated Collaboration}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Engels, Gregor and Groenewegen, Luuk and Kappel, Gerti}, year={1996} }
LibreCat
1996 | Report | LibreCat-ID: 8200
@book{Heckel_Corradini_Ehrig_Löwe_1996, title={Horizontal and Vertical Structuring of Typed Graph Transformation Systems}, author={Heckel, Reiko and Corradini, Andrea and Ehrig, Hartmut and Löwe, Michael}, year={1996} }
LibreCat
1996 | Conference Paper | LibreCat-ID: 8271
@inproceedings{de Bunje_Engels_Groenewegen_Heus_Matsinger_1996, place={Berlin/Heidelberg}, title={Towards Measurable Process Models}, volume={1149}, DOI={http://dx.doi.org/10.1007/BFb0017743}, booktitle={Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France)}, publisher={Springer}, author={de Bunje, Tineke and Engels, Gregor and Groenewegen, Luuk and Heus, Michael and Matsinger, Aart}, year={1996}, pages={183–187} }
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 8272
@inproceedings{Ehrig_Engels_1996, place={Berlin/Heidelberg}, title={Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems}, volume={1073}, booktitle={Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA)}, publisher={Springer}, author={Ehrig, Hartmut and Engels, Gregor}, year={1996}, pages={137–154} }
LibreCat
| Download (ext.)
1996 | Conference Paper | LibreCat-ID: 8273
@inproceedings{Engels_Zamperoni_1996, title={Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper)}, booktitle={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)}, author={Engels, Gregor and Zamperoni, Andreas}, year={1996}, pages={42–44} }
LibreCat
1996 | Conference Paper | LibreCat-ID: 8274
@inproceedings{Groenewegen_Engels_1996, place={Washington, DC, USA}, title={Reuse of Software Process Fragments is Reuse of Software, too}, booktitle={Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France)}, publisher={IEEE Computer Society}, author={Groenewegen, Luuk and Engels, Gregor}, year={1996}, pages={68} }
LibreCat
1996 | Conference Paper | LibreCat-ID: 8275
@inproceedings{Heckel_Conrad_Egger_Hiemer_1996, place={Bremen, Germany}, title={Automatic Integration of Safety Invariants into Z Specifications}, volume={1}, booktitle={Proceedings of the Workshop on Tools for System Development and Verifcation}, publisher={Shaker Verlag}, author={Heckel, Reiko and Conrad, Mirko and Egger, Gottfried and Hiemer, Jörg}, year={1996}, pages={70–83} }
LibreCat
| Download (ext.)
1996 | Journal Article | LibreCat-ID: 7404
@article{Habel_Heckel_Taentzer_1996, title={Graph Grammars with Negative Application Conditions}, volume={26}, number={3,4}, journal={Fundamenta Informaticae}, author={Habel, Annegret and Heckel, Reiko and Taentzer, Gabriele}, year={1996}, pages={287–313} }
LibreCat