[{"language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"7411","status":"public","abstract":[{"lang":"eng","text":"The following paper,demonstrates that programmed sequential graph grammars can be used in a systematic proceeding to specify tbe 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 language for Programming in the Small, the module concept etc. to be supported on one side but also by the idea of the user interface."}],"publication":"Computing","type":"journal_article","doi":"http://dx.doi.org/10.1007/BF02251236","title":"Software Specification Using Graph Grammars","volume":31,"author":[{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"last_name":"Gall","full_name":"Gall, Rupert","first_name":"Rupert"},{"first_name":"Manfred","full_name":"Nagl, Manfred","last_name":"Nagl"},{"first_name":"Wilhelm","last_name":"Schäfer","full_name":"Schäfer, Wilhelm"}],"date_created":"2019-01-31T15:55:42Z","date_updated":"2022-01-06T07:03:36Z","intvolume":"        31","page":"317-346","citation":{"apa":"Engels, G., Gall, R., Nagl, M., &#38; Schäfer, W. (1983). Software Specification Using Graph Grammars. <i>Computing</i>, <i>31</i>(4), 317–346. <a href=\"http://dx.doi.org/10.1007/BF02251236\">http://dx.doi.org/10.1007/BF02251236</a>","bibtex":"@article{Engels_Gall_Nagl_Schäfer_1983, title={Software Specification Using Graph Grammars}, volume={31}, DOI={<a href=\"http://dx.doi.org/10.1007/BF02251236\">http://dx.doi.org/10.1007/BF02251236</a>}, number={4}, journal={Computing}, author={Engels, Gregor and Gall, Rupert and Nagl, Manfred and Schäfer, Wilhelm}, year={1983}, pages={317–346} }","mla":"Engels, Gregor, et al. “Software Specification Using Graph Grammars.” <i>Computing</i>, vol. 31, no. 4, 1983, pp. 317–46, doi:<a href=\"http://dx.doi.org/10.1007/BF02251236\">http://dx.doi.org/10.1007/BF02251236</a>.","short":"G. Engels, R. Gall, M. Nagl, W. Schäfer, Computing 31 (1983) 317–346.","chicago":"Engels, Gregor, Rupert Gall, Manfred Nagl, and Wilhelm Schäfer. “Software Specification Using Graph Grammars.” <i>Computing</i> 31, no. 4 (1983): 317–46. <a href=\"http://dx.doi.org/10.1007/BF02251236\">http://dx.doi.org/10.1007/BF02251236</a>.","ieee":"G. Engels, R. Gall, M. Nagl, and W. Schäfer, “Software Specification Using Graph Grammars,” <i>Computing</i>, vol. 31, no. 4, pp. 317–346, 1983.","ama":"Engels G, Gall R, Nagl M, Schäfer W. Software Specification Using Graph Grammars. <i>Computing</i>. 1983;31(4):317-346. doi:<a href=\"http://dx.doi.org/10.1007/BF02251236\">http://dx.doi.org/10.1007/BF02251236</a>"},"year":"1983","issue":"4"},{"abstract":[{"lang":"eng","text":"A new approach to an operational treatment of errors and exceptions in specifications of abstract data types is presented. Considering a specification as a term rewriting system, we define an operational semantics and give conditions that are sufficient for its well-definedness (Church-Rosser property). Also, we give conditions that are sufficient for the termination of reduction strategies, respecting the specified error and exception handling."}],"status":"public","publication":"Acta Informatica","type":"journal_article","language":[{"iso":"eng"}],"_id":"7412","department":[{"_id":"66"}],"user_id":"52534","year":"1983","page":"235-254","intvolume":"         9","citation":{"apa":"Engels, G., Pletat, U., &#38; Ehrich, H.-D. (1983). An Operational Semantics for Specifications of Abstract Data Types with Error Handling. <i>Acta Informatica</i>, <i>9</i>(3), 235–254. <a href=\"http://dx.doi.org/10.1007/BF00265557\">http://dx.doi.org/10.1007/BF00265557</a>","bibtex":"@article{Engels_Pletat_Ehrich_1983, title={An Operational Semantics for Specifications of Abstract Data Types with Error Handling}, volume={9}, DOI={<a href=\"http://dx.doi.org/10.1007/BF00265557\">http://dx.doi.org/10.1007/BF00265557</a>}, number={3}, journal={Acta Informatica}, author={Engels, Gregor and Pletat, Udo and Ehrich, Hans-Dietrich}, year={1983}, pages={235–254} }","mla":"Engels, Gregor, et al. “An Operational Semantics for Specifications of Abstract Data Types with Error Handling.” <i>Acta Informatica</i>, vol. 9, no. 3, 1983, pp. 235–54, doi:<a href=\"http://dx.doi.org/10.1007/BF00265557\">http://dx.doi.org/10.1007/BF00265557</a>.","short":"G. Engels, U. Pletat, H.-D. Ehrich, Acta Informatica 9 (1983) 235–254.","ama":"Engels G, Pletat U, Ehrich H-D. An Operational Semantics for Specifications of Abstract Data Types with Error Handling. <i>Acta Informatica</i>. 1983;9(3):235-254. doi:<a href=\"http://dx.doi.org/10.1007/BF00265557\">http://dx.doi.org/10.1007/BF00265557</a>","chicago":"Engels, Gregor, Udo Pletat, and Hans-Dietrich Ehrich. “An Operational Semantics for Specifications of Abstract Data Types with Error Handling.” <i>Acta Informatica</i> 9, no. 3 (1983): 235–54. <a href=\"http://dx.doi.org/10.1007/BF00265557\">http://dx.doi.org/10.1007/BF00265557</a>.","ieee":"G. Engels, U. Pletat, and H.-D. Ehrich, “An Operational Semantics for Specifications of Abstract Data Types with Error Handling,” <i>Acta Informatica</i>, vol. 9, no. 3, pp. 235–254, 1983."},"issue":"3","title":"An Operational Semantics for Specifications of Abstract Data Types with Error Handling","doi":"http://dx.doi.org/10.1007/BF00265557","date_updated":"2022-01-06T07:03:36Z","volume":9,"author":[{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"},{"first_name":"Udo","last_name":"Pletat","full_name":"Pletat, Udo"},{"first_name":"Hans-Dietrich","last_name":"Ehrich","full_name":"Ehrich, Hans-Dietrich"}],"date_created":"2019-01-31T15:56:22Z"},{"place":"München/Leipzig","year":"1982","citation":{"apa":"Engels, G., &#38; Schäfer, W. (1982). Specification of a Programming Support Environment by Graph Grammars. In <i>Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany)</i> (pp. 47–62). München/Leipzig: Hanser.","mla":"Engels, Gregor, and Wilhelm Schäfer. “Specification of a Programming Support Environment by Graph Grammars.” <i>Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany)</i>, Hanser, 1982, pp. 47–62.","bibtex":"@inproceedings{Engels_Schäfer_1982, place={München/Leipzig}, title={Specification of a Programming Support Environment by Graph Grammars}, booktitle={Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany)}, publisher={Hanser}, author={Engels, Gregor and Schäfer, Wilhelm}, year={1982}, pages={47–62} }","short":"G. Engels, W. Schäfer, in: Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany), Hanser, München/Leipzig, 1982, pp. 47–62.","chicago":"Engels, Gregor, and Wilhelm Schäfer. “Specification of a Programming Support Environment by Graph Grammars.” In <i>Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany)</i>, 47–62. München/Leipzig: Hanser, 1982.","ieee":"G. Engels and W. Schäfer, “Specification of a Programming Support Environment by Graph Grammars,” in <i>Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany)</i>, 1982, pp. 47–62.","ama":"Engels G, Schäfer W. Specification of a Programming Support Environment by Graph Grammars. In: <i>Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany)</i>. München/Leipzig: Hanser; 1982:47-62."},"page":"47-62","publisher":"Hanser","date_updated":"2022-01-06T07:03:46Z","date_created":"2019-02-20T13:37:37Z","author":[{"first_name":"Gregor","id":"107","full_name":"Engels, Gregor","last_name":"Engels"},{"first_name":"Wilhelm","full_name":"Schäfer, Wilhelm","last_name":"Schäfer"}],"title":"Specification of a Programming Support Environment by Graph Grammars","type":"conference","publication":"Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany)","status":"public","_id":"7811","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}]},{"citation":{"bibtex":"@inproceedings{Pletat_Engels_Ehrich_1982, title={An Operational Approach to Conditional Algebraic Specifications}, volume={82}, booktitle={Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France)}, author={Pletat, Udo and Engels, Gregor and Ehrich, Hans-Dietrich}, year={1982}, pages={254–270} }","short":"U. Pletat, G. Engels, H.-D. Ehrich, in: Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France), 1982, pp. 254–270.","mla":"Pletat, Udo, et al. “An Operational Approach to Conditional Algebraic Specifications.” <i>Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France)</i>, vol. 82, 1982, pp. 254–70.","apa":"Pletat, U., Engels, G., &#38; Ehrich, H.-D. (1982). An Operational Approach to Conditional Algebraic Specifications. In <i>Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France)</i> (Vol. 82, pp. 254–270).","ieee":"U. Pletat, G. Engels, and H.-D. Ehrich, “An Operational Approach to Conditional Algebraic Specifications,” in <i>Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France)</i>, 1982, vol. 82, pp. 254–270.","chicago":"Pletat, Udo, Gregor Engels, and Hans-Dietrich Ehrich. “An Operational Approach to Conditional Algebraic Specifications.” In <i>Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France)</i>, 82:254–70, 1982.","ama":"Pletat U, Engels G, Ehrich H-D. An Operational Approach to Conditional Algebraic Specifications. In: <i>Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France)</i>. Vol 82. ; 1982:254-270."},"intvolume":"        82","page":"254-270","year":"1982","title":"An Operational Approach to Conditional Algebraic Specifications","author":[{"first_name":"Udo","last_name":"Pletat","full_name":"Pletat, Udo"},{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"last_name":"Ehrich","full_name":"Ehrich, Hans-Dietrich","first_name":"Hans-Dietrich"}],"date_created":"2019-02-20T13:39:05Z","volume":82,"date_updated":"2022-01-06T07:03:46Z","status":"public","abstract":[{"lang":"eng","text":"We suppose to give conditional specifications of abstract data types hierarchically. Considering algebraic specifications from an operational point of view this approach enables us to present simple syntactic criteria for the Church-Rosser property, which implies the welldefinedness of the operational semantics of a conditional specification. Furthermore, these criteria are su?cient for the termination of the full substitution reduction strategy."}],"type":"conference","publication":"Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France)","language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"7812"},{"type":"report","report_number":"OSM-I-3","status":"public","_id":"8184","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"year":"1981","citation":{"ama":"Engels G, Pletat U, Ehrich H-D. <i>Handling Errors and Exceptions in the Algebraic Specifications of Data Types</i>. University of Osnabrück; 1981.","ieee":"G. Engels, U. Pletat, and H.-D. Ehrich, <i>Handling Errors and Exceptions in the Algebraic Specifications of Data Types</i>. University of Osnabrück, 1981.","chicago":"Engels, Gregor, Udo Pletat, and Hans-Dietrich Ehrich. <i>Handling Errors and Exceptions in the Algebraic Specifications of Data Types</i>. University of Osnabrück, 1981.","apa":"Engels, G., Pletat, U., &#38; Ehrich, H.-D. (1981). <i>Handling Errors and Exceptions in the Algebraic Specifications of Data Types</i>. University of Osnabrück.","bibtex":"@book{Engels_Pletat_Ehrich_1981, title={Handling Errors and Exceptions in the Algebraic Specifications of Data Types}, publisher={University of Osnabrück}, author={Engels, Gregor and Pletat, Udo and Ehrich, Hans-Dietrich}, year={1981} }","short":"G. Engels, U. Pletat, H.-D. Ehrich, Handling Errors and Exceptions in the Algebraic Specifications of Data Types, University of Osnabrück, 1981.","mla":"Engels, Gregor, et al. <i>Handling Errors and Exceptions in the Algebraic Specifications of Data Types</i>. University of Osnabrück, 1981."},"date_updated":"2022-01-06T07:03:51Z","publisher":"University of Osnabrück","date_created":"2019-03-03T16:12:37Z","author":[{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"},{"last_name":"Pletat","full_name":"Pletat, Udo","first_name":"Udo"},{"first_name":"Hans-Dietrich","last_name":"Ehrich","full_name":"Ehrich, Hans-Dietrich"}],"title":"Handling Errors and Exceptions in the Algebraic Specifications of Data Types"},{"department":[{"_id":"66"}],"user_id":"52534","_id":"8185","language":[{"iso":"eng"}],"report_number":"118","type":"report","status":"public","author":[{"full_name":"Pletat, Udo","last_name":"Pletat","first_name":"Udo"},{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"},{"last_name":"Ehrich","full_name":"Ehrich, Hans-Dietrich","first_name":"Hans-Dietrich"}],"date_created":"2019-03-03T16:12:38Z","date_updated":"2022-01-06T07:03:51Z","publisher":"University of Dortmund, Department of Computer Science","title":"Operational Semantics of Algebraic Specifications with Conditional Equations","citation":{"short":"U. Pletat, G. Engels, H.-D. Ehrich, Operational Semantics of Algebraic Specifications with Conditional Equations, University of Dortmund, Department of Computer Science, 1981.","bibtex":"@book{Pletat_Engels_Ehrich_1981, title={Operational Semantics of Algebraic Specifications with Conditional Equations}, publisher={University of Dortmund, Department of Computer Science}, author={Pletat, Udo and Engels, Gregor and Ehrich, Hans-Dietrich}, year={1981} }","mla":"Pletat, Udo, et al. <i>Operational Semantics of Algebraic Specifications with Conditional Equations</i>. University of Dortmund, Department of Computer Science, 1981.","apa":"Pletat, U., Engels, G., &#38; Ehrich, H.-D. (1981). <i>Operational Semantics of Algebraic Specifications with Conditional Equations</i>. University of Dortmund, Department of Computer Science.","chicago":"Pletat, Udo, Gregor Engels, and Hans-Dietrich Ehrich. <i>Operational Semantics of Algebraic Specifications with Conditional Equations</i>. University of Dortmund, Department of Computer Science, 1981.","ieee":"U. Pletat, G. Engels, and H.-D. Ehrich, <i>Operational Semantics of Algebraic Specifications with Conditional Equations</i>. University of Dortmund, Department of Computer Science, 1981.","ama":"Pletat U, Engels G, Ehrich H-D. <i>Operational Semantics of Algebraic Specifications with Conditional Equations</i>. University of Dortmund, Department of Computer Science; 1981."},"year":"1981"}]