[{"type":"conference","department":[{"_id":"66"}],"date_created":"2019-03-04T12:25:36Z","place":"Berlin/Heidelberg","publication":"Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France)","citation":{"mla":"de Bunje, Tineke, et al. “Towards Measurable Process Models.” <i>Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France)</i>, vol. 1149, Springer, 1996, pp. 183–87, doi:<a href=\"http://dx.doi.org/10.1007/BFb0017743\">http://dx.doi.org/10.1007/BFb0017743</a>.","bibtex":"@inproceedings{de Bunje_Engels_Groenewegen_Heus_Matsinger_1996, place={Berlin/Heidelberg}, title={Towards Measurable Process Models}, volume={1149}, DOI={<a href=\"http://dx.doi.org/10.1007/BFb0017743\">http://dx.doi.org/10.1007/BFb0017743</a>}, 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} }","ama":"de Bunje T, Engels G, Groenewegen L, Heus M, Matsinger A. Towards Measurable Process Models. In: <i>Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France)</i>. Vol 1149. Berlin/Heidelberg: Springer; 1996:183-187. doi:<a href=\"http://dx.doi.org/10.1007/BFb0017743\">http://dx.doi.org/10.1007/BFb0017743</a>","ieee":"T. de Bunje, G. Engels, L. Groenewegen, M. Heus, and A. Matsinger, “Towards Measurable Process Models,” in <i>Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France)</i>, 1996, vol. 1149, pp. 183–187.","apa":"de Bunje, T., Engels, G., Groenewegen, L., Heus, M., &#38; Matsinger, A. (1996). Towards Measurable Process Models. In <i>Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France)</i> (Vol. 1149, pp. 183–187). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/BFb0017743\">http://dx.doi.org/10.1007/BFb0017743</a>","short":"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.","chicago":"Bunje, Tineke de, Gregor Engels, Luuk Groenewegen, Michael Heus, and Aart Matsinger. “Towards Measurable Process Models.” In <i>Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France)</i>, 1149:183–87. Berlin/Heidelberg: Springer, 1996. <a href=\"http://dx.doi.org/10.1007/BFb0017743\">http://dx.doi.org/10.1007/BFb0017743</a>."},"user_id":"52534","doi":"http://dx.doi.org/10.1007/BFb0017743","volume":1149,"page":"183-187","_id":"8271","publisher":"Springer","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:53Z","intvolume":"      1149","year":"1996","status":"public","title":"Towards Measurable Process Models","author":[{"full_name":"de Bunje, Tineke","first_name":"Tineke","last_name":"de Bunje"},{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"last_name":"Groenewegen","first_name":"Luuk","full_name":"Groenewegen, Luuk"},{"full_name":"Heus, Michael","first_name":"Michael","last_name":"Heus"},{"first_name":"Aart","last_name":"Matsinger","full_name":"Matsinger, Aart"}]},{"abstract":[{"text":"The paper presents a conceptual framework for a module concept for graph transformation systems from a software engineering as well as from a theoretical point of view. The basic idea is to reuse concepts, which are known within or without the graph grammar field, to structure large specifications. These are the concept of distributed graph transformation systems, the concept of inheritance of specifications, and the import-export-interface concept. All these concepts are presented in a uniform framework based on the syntactical notion of a graph class specification and its semantics given by a graph transformation system. This is the basis for an explicit integration of these concepts and a corresponding specification language, to be discussed in a subsequent paper.","lang":"eng"}],"citation":{"mla":"Ehrig, Hartmut, and Gregor Engels. “Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems.” <i>Selected Papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA)</i>, vol. 1073, Springer, 1996, pp. 137–54.","bibtex":"@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} }","ama":"Ehrig H, Engels G. Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems. In: <i>Selected Papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA)</i>. Vol 1073. Berlin/Heidelberg: Springer; 1996:137-154.","ieee":"H. Ehrig and G. Engels, “Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems,” in <i>Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA)</i>, 1996, vol. 1073, pp. 137–154.","apa":"Ehrig, H., &#38; Engels, G. (1996). Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems. In <i>Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA)</i> (Vol. 1073, pp. 137–154). Berlin/Heidelberg: Springer.","short":"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.","chicago":"Ehrig, Hartmut, and Gregor Engels. “Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems.” In <i>Selected Papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA)</i>, 1073:137–54. Berlin/Heidelberg: Springer, 1996."},"publication":"Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA)","department":[{"_id":"66"}],"type":"conference","place":"Berlin/Heidelberg","date_created":"2019-03-04T12:25:38Z","intvolume":"      1073","date_updated":"2022-01-06T07:03:53Z","author":[{"first_name":"Hartmut","last_name":"Ehrig","full_name":"Ehrig, Hartmut"},{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"}],"year":"1996","status":"public","title":"Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems","volume":1073,"user_id":"52534","_id":"8272","language":[{"iso":"eng"}],"publisher":"Springer","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007%2F3-540-61228-9_84"}],"page":"137-154"},{"page":"42-44","_id":"8273","language":[{"iso":"eng"}],"user_id":"52534","title":"Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper)","year":"1996","status":"public","author":[{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"},{"first_name":"Andreas","last_name":"Zamperoni","full_name":"Zamperoni, Andreas"}],"date_updated":"2022-01-06T07:03:53Z","date_created":"2019-03-04T12:25:39Z","type":"conference","department":[{"_id":"66"}],"publication":"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)","citation":{"chicago":"Engels, Gregor, and Andreas Zamperoni. “Comprehensive Support for Change: Generic, Multi-Dimensional (Software) Engineering Frameworks (Position Paper).” In <i>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)</i>, 42–44, 1996.","short":"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.","apa":"Engels, G., &#38; Zamperoni, A. (1996). Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper). In <i>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)</i> (pp. 42–44).","ieee":"G. Engels and A. Zamperoni, “Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper),” in <i>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)</i>, 1996, pp. 42–44.","ama":"Engels G, Zamperoni A. Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper). In: <i>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)</i>. ; 1996:42-44.","bibtex":"@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} }","mla":"Engels, Gregor, and Andreas Zamperoni. “Comprehensive Support for Change: Generic, Multi-Dimensional (Software) Engineering Frameworks (Position Paper).” <i>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)</i>, 1996, pp. 42–44."}},{"author":[{"full_name":"Groenewegen, Luuk","first_name":"Luuk","last_name":"Groenewegen"},{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"}],"title":"Reuse of Software Process Fragments is Reuse of Software, too","year":"1996","status":"public","date_updated":"2022-01-06T07:03:53Z","_id":"8274","publisher":"IEEE Computer Society","language":[{"iso":"eng"}],"page":"68","user_id":"52534","citation":{"mla":"Groenewegen, Luuk, and Gregor Engels. “Reuse of Software Process Fragments Is Reuse of Software, Too.” <i>Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France)</i>, IEEE Computer Society, 1996, p. 68.","ama":"Groenewegen L, Engels G. Reuse of Software Process Fragments is Reuse of Software, too. In: <i>Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France)</i>. Washington, DC, USA: IEEE Computer Society; 1996:68.","bibtex":"@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} }","apa":"Groenewegen, L., &#38; Engels, G. (1996). Reuse of Software Process Fragments is Reuse of Software, too. In <i>Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France)</i> (p. 68). Washington, DC, USA: IEEE Computer Society.","ieee":"L. Groenewegen and G. Engels, “Reuse of Software Process Fragments is Reuse of Software, too,” in <i>Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France)</i>, 1996, p. 68.","short":"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.","chicago":"Groenewegen, Luuk, and Gregor Engels. “Reuse of Software Process Fragments Is Reuse of Software, Too.” In <i>Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France)</i>, 68. Washington, DC, USA: IEEE Computer Society, 1996."},"publication":"Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France)","abstract":[{"text":"By means of a special sofnvare process model component we have been successful in specifring somare process model evolution, This component also handles much reuse of software process model fragments. To handle the reuse of the software as it is being produced by a software process, another extra component can be added to the model for that software process. It is argued why this extra component is comparable to the special component for evolution.","lang":"eng"}],"place":"Washington, DC, USA","date_created":"2019-03-04T12:25:40Z","department":[{"_id":"66"}],"type":"conference"},{"abstract":[{"text":"This extended abstract describes a mechanism to automatically incorporate safety requirements into operational specifications written in Z. For every individual operation the global (i.e. operation independent) safety invariants are transformed into a predicate which is used to extend the original precondiction of the operation. The operation constructed this way shows the same beavior as the original one whenever its post state satisfies the invariant. Otherwise it refuses to do anything. The construction of the precondition can be carried out automatically and a corresponding tool development is in progress.","lang":"eng"}],"publication":"Proceedings of the Workshop on Tools for System Development and Verifcation","type":"conference","department":[{"_id":"66"}],"date_created":"2019-03-04T12:25:41Z","date_updated":"2022-01-06T07:03:53Z","intvolume":"         1","title":"Automatic Integration of Safety Invariants into Z Specifications","year":"1996","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Conrad, Mirko","last_name":"Conrad","first_name":"Mirko"},{"full_name":"Egger, Gottfried","first_name":"Gottfried","last_name":"Egger"},{"first_name":"Jörg","last_name":"Hiemer","full_name":"Hiemer, Jörg"}],"main_file_link":[{"url":"http://tfs.cs.tu-berlin.de/"}],"language":[{"iso":"eng"}],"citation":{"mla":"Heckel, Reiko, et al. “Automatic Integration of Safety Invariants into Z Specifications.” <i>Proceedings of the Workshop on Tools for System Development and Verifcation</i>, vol. 1, Shaker Verlag, 1996, pp. 70–83.","ama":"Heckel R, Conrad M, Egger G, Hiemer J. Automatic Integration of Safety Invariants into Z Specifications. In: <i>Proceedings of the Workshop on Tools for System Development and Verifcation</i>. Vol 1. Bremen, Germany: Shaker Verlag; 1996:70-83.","bibtex":"@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} }","apa":"Heckel, R., Conrad, M., Egger, G., &#38; Hiemer, J. (1996). Automatic Integration of Safety Invariants into Z Specifications. In <i>Proceedings of the Workshop on Tools for System Development and Verifcation</i> (Vol. 1, pp. 70–83). Bremen, Germany: Shaker Verlag.","ieee":"R. Heckel, M. Conrad, G. Egger, and J. Hiemer, “Automatic Integration of Safety Invariants into Z Specifications,” in <i>Proceedings of the Workshop on Tools for System Development and Verifcation</i>, 1996, vol. 1, pp. 70–83.","short":"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.","chicago":"Heckel, Reiko, Mirko Conrad, Gottfried Egger, and Jörg Hiemer. “Automatic Integration of Safety Invariants into Z Specifications.” In <i>Proceedings of the Workshop on Tools for System Development and Verifcation</i>, 1:70–83. Bremen, Germany: Shaker Verlag, 1996."},"place":"Bremen, Germany","status":"public","user_id":"52534","volume":1,"page":"70-83","_id":"8275","publisher":"Shaker Verlag"},{"page":"287-313","_id":"7404","language":[{"iso":"eng"}],"user_id":"52534","volume":26,"status":"public","title":"Graph Grammars with Negative Application Conditions","year":"1996","author":[{"full_name":"Habel, Annegret","last_name":"Habel","first_name":"Annegret"},{"last_name":"Heckel","first_name":"Reiko","full_name":"Heckel, Reiko"},{"last_name":"Taentzer","first_name":"Gabriele","full_name":"Taentzer, Gabriele"}],"date_updated":"2022-01-06T07:03:36Z","intvolume":"        26","date_created":"2019-01-31T15:50:33Z","type":"journal_article","department":[{"_id":"66"}],"issue":"3,4","publication":"Fundamenta Informaticae","citation":{"short":"A. Habel, R. Heckel, G. Taentzer, Fundamenta Informaticae 26 (1996) 287–313.","chicago":"Habel, Annegret, Reiko Heckel, and Gabriele Taentzer. “Graph Grammars with Negative Application Conditions.” <i>Fundamenta Informaticae</i> 26, no. 3,4 (1996): 287–313.","apa":"Habel, A., Heckel, R., &#38; Taentzer, G. (1996). Graph Grammars with Negative Application Conditions. <i>Fundamenta Informaticae</i>, <i>26</i>(3,4), 287–313.","ieee":"A. Habel, R. Heckel, and G. Taentzer, “Graph Grammars with Negative Application Conditions,” <i>Fundamenta Informaticae</i>, vol. 26, no. 3,4, pp. 287–313, 1996.","ama":"Habel A, Heckel R, Taentzer G. Graph Grammars with Negative Application Conditions. <i>Fundamenta Informaticae</i>. 1996;26(3,4):287-313.","bibtex":"@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} }","mla":"Habel, Annegret, et al. “Graph Grammars with Negative Application Conditions.” <i>Fundamenta Informaticae</i>, vol. 26, no. 3,4, 1996, pp. 287–313."}},{"volume":6,"user_id":"52534","language":[{"iso":"eng"}],"_id":"7405","page":"613-648","intvolume":"         6","date_updated":"2022-01-06T07:03:36Z","author":[{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"},{"first_name":"Andrea","last_name":"Corradini","full_name":"Corradini, Andrea"},{"last_name":"Ehrig","first_name":"Hartmut","full_name":"Ehrig, Hartmut"},{"first_name":"Michael","last_name":"Löwe","full_name":"Löwe, Michael"}],"status":"public","year":"1996","title":"Horizontal and Vertical Structuring of Typed Graph Transformation Systems","department":[{"_id":"66"}],"type":"journal_article","date_created":"2019-01-31T15:51:05Z","citation":{"apa":"Heckel, R., Corradini, A., Ehrig, H., &#38; Löwe, M. (1996). Horizontal and Vertical Structuring of Typed Graph Transformation Systems. <i>Mathematical Structures in Computer Science</i>, <i>6</i>(6), 613–648.","ieee":"R. Heckel, A. Corradini, H. Ehrig, and M. Löwe, “Horizontal and Vertical Structuring of Typed Graph Transformation Systems,” <i>Mathematical Structures in Computer Science</i>, vol. 6, no. 6, pp. 613–648, 1996.","chicago":"Heckel, Reiko, Andrea Corradini, Hartmut Ehrig, and Michael Löwe. “Horizontal and Vertical Structuring of Typed Graph Transformation Systems.” <i>Mathematical Structures in Computer Science</i> 6, no. 6 (1996): 613–48.","short":"R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Mathematical Structures in Computer Science 6 (1996) 613–648.","mla":"Heckel, Reiko, et al. “Horizontal and Vertical Structuring of Typed Graph Transformation Systems.” <i>Mathematical Structures in Computer Science</i>, vol. 6, no. 6, 1996, pp. 613–48.","ama":"Heckel R, Corradini A, Ehrig H, Löwe M. Horizontal and Vertical Structuring of Typed Graph Transformation Systems. <i>Mathematical Structures in Computer Science</i>. 1996;6(6):613-648.","bibtex":"@article{Heckel_Corradini_Ehrig_Löwe_1996, title={Horizontal and Vertical Structuring of Typed Graph Transformation Systems}, volume={6}, number={6}, journal={Mathematical Structures in Computer Science}, author={Heckel, Reiko and Corradini, Andrea and Ehrig, Hartmut and Löwe, Michael}, year={1996}, pages={613–648} }"},"publication":"Mathematical Structures in Computer Science","issue":"6"},{"date_updated":"2022-01-06T07:03:36Z","intvolume":"         7","title":"A Hybrid Query Language for the Extended Entity Relationship Model","year":"1996","status":"public","author":[{"full_name":"Andries, Marc","first_name":"Marc","last_name":"Andries"},{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"}],"doi":"http://dx.doi.org/10.1006/jvlc.1996.0017","user_id":"52534","volume":7,"page":"321-352","_id":"7406","language":[{"iso":"eng"}],"abstract":[{"text":"We present the hybrid query language HQL/EER for an Extended Entity-Relationship model. As its main characteristic, this language allows a user to usebothgraphical and textual elements in the formulation of one and the same query. We demonstrate the look-and-feel of this query language by means of examples, and show how syntax and semantics of this language are formally defined using programmed graph rewriting systems. Although we present the language in the context of the EER model, the concept of hybrid languages is applicable in the context of other database models as well. We illustrate this claim by discussing a prototype implementation of a Hybrid Query Tool based on an object-oriented approach, namely the Object Modeling Technique (OMT).","lang":"eng"}],"publication":"Journal of Visual Languages and Computing","issue":"3","citation":{"ieee":"M. Andries and G. Engels, “A Hybrid Query Language for the Extended Entity Relationship Model,” <i>Journal of Visual Languages and Computing</i>, vol. 7, no. 3, pp. 321–352, 1996.","apa":"Andries, M., &#38; Engels, G. (1996). A Hybrid Query Language for the Extended Entity Relationship Model. <i>Journal of Visual Languages and Computing</i>, <i>7</i>(3), 321–352. <a href=\"http://dx.doi.org/10.1006/jvlc.1996.0017\">http://dx.doi.org/10.1006/jvlc.1996.0017</a>","short":"M. Andries, G. Engels, Journal of Visual Languages and Computing 7 (1996) 321–352.","chicago":"Andries, Marc, and Gregor Engels. “A Hybrid Query Language for the Extended Entity Relationship Model.” <i>Journal of Visual Languages and Computing</i> 7, no. 3 (1996): 321–52. <a href=\"http://dx.doi.org/10.1006/jvlc.1996.0017\">http://dx.doi.org/10.1006/jvlc.1996.0017</a>.","mla":"Andries, Marc, and Gregor Engels. “A Hybrid Query Language for the Extended Entity Relationship Model.” <i>Journal of Visual Languages and Computing</i>, vol. 7, no. 3, 1996, pp. 321–52, doi:<a href=\"http://dx.doi.org/10.1006/jvlc.1996.0017\">http://dx.doi.org/10.1006/jvlc.1996.0017</a>.","bibtex":"@article{Andries_Engels_1996, title={A Hybrid Query Language for the Extended Entity Relationship Model}, volume={7}, DOI={<a href=\"http://dx.doi.org/10.1006/jvlc.1996.0017\">http://dx.doi.org/10.1006/jvlc.1996.0017</a>}, number={3}, journal={Journal of Visual Languages and Computing}, author={Andries, Marc and Engels, Gregor}, year={1996}, pages={321–352} }","ama":"Andries M, Engels G. A Hybrid Query Language for the Extended Entity Relationship Model. <i>Journal of Visual Languages and Computing</i>. 1996;7(3):321-352. doi:<a href=\"http://dx.doi.org/10.1006/jvlc.1996.0017\">http://dx.doi.org/10.1006/jvlc.1996.0017</a>"},"type":"journal_article","department":[{"_id":"66"}],"date_created":"2019-01-31T15:51:35Z"},{"intvolume":"      1170","date_updated":"2022-01-06T07:03:39Z","author":[{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"last_name":"Nagl","first_name":"Manfred","full_name":"Nagl, Manfred"},{"last_name":"Schäfer","first_name":"Wilhelm","full_name":"Schäfer, Wilhelm"},{"first_name":"Bernhard","last_name":"Westfechtel","full_name":"Westfechtel, Bernhard"}],"title":"Tight Integration on One Document: The Programming Environment","status":"public","year":"1996","volume":1170,"user_id":"52534","publisher":"Springer","_id":"7514","series_title":"LNCS","language":[{"iso":"eng"}],"page":"170-177","citation":{"ama":"Engels G, Nagl M, Schäfer W, Westfechtel B. Tight Integration on One Document: The Programming Environment. In: <i>Building Tightly Integrated Software Development Environments: The IPSEN Approach</i>. Vol 1170. LNCS. Berlin/Heidelberg: Springer; 1996:170-177.","bibtex":"@inbook{Engels_Nagl_Schäfer_Westfechtel_1996, place={Berlin/Heidelberg}, series={LNCS}, title={Tight Integration on One Document: The Programming Environment}, volume={1170}, booktitle={Building Tightly Integrated Software Development Environments: The IPSEN Approach}, publisher={Springer}, author={Engels, Gregor and Nagl, Manfred and Schäfer, Wilhelm and Westfechtel, Bernhard}, year={1996}, pages={170–177}, collection={LNCS} }","mla":"Engels, Gregor, et al. “Tight Integration on One Document: The Programming Environment.” <i>Building Tightly Integrated Software Development Environments: The IPSEN Approach</i>, vol. 1170, Springer, 1996, pp. 170–77.","chicago":"Engels, Gregor, Manfred Nagl, Wilhelm Schäfer, and Bernhard Westfechtel. “Tight Integration on One Document: The Programming Environment.” In <i>Building Tightly Integrated Software Development Environments: The IPSEN Approach</i>, 1170:170–77. LNCS. Berlin/Heidelberg: Springer, 1996.","short":"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.","apa":"Engels, G., Nagl, M., Schäfer, W., &#38; Westfechtel, B. (1996). Tight Integration on One Document: The Programming Environment. In <i>Building Tightly Integrated Software Development Environments: The IPSEN Approach</i> (Vol. 1170, pp. 170–177). Berlin/Heidelberg: Springer.","ieee":"G. Engels, M. Nagl, W. Schäfer, and B. Westfechtel, “Tight Integration on One Document: The Programming Environment,” in <i>Building Tightly Integrated Software Development Environments: The IPSEN Approach</i>, vol. 1170, Berlin/Heidelberg: Springer, 1996, pp. 170–177."},"publication":"Building Tightly Integrated Software Development Environments: The IPSEN Approach","department":[{"_id":"66"}],"type":"book_chapter","place":"Berlin/Heidelberg","date_created":"2019-02-04T22:40:52Z"},{"title":"Attributed Graph Transformations with Controlled Application of Rules","year":"1995","status":"public","author":[{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"},{"full_name":"Müller, Jürgen","last_name":"Müller","first_name":"Jürgen"},{"last_name":"Taentzer","first_name":"Gabriele","full_name":"Taentzer, Gabriele"},{"full_name":"Wagner, Annika","last_name":"Wagner","first_name":"Annika"}],"date_updated":"2022-01-06T07:03:46Z","language":[{"iso":"eng"}],"_id":"7831","publisher":"Universitat de les Illes Balears","series_title":"Technical Report","user_id":"52534","publication":"Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science","issue":"B-19","citation":{"bibtex":"@inproceedings{Heckel_Müller_Taentzer_Wagner_1995, series={Technical Report}, title={Attributed Graph Transformations with Controlled Application of Rules}, number={B-19}, booktitle={Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science}, publisher={Universitat de les Illes Balears}, author={Heckel, Reiko and Müller, Jürgen and Taentzer, Gabriele and Wagner, Annika}, year={1995}, collection={Technical Report} }","ama":"Heckel R, Müller J, Taentzer G, Wagner A. Attributed Graph Transformations with Controlled Application of Rules. In: <i>Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science</i>. Technical Report. Universitat de les Illes Balears; 1995.","mla":"Heckel, Reiko, et al. “Attributed Graph Transformations with Controlled Application of Rules.” <i>Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science</i>, no. B-19, Universitat de les Illes Balears, 1995.","short":"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.","chicago":"Heckel, Reiko, Jürgen Müller, Gabriele Taentzer, and Annika Wagner. “Attributed Graph Transformations with Controlled Application of Rules.” In <i>Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science</i>. Technical Report. Universitat de les Illes Balears, 1995.","ieee":"R. Heckel, J. Müller, G. Taentzer, and A. Wagner, “Attributed Graph Transformations with Controlled Application of Rules,” in <i>Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science</i>, 1995, no. B-19.","apa":"Heckel, R., Müller, J., Taentzer, G., &#38; Wagner, A. (1995). Attributed Graph Transformations with Controlled Application of Rules. In <i>Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science</i>. Universitat de les Illes Balears."},"abstract":[{"lang":"eng","text":"We present a combination of recent extensions to single-pushout graph transformations, as there are attribution, application conditions and amalgamated graph transformations and add a simple transaction concept on top of this formalism. Thereby, we provide the formal basis for several examples, where these concepts are used in combination."}],"date_created":"2019-02-20T13:59:38Z","type":"conference","department":[{"_id":"66"}]},{"date_created":"2019-02-20T14:00:22Z","place":"Berlin/Heidelberg","department":[{"_id":"66"}],"type":"conference","citation":{"short":"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.","chicago":"Thoben, Wilfried, Hans-Jürgen Appelrath, and Stefan Sauer. “Record Linkage of Anonymous Data by Control Numbers.” In <i>Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany)</i>, 412–19. Studies in Classification, Data Analysis, and Knowledge Organization. Berlin/Heidelberg: Springer, 1995.","apa":"Thoben, W., Appelrath, H.-J., &#38; Sauer, S. (1995). Record Linkage of Anonymous Data by Control Numbers. In <i>Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg (Germany)</i> (pp. 412–419). Berlin/Heidelberg: Springer.","ieee":"W. Thoben, H.-J. Appelrath, and S. Sauer, “Record Linkage of Anonymous Data by Control Numbers,” in <i>Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg (Germany)</i>, 1995, pp. 412–419.","ama":"Thoben W, Appelrath H-J, Sauer S. Record Linkage of Anonymous Data by Control Numbers. In: <i>Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany)</i>. Studies in Classification, Data Analysis, and Knowledge Organization. Berlin/Heidelberg: Springer; 1995:412-419.","bibtex":"@inproceedings{Thoben_Appelrath_Sauer_1995, place={Berlin/Heidelberg}, series={Studies in Classification, Data Analysis, and Knowledge Organization}, title={Record Linkage of Anonymous Data by Control Numbers}, booktitle={Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg (Germany)}, publisher={Springer}, author={Thoben, Wilfried and Appelrath, Hans-Jürgen and Sauer, Stefan}, year={1995}, pages={412–419}, collection={Studies in Classification, Data Analysis, and Knowledge Organization} }","mla":"Thoben, Wilfried, et al. “Record Linkage of Anonymous Data by Control Numbers.” <i>Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany)</i>, Springer, 1995, pp. 412–19."},"publication":"Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg (Germany)","series_title":"Studies in Classification, Data Analysis, and Knowledge Organization","_id":"7832","language":[{"iso":"eng"}],"publisher":"Springer","page":"412-419","user_id":"52534","author":[{"full_name":"Thoben, Wilfried","last_name":"Thoben","first_name":"Wilfried"},{"full_name":"Appelrath, Hans-Jürgen","first_name":"Hans-Jürgen","last_name":"Appelrath"},{"first_name":"Stefan","last_name":"Sauer","full_name":"Sauer, Stefan","id":"447"}],"year":"1995","title":"Record Linkage of Anonymous Data by Control Numbers","status":"public","date_updated":"2022-01-06T07:03:46Z"},{"citation":{"apa":"Heckel, R. (1995). Embedding of Conditional Graph Transformations. In <i>Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science</i>. Universitat de les Illes Balears.","ieee":"R. Heckel, “Embedding of Conditional Graph Transformations,” in <i>Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science</i>, 1995, no. B-19.","short":"R. Heckel, in: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, 1995.","chicago":"Heckel, Reiko. “Embedding of Conditional Graph Transformations.” In <i>Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science</i>. Technical Report. Universitat de les Illes Balears, 1995.","mla":"Heckel, Reiko. “Embedding of Conditional Graph Transformations.” <i>Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science</i>, no. B-19, Universitat de les Illes Balears, 1995.","ama":"Heckel R. Embedding of Conditional Graph Transformations. In: <i>Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science</i>. Technical Report. Universitat de les Illes Balears; 1995.","bibtex":"@inproceedings{Heckel_1995, series={Technical Report}, title={Embedding of Conditional Graph Transformations}, number={B-19}, booktitle={Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science}, publisher={Universitat de les Illes Balears}, author={Heckel, Reiko}, year={1995}, collection={Technical Report} }"},"publication":"Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science","issue":"B-19","abstract":[{"lang":"eng","text":"Single pushout graph transformations at injective matches are extended by negative application conditions. It is shown, how right-sided application conditions can be transformed into equivalent left-sided ones. Based on this result, conditional derived rules are introduced and a theorem, similiar to the double pushout embedding theorem is shown. Finally, three variants of contextual application conditions are discussed with respect to their expressive power and expected results."}],"date_created":"2019-02-20T14:01:39Z","department":[{"_id":"66"}],"type":"conference","author":[{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"}],"status":"public","year":"1995","title":"Embedding of Conditional Graph Transformations","date_updated":"2022-01-06T07:03:46Z","_id":"7833","language":[{"iso":"eng"}],"series_title":"Technical Report","publisher":"Universitat de les Illes Balears","user_id":"52534"},{"citation":{"short":"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.","chicago":"Conrad, Mirko, Magdalena Gajewsky, Rainer Holl-Biniasz, Michael Rudolf, Jochen Demuth, Stephan Weber, Reiko Heckel, Jürgen Müller, Gabriele Taentzer, and Annika Wagner. <i>Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem</i>, 1995.","ieee":"M. Conrad <i>et al.</i>, <i>Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem</i>. 1995.","apa":"Conrad, M., Gajewsky, M., Holl-Biniasz, R., Rudolf, M., Demuth, J., Weber, S., … Wagner, A. (1995). <i>Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem</i>.","bibtex":"@book{Conrad_Gajewsky_Holl-Biniasz_Rudolf_Demuth_Weber_Heckel_Müller_Taentzer_Wagner_1995, title={Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem}, author={Conrad, Mirko and Gajewsky, Magdalena and Holl-Biniasz, Rainer and Rudolf, Michael and Demuth, Jochen and Weber, Stephan and Heckel, Reiko and Müller, Jürgen and Taentzer, Gabriele and Wagner, Annika}, year={1995} }","ama":"Conrad M, Gajewsky M, Holl-Biniasz R, et al. <i>Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem</i>.; 1995.","mla":"Conrad, Mirko, et al. <i>Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem</i>. 1995."},"type":"report","department":[{"_id":"66"}],"date_created":"2019-03-03T16:12:49Z","date_updated":"2022-01-06T07:03:52Z","year":"1995","status":"public","title":"Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem","author":[{"first_name":"Mirko","last_name":"Conrad","full_name":"Conrad, Mirko"},{"last_name":"Gajewsky","first_name":"Magdalena","full_name":"Gajewsky, Magdalena"},{"full_name":"Holl-Biniasz, Rainer","last_name":"Holl-Biniasz","first_name":"Rainer"},{"last_name":"Rudolf","first_name":"Michael","full_name":"Rudolf, Michael"},{"full_name":"Demuth, Jochen","last_name":"Demuth","first_name":"Jochen"},{"first_name":"Stephan","last_name":"Weber","full_name":"Weber, Stephan"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"full_name":"Müller, Jürgen","last_name":"Müller","first_name":"Jürgen"},{"full_name":"Taentzer, Gabriele","last_name":"Taentzer","first_name":"Gabriele"},{"full_name":"Wagner, Annika","last_name":"Wagner","first_name":"Annika"}],"user_id":"52534","_id":"8194","language":[{"iso":"eng"}]},{"date_created":"2019-03-03T16:12:50Z","place":"Koblenz","type":"report","department":[{"_id":"66"}],"citation":{"bibtex":"@book{Ebert_Engels_1995, place={Koblenz}, title={Specialization of Object Life Cycle Definitions}, publisher={University of Koblenz-Landau}, author={Ebert, Jürgen and Engels, Gregor}, year={1995} }","ama":"Ebert J, Engels G. <i>Specialization of Object Life Cycle Definitions</i>. Koblenz: University of Koblenz-Landau; 1995.","mla":"Ebert, Jürgen, and Gregor Engels. <i>Specialization of Object Life Cycle Definitions</i>. University of Koblenz-Landau, 1995.","chicago":"Ebert, Jürgen, and Gregor Engels. <i>Specialization of Object Life Cycle Definitions</i>. Koblenz: University of Koblenz-Landau, 1995.","short":"J. Ebert, G. Engels, Specialization of Object Life Cycle Definitions, University of Koblenz-Landau, Koblenz, 1995.","ieee":"J. Ebert and G. Engels, <i>Specialization of Object Life Cycle Definitions</i>. Koblenz: University of Koblenz-Landau, 1995.","apa":"Ebert, J., &#38; Engels, G. (1995). <i>Specialization of Object Life Cycle Definitions</i>. Koblenz: University of Koblenz-Landau."},"abstract":[{"text":"Several object-oriented modeling approaches propose to describe the dynamic behaviour of objects by state transition diagrams. None of them provides precise rules or conditions for the interrelation between the behaviour description of classes and those of their subclasses. In this paper, we discuss this interrelation in detail. It turns out that one has to distinguish between the observable and the invocable behaviour of objects and that different compatibility requirements between the diagrams exist depending on the type of behaviour.","lang":"eng"}],"report_number":"19/95","publisher":"University of Koblenz-Landau","_id":"8195","language":[{"iso":"eng"}],"user_id":"52534","year":"1995","status":"public","title":"Specialization of Object Life Cycle Definitions","author":[{"full_name":"Ebert, Jürgen","first_name":"Jürgen","last_name":"Ebert"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"}],"date_updated":"2022-01-06T07:03:52Z"},{"user_id":"52534","_id":"8196","publisher":"Vakgroep Informatica, Rijksuniversiteit Leiden","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:52Z","author":[{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"first_name":"Andy","last_name":"Schürr","full_name":"Schürr, Andy"}],"title":"Encapsulated Hierarchical Graphs, Graph Types, and Meta Types","year":"1995","status":"public","department":[{"_id":"66"}],"type":"report","date_created":"2019-03-03T16:12:51Z","report_number":"95-21","citation":{"ama":"Engels G, Schürr A. <i>Encapsulated Hierarchical Graphs, Graph Types, and Meta Types</i>. Vakgroep Informatica, Rijksuniversiteit Leiden; 1995.","short":"G. Engels, A. Schürr, Encapsulated Hierarchical Graphs, Graph Types, and Meta Types, Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.","chicago":"Engels, Gregor, and Andy Schürr. <i>Encapsulated Hierarchical Graphs, Graph Types, and Meta Types</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.","bibtex":"@book{Engels_Schürr_1995, title={Encapsulated Hierarchical Graphs, Graph Types, and Meta Types}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Engels, Gregor and Schürr, Andy}, year={1995} }","mla":"Engels, Gregor, and Andy Schürr. <i>Encapsulated Hierarchical Graphs, Graph Types, and Meta Types</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.","apa":"Engels, G., &#38; Schürr, A. (1995). <i>Encapsulated Hierarchical Graphs, Graph Types, and Meta Types</i>. Vakgroep Informatica, Rijksuniversiteit Leiden.","ieee":"G. Engels and A. Schürr, <i>Encapsulated Hierarchical Graphs, Graph Types, and Meta Types</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995."}},{"date_updated":"2022-01-06T07:03:52Z","intvolume":"       913","status":"public","year":"1995","title":"Coordination by Behavioural Views and Communication Patterns","author":[{"full_name":"Groenewegen, Luuk","first_name":"Luuk","last_name":"Groenewegen"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"}],"doi":"http://dx.doi.org/10.1007/3-540-59205-9_56","user_id":"52534","volume":913,"page":"189-192","_id":"8266","series_title":"LNCS","publisher":"Springer","language":[{"iso":"eng"}],"publication":"Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands)","citation":{"bibtex":"@inproceedings{Groenewegen_Engels_1995, place={Berlin/Heidelberg}, series={LNCS}, title={Coordination by Behavioural Views and Communication Patterns}, volume={913}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-59205-9_56\">http://dx.doi.org/10.1007/3-540-59205-9_56</a>}, booktitle={Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands)}, publisher={Springer}, author={Groenewegen, Luuk and Engels, Gregor}, year={1995}, pages={189–192}, collection={LNCS} }","ama":"Groenewegen L, Engels G. Coordination by Behavioural Views and Communication Patterns. In: <i>Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands)</i>. Vol 913. LNCS. Berlin/Heidelberg: Springer; 1995:189-192. doi:<a href=\"http://dx.doi.org/10.1007/3-540-59205-9_56\">http://dx.doi.org/10.1007/3-540-59205-9_56</a>","mla":"Groenewegen, Luuk, and Gregor Engels. “Coordination by Behavioural Views and Communication Patterns.” <i>Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands)</i>, vol. 913, Springer, 1995, pp. 189–92, doi:<a href=\"http://dx.doi.org/10.1007/3-540-59205-9_56\">http://dx.doi.org/10.1007/3-540-59205-9_56</a>.","short":"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.","chicago":"Groenewegen, Luuk, and Gregor Engels. “Coordination by Behavioural Views and Communication Patterns.” In <i>Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands)</i>, 913:189–92. LNCS. Berlin/Heidelberg: Springer, 1995. <a href=\"http://dx.doi.org/10.1007/3-540-59205-9_56\">http://dx.doi.org/10.1007/3-540-59205-9_56</a>.","ieee":"L. Groenewegen and G. Engels, “Coordination by Behavioural Views and Communication Patterns,” in <i>Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands)</i>, 1995, vol. 913, pp. 189–192.","apa":"Groenewegen, L., &#38; Engels, G. (1995). Coordination by Behavioural Views and Communication Patterns. In <i>Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands)</i> (Vol. 913, pp. 189–192). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-59205-9_56\">http://dx.doi.org/10.1007/3-540-59205-9_56</a>"},"type":"conference","department":[{"_id":"66"}],"place":"Berlin/Heidelberg","date_created":"2019-03-04T11:52:17Z"},{"publication":"Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)","citation":{"mla":"Corradini, Andrea, and Reiko Heckel. “A Compositional Approach to Structuring and Refinement of Typed Graph Grammars.” <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>, vol. 2, Elsevier, 1995, pp. 46–55.","bibtex":"@inproceedings{Corradini_Heckel_1995, series={Electronic Notes in Theoretical Computer Science }, title={A Compositional Approach to Structuring and Refinement of Typed Graph Grammars}, volume={2}, booktitle={Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)}, publisher={Elsevier}, author={Corradini, Andrea and Heckel, Reiko}, year={1995}, pages={46–55}, collection={Electronic Notes in Theoretical Computer Science } }","ama":"Corradini A, Heckel R. A Compositional Approach to Structuring and Refinement of Typed Graph Grammars. In: <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>. Vol 2. Electronic Notes in Theoretical Computer Science . Elsevier; 1995:46-55.","ieee":"A. Corradini and R. Heckel, “A Compositional Approach to Structuring and Refinement of Typed Graph Grammars,” in <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>, 1995, vol. 2, pp. 46–55.","apa":"Corradini, A., &#38; Heckel, R. (1995). A Compositional Approach to Structuring and Refinement of Typed Graph Grammars. In <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i> (Vol. 2, pp. 46–55). Elsevier.","chicago":"Corradini, Andrea, and Reiko Heckel. “A Compositional Approach to Structuring and Refinement of Typed Graph Grammars.” In <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>, 2:46–55. Electronic Notes in Theoretical Computer Science . Elsevier, 1995.","short":"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."},"abstract":[{"text":"Based on a categorical semantics that has been developed for typed graph grammars we uses colimits (pushouts) to model composition and (reverse) graph grammar morphisms to describe refinements of typed graph grammars. Composition of graph grammars w.r.t. common subgrammars is shown to be compatible with the semantics, i.e. the semantics of the composed grammar is obtained as the composition of the semantics of the component grammars. Moreover, the structure of a composed grammar is preserved during a refinement step in the sense that compatible refinements of the components induce a refinement of the composition. The concepts and results are illustrated by an example.","lang":"eng"}],"date_created":"2019-03-04T11:52:18Z","type":"conference","department":[{"_id":"66"}],"year":"1995","status":"public","title":"A Compositional Approach to Structuring and Refinement of Typed Graph Grammars","author":[{"first_name":"Andrea","last_name":"Corradini","full_name":"Corradini, Andrea"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"}],"date_updated":"2022-01-06T07:03:52Z","intvolume":"         2","page":"46-55","_id":"8267","series_title":"Electronic Notes in Theoretical Computer Science ","publisher":"Elsevier","language":[{"iso":"eng"}],"user_id":"52534","volume":2},{"series_title":"Bilateral Seminars of the International Bureau","_id":"8268","publisher":"Forschungszentrum Jülich GmbH","language":[{"iso":"eng"}],"user_id":"52534","volume":26,"year":"1995","title":"GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development","status":"public","author":[{"full_name":"Bardohl, Bernhard","first_name":"Bernhard","last_name":"Bardohl"},{"full_name":"Bardohl, Roswitha","last_name":"Bardohl","first_name":"Roswitha"},{"full_name":"Castro, Paulo","first_name":"Paulo","last_name":"Castro"},{"last_name":"Ehrig","first_name":"Hartmut","full_name":"Ehrig, Hartmut"},{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"},{"full_name":"Ribeiro, Leila","first_name":"Leila","last_name":"Ribeiro"},{"full_name":"Nunes, Daltro","last_name":"Nunes","first_name":"Daltro"},{"full_name":"Martini, Alfio","first_name":"Alfio","last_name":"Martini"}],"date_updated":"2022-01-06T07:03:52Z","intvolume":"        26","date_created":"2019-03-04T11:52:19Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)","citation":{"apa":"Bardohl, B., Bardohl, R., Castro, P., Ehrig, H., Heckel, R., Ribeiro, L., … Martini, A. (1995). GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development. In <i>Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)</i> (Vol. 26). Forschungszentrum Jülich GmbH.","mla":"Bardohl, Bernhard, et al. “GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development.” <i>Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)</i>, vol. 26, Forschungszentrum Jülich GmbH, 1995.","ieee":"B. Bardohl <i>et al.</i>, “GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development,” in <i>Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)</i>, 1995, vol. 26.","chicago":"Bardohl, Bernhard, Roswitha Bardohl, Paulo Castro, Hartmut Ehrig, Reiko Heckel, Leila Ribeiro, Daltro Nunes, and Alfio Martini. “GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development.” In <i>Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)</i>, Vol. 26. Bilateral Seminars of the International Bureau. Forschungszentrum Jülich GmbH, 1995.","ama":"Bardohl B, Bardohl R, Castro P, et al. GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development. In: <i>Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)</i>. Vol 26. Bilateral Seminars of the International Bureau. Forschungszentrum Jülich GmbH; 1995.","short":"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.","bibtex":"@inproceedings{Bardohl_Bardohl_Castro_Ehrig_Heckel_Ribeiro_Nunes_Martini_1995, series={Bilateral Seminars of the International Bureau}, title={GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development}, volume={26}, booktitle={Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)}, publisher={Forschungszentrum Jülich GmbH}, author={Bardohl, Bernhard and Bardohl, Roswitha and Castro, Paulo and Ehrig, Hartmut and Heckel, Reiko and Ribeiro, Leila and Nunes, Daltro and Martini, Alfio}, year={1995}, collection={Bilateral Seminars of the International Bureau} }"},"abstract":[{"text":"The overall aim of this paper is a proposal how to bridge the gap between formal specification techniques developed in research projects and semi--formal or informal specifications used in industrial practice. The main idea to overcome these problems is to develop graphical support for formal methods in order to increase acceptance by practitioners and to provide means for integration of formal and semi--formal methods. More specifically suitable concepts will be developed to combine algebraic specifications, Petri Nets, and Graph Grammars with each other and with distinguished graphical components to be used by industrial partners.","lang":"eng"}]},{"abstract":[{"text":"Currently existing graph grammar-based specification languages have serious problems with supporting any kind of “specification-in-the-large” activities. More precisely, they have deficiencies with respect to modeling hierarchical data structures or specifying meta activities like manipulation of graph schemata. Furthermore, already proposed graph grammar module concepts are still too abstract to be useful in practice. Our contribution addresses these problems by introducing a new hierarchical graph data model with an infinite number of schema, meta-schema, etc. layers. It forms the base for a forthcoming concrete modular graph grammar specification language where in addition information hiding aspects like explicit export and import interfaces are expressible.","lang":"eng"}],"citation":{"mla":"Engels, Gregor, and Andy Schürr. “Encapsulated Hierarchical Graphs, Graph Types, and Meta Types.” <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>, Elsevier, 1995, pp. 101–09, doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80186-0\">http://dx.doi.org/10.1016/S1571-0661(05)80186-0</a>.","ama":"Engels G, Schürr A. Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. In: <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>. Electronic Notes in Theoretical Computer Science. Amsterdam, The Netherlands: Elsevier; 1995:101-109. doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80186-0\">http://dx.doi.org/10.1016/S1571-0661(05)80186-0</a>","bibtex":"@inproceedings{Engels_Schürr_1995, place={Amsterdam, The Netherlands}, series={Electronic Notes in Theoretical Computer Science}, title={Encapsulated Hierarchical Graphs, Graph Types, and Meta Types}, DOI={<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80186-0\">http://dx.doi.org/10.1016/S1571-0661(05)80186-0</a>}, booktitle={Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)}, publisher={Elsevier}, author={Engels, Gregor and Schürr, Andy}, year={1995}, pages={101–109}, collection={Electronic Notes in Theoretical Computer Science} }","apa":"Engels, G., &#38; Schürr, A. (1995). Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. In <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i> (pp. 101–109). Amsterdam, The Netherlands: Elsevier. <a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80186-0\">http://dx.doi.org/10.1016/S1571-0661(05)80186-0</a>","ieee":"G. Engels and A. Schürr, “Encapsulated Hierarchical Graphs, Graph Types, and Meta Types,” in <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>, 1995, pp. 101–109.","chicago":"Engels, Gregor, and Andy Schürr. “Encapsulated Hierarchical Graphs, Graph Types, and Meta Types.” In <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>, 101–9. Electronic Notes in Theoretical Computer Science. Amsterdam, The Netherlands: Elsevier, 1995. <a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80186-0\">http://dx.doi.org/10.1016/S1571-0661(05)80186-0</a>.","short":"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."},"publication":"Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)","department":[{"_id":"66"}],"type":"conference","place":"Amsterdam, The Netherlands","date_created":"2019-03-04T11:52:20Z","date_updated":"2022-01-06T07:03:52Z","author":[{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"},{"full_name":"Schürr, Andy","last_name":"Schürr","first_name":"Andy"}],"year":"1995","status":"public","title":"Encapsulated Hierarchical Graphs, Graph Types, and Meta Types","doi":"http://dx.doi.org/10.1016/S1571-0661(05)80186-0","user_id":"52534","series_title":"Electronic Notes in Theoretical Computer Science","_id":"8269","publisher":"Elsevier","language":[{"iso":"eng"}],"page":"101-109"},{"page":"118-126","_id":"8270","series_title":"Electronic Notes in Theoretical Computer Science","publisher":"Elsevier","language":[{"iso":"eng"}],"doi":"http://dx.doi.org/10.1016/S1571-0661(05)80188-4","user_id":"52534","volume":2,"title":"Ensuring Consistency of Conditional Graph Grammars - A constructive Approach","status":"public","year":"1995","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"last_name":"Wagner","first_name":"Annika","full_name":"Wagner, Annika"}],"date_updated":"2022-01-06T07:03:53Z","intvolume":"         2","date_created":"2019-03-04T11:52:21Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)","citation":{"chicago":"Heckel, Reiko, and Annika Wagner. “Ensuring Consistency of Conditional Graph Grammars - A Constructive Approach.” In <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>, 2:118–26. Electronic Notes in Theoretical Computer Science. Elsevier, 1995. <a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80188-4\">http://dx.doi.org/10.1016/S1571-0661(05)80188-4</a>.","short":"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.","ieee":"R. Heckel and A. Wagner, “Ensuring Consistency of Conditional Graph Grammars - A constructive Approach,” in <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>, 1995, vol. 2, pp. 118–126.","apa":"Heckel, R., &#38; Wagner, A. (1995). Ensuring Consistency of Conditional Graph Grammars - A constructive Approach. In <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i> (Vol. 2, pp. 118–126). Elsevier. <a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80188-4\">http://dx.doi.org/10.1016/S1571-0661(05)80188-4</a>","bibtex":"@inproceedings{Heckel_Wagner_1995, series={Electronic Notes in Theoretical Computer Science}, title={Ensuring Consistency of Conditional Graph Grammars - A constructive Approach}, volume={2}, DOI={<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80188-4\">http://dx.doi.org/10.1016/S1571-0661(05)80188-4</a>}, booktitle={Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)}, publisher={Elsevier}, author={Heckel, Reiko and Wagner, Annika}, year={1995}, pages={118–126}, collection={Electronic Notes in Theoretical Computer Science} }","ama":"Heckel R, Wagner A. Ensuring Consistency of Conditional Graph Grammars - A constructive Approach. In: <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>. Vol 2. Electronic Notes in Theoretical Computer Science. Elsevier; 1995:118-126. doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80188-4\">http://dx.doi.org/10.1016/S1571-0661(05)80188-4</a>","mla":"Heckel, Reiko, and Annika Wagner. “Ensuring Consistency of Conditional Graph Grammars - A Constructive Approach.” <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>, vol. 2, Elsevier, 1995, pp. 118–26, doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80188-4\">http://dx.doi.org/10.1016/S1571-0661(05)80188-4</a>."}}]