---
_id: '7411'
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.
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Rupert
  full_name: Gall, Rupert
  last_name: Gall
- first_name: Manfred
  full_name: Nagl, Manfred
  last_name: Nagl
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
citation:
  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>
  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} }'
  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.
  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.
date_created: 2019-01-31T15:55:42Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/BF02251236
intvolume: '        31'
issue: '4'
language:
- iso: eng
page: 317-346
publication: Computing
status: public
title: Software Specification Using Graph Grammars
type: journal_article
user_id: '52534'
volume: 31
year: '1983'
...
---
_id: '7412'
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.
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Udo
  full_name: Pletat, Udo
  last_name: Pletat
- first_name: Hans-Dietrich
  full_name: Ehrich, Hans-Dietrich
  last_name: Ehrich
citation:
  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>
  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} }'
  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.
  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.
date_created: 2019-01-31T15:56:22Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/BF00265557
intvolume: '         9'
issue: '3'
language:
- iso: eng
page: 235-254
publication: Acta Informatica
status: public
title: An Operational Semantics for Specifications of Abstract Data Types with Error
  Handling
type: journal_article
user_id: '52534'
volume: 9
year: '1983'
...
---
_id: '7811'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
citation:
  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.'
  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.'
  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} }'
  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.
  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.
  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.'
date_created: 2019-02-20T13:37:37Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
language:
- iso: eng
page: 47-62
place: München/Leipzig
publication: Proceedings of the conference on Graphtheoretic Concepts in Computer
  Science (WG`82), München (Germany)
publisher: Hanser
status: public
title: Specification of a Programming Support Environment by Graph Grammars
type: conference
user_id: '52534'
year: '1982'
...
---
_id: '7812'
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.
author:
- first_name: Udo
  full_name: Pletat, Udo
  last_name: Pletat
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Hans-Dietrich
  full_name: Ehrich, Hans-Dietrich
  last_name: Ehrich
citation:
  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.'
  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).
  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} }'
  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.
  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.
  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.
  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.'
date_created: 2019-02-20T13:39:05Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
intvolume: '        82'
language:
- iso: eng
page: 254-270
publication: Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation,
  Lille (France)
status: public
title: An Operational Approach to Conditional Algebraic Specifications
type: conference
user_id: '52534'
volume: 82
year: '1982'
...
---
_id: '8184'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Udo
  full_name: Pletat, Udo
  last_name: Pletat
- first_name: Hans-Dietrich
  full_name: Ehrich, Hans-Dietrich
  last_name: Ehrich
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.
  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}
    }'
  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.
  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.
  mla: Engels, Gregor, et al. <i>Handling Errors and Exceptions in the Algebraic Specifications
    of Data Types</i>. University of Osnabrück, 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.
date_created: 2019-03-03T16:12:37Z
date_updated: 2022-01-06T07:03:51Z
department:
- _id: '66'
language:
- iso: eng
publisher: University of Osnabrück
report_number: OSM-I-3
status: public
title: Handling Errors and Exceptions in the Algebraic Specifications of Data Types
type: report
user_id: '52534'
year: '1981'
...
---
_id: '8185'
author:
- first_name: Udo
  full_name: Pletat, Udo
  last_name: Pletat
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Hans-Dietrich
  full_name: Ehrich, Hans-Dietrich
  last_name: Ehrich
citation:
  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.
  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.
  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} }'
  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.
  mla: Pletat, Udo, et al. <i>Operational Semantics of Algebraic Specifications with
    Conditional Equations</i>. University of Dortmund, Department of Computer Science,
    1981.
  short: U. Pletat, G. Engels, H.-D. Ehrich, Operational Semantics of Algebraic Specifications
    with Conditional Equations, University of Dortmund, Department of Computer Science,
    1981.
date_created: 2019-03-03T16:12:38Z
date_updated: 2022-01-06T07:03:51Z
department:
- _id: '66'
language:
- iso: eng
publisher: University of Dortmund, Department of Computer Science
report_number: '118'
status: public
title: Operational Semantics of Algebraic Specifications with Conditional Equations
type: report
user_id: '52534'
year: '1981'
...