{"abstract":[{"text":"The following paper demonstrates that programmed sequential graph grammars can be used in a systematic proceeding to specify the changes of high level intermediate data structures arising in a programming support environment, in which all tools work in an incremental and syntax-driven mode. In this paper we lay stress upon the way to get the specification rather than on the result of this process. Therefore, we give here some approach to specification engineering using graph grammars. This approach is influenced by the syntactical definition of the underlying programming language or module concept etc. to be supported but also by the idea of the user interface.","lang":"eng"}],"date_created":"2019-03-04T11:52:04Z","page":"267-287","doi":"dx.doi.org/10.1007/BFb0000113","publisher":"Springer","author":[{"first_name":"Manfred","last_name":"Nagl","full_name":"Nagl, Manfred"},{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"},{"full_name":"Gall, Rupert","last_name":"Gall","first_name":"Rupert"},{"first_name":"Wilhelm","last_name":"Schäfer","full_name":"Schäfer, Wilhelm"}],"status":"public","intvolume":"       153","year":"1983","place":"Berlin/Heidelberg","user_id":"52534","citation":{"apa":"Nagl, M., Engels, G., Gall, R., &#38; Schäfer, W. (1983). Software Specification by Graph Grammars. In <i>Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany)</i> (Vol. 153, pp. 267–287). Berlin/Heidelberg: Springer. <a href=\"https://doi.org/dx.doi.org/10.1007/BFb0000113\">https://doi.org/dx.doi.org/10.1007/BFb0000113</a>","ieee":"M. Nagl, G. Engels, R. Gall, and W. Schäfer, “Software Specification by Graph Grammars,” in <i>Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany)</i>, 1983, vol. 153, pp. 267–287.","mla":"Nagl, Manfred, et al. “Software Specification by Graph Grammars.” <i>Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany)</i>, vol. 153, Springer, 1983, pp. 267–87, doi:<a href=\"https://doi.org/dx.doi.org/10.1007/BFb0000113\">dx.doi.org/10.1007/BFb0000113</a>.","ama":"Nagl M, Engels G, Gall R, Schäfer W. Software Specification by Graph Grammars. In: <i>Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany)</i>. Vol 153. LNCS. Berlin/Heidelberg: Springer; 1983:267-287. doi:<a href=\"https://doi.org/dx.doi.org/10.1007/BFb0000113\">dx.doi.org/10.1007/BFb0000113</a>","short":"M. Nagl, G. Engels, R. Gall, W. Schäfer, in: Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), Springer, Berlin/Heidelberg, 1983, pp. 267–287.","chicago":"Nagl, Manfred, Gregor Engels, Rupert Gall, and Wilhelm Schäfer. “Software Specification by Graph Grammars.” In <i>Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany)</i>, 153:267–87. LNCS. Berlin/Heidelberg: Springer, 1983. <a href=\"https://doi.org/dx.doi.org/10.1007/BFb0000113\">https://doi.org/dx.doi.org/10.1007/BFb0000113</a>.","bibtex":"@inproceedings{Nagl_Engels_Gall_Schäfer_1983, place={Berlin/Heidelberg}, series={LNCS}, title={Software Specification by Graph Grammars}, volume={153}, DOI={<a href=\"https://doi.org/dx.doi.org/10.1007/BFb0000113\">dx.doi.org/10.1007/BFb0000113</a>}, booktitle={Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany)}, publisher={Springer}, author={Nagl, Manfred and Engels, Gregor and Gall, Rupert and Schäfer, Wilhelm}, year={1983}, pages={267–287}, collection={LNCS} }"},"title":"Software Specification by Graph Grammars","_id":"8255","department":[{"_id":"66"}],"volume":153,"language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:52Z","type":"conference","publication":"Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany)","series_title":"LNCS"}