---
_id: '8257'
abstract:
- lang: eng
text: Graphs as conceptual data models are accepted and used in a wide range of
different problem areas. Giving some examples we outline common aspects for modeling
complex structures by graphs. We present a formal frame-work based on graph grammars
to specify graph classes and the corresponding graph manipulations. We show that
such a specification can be written in a systematic, engineering-like manner.
This is achieved by an extension of the known programmed, attributed graph grammars.
Node-set operators are introduced to facilitate graph queries. Concepts like abstraction,
decomposition, refinement, parameterization, and integration have been adopted
from software engineering to yield a comprehensive specification method. This
method has successfully been applied to specify the central data structures in
a software development environment project
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Claus
full_name: Lewerentz, Claus
last_name: Lewerentz
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: 'Engels G, Lewerentz C, Schäfer W. Graph Grammar Engineering: A Software Specification
Method. In: Proceedings of the 3rd International Workshop on Graph-Grammars
and Their Application to Computer Science, Warrenton, VA (USA). Vol 291. Berlin/Heidelberg:
Springer; 1987:186-201. doi:dx.doi.org/10.1007/3-540-18771-5'
apa: 'Engels, G., Lewerentz, C., & Schäfer, W. (1987). Graph Grammar Engineering:
A Software Specification Method. In Proceedings of the 3rd International Workshop
on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA)
(Vol. 291, pp. 186–201). Berlin/Heidelberg: Springer. https://doi.org/dx.doi.org/10.1007/3-540-18771-5'
bibtex: '@inproceedings{Engels_Lewerentz_Schäfer_1987, place={Berlin/Heidelberg},
title={Graph Grammar Engineering: A Software Specification Method}, volume={291},
DOI={dx.doi.org/10.1007/3-540-18771-5},
booktitle={Proceedings of the 3rd International Workshop on Graph-Grammars and
Their Application to Computer Science, Warrenton, VA (USA)}, publisher={Springer},
author={Engels, Gregor and Lewerentz, Claus and Schäfer, Wilhelm}, year={1987},
pages={186–201} }'
chicago: 'Engels, Gregor, Claus Lewerentz, and Wilhelm Schäfer. “Graph Grammar Engineering:
A Software Specification Method.” In Proceedings of the 3rd International Workshop
on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA),
291:186–201. Berlin/Heidelberg: Springer, 1987. https://doi.org/dx.doi.org/10.1007/3-540-18771-5.'
ieee: 'G. Engels, C. Lewerentz, and W. Schäfer, “Graph Grammar Engineering: A Software
Specification Method,” in Proceedings of the 3rd International Workshop on
Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA),
1987, vol. 291, pp. 186–201.'
mla: 'Engels, Gregor, et al. “Graph Grammar Engineering: A Software Specification
Method.” Proceedings of the 3rd International Workshop on Graph-Grammars and
Their Application to Computer Science, Warrenton, VA (USA), vol. 291, Springer,
1987, pp. 186–201, doi:dx.doi.org/10.1007/3-540-18771-5.'
short: 'G. Engels, C. Lewerentz, W. Schäfer, in: Proceedings of the 3rd International
Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton,
VA (USA), Springer, Berlin/Heidelberg, 1987, pp. 186–201.'
date_created: 2019-03-04T11:52:06Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
doi: dx.doi.org/10.1007/3-540-18771-5
intvolume: ' 291'
language:
- iso: eng
page: 186-201
place: Berlin/Heidelberg
publication: Proceedings of the 3rd International Workshop on Graph-Grammars and Their
Application to Computer Science, Warrenton, VA (USA)
publisher: Springer
status: public
title: 'Graph Grammar Engineering: A Software Specification Method'
type: conference
user_id: '52534'
volume: 291
year: '1987'
...
---
_id: '7815'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Claus
full_name: Lewerentz, Claus
last_name: Lewerentz
- 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, Lewerentz C, Nagl M, Schäfer W. On the Structure of an Incremental
and Integrated Software Development Environment. In: Proceedings of the 19th
Hawaii International Conference on System Sciences, Hawaii, USA. Vol 2a. ;
1986:585-597.'
apa: Engels, G., Lewerentz, C., Nagl, M., & Schäfer, W. (1986). On the Structure
of an Incremental and Integrated Software Development Environment. In Proceedings
of the 19th Hawaii International Conference on System Sciences, Hawaii, USA
(Vol. 2a, pp. 585–597).
bibtex: '@inproceedings{Engels_Lewerentz_Nagl_Schäfer_1986, title={On the Structure
of an Incremental and Integrated Software Development Environment}, volume={2a},
booktitle={Proceedings of the 19th Hawaii International Conference on System Sciences,
Hawaii, USA}, author={Engels, Gregor and Lewerentz, Claus and Nagl, Manfred and
Schäfer, Wilhelm}, year={1986}, pages={585–597} }'
chicago: Engels, Gregor, Claus Lewerentz, Manfred Nagl, and Wilhelm Schäfer. “On
the Structure of an Incremental and Integrated Software Development Environment.”
In Proceedings of the 19th Hawaii International Conference on System Sciences,
Hawaii, USA, 2a:585–97, 1986.
ieee: G. Engels, C. Lewerentz, M. Nagl, and W. Schäfer, “On the Structure of an
Incremental and Integrated Software Development Environment,” in Proceedings
of the 19th Hawaii International Conference on System Sciences, Hawaii, USA,
1986, vol. 2a, pp. 585–597.
mla: Engels, Gregor, et al. “On the Structure of an Incremental and Integrated Software
Development Environment.” Proceedings of the 19th Hawaii International Conference
on System Sciences, Hawaii, USA, vol. 2a, 1986, pp. 585–97.
short: 'G. Engels, C. Lewerentz, M. Nagl, W. Schäfer, in: Proceedings of the 19th
Hawaii International Conference on System Sciences, Hawaii, USA, 1986, pp. 585–597.'
date_created: 2019-02-20T13:42:52Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
language:
- iso: eng
page: 585-597
publication: Proceedings of the 19th Hawaii International Conference on System Sciences,
Hawaii, USA
status: public
title: On the Structure of an Incremental and Integrated Software Development Environment
type: conference
user_id: '52534'
volume: 2a
year: '1986'
...
---
_id: '8256'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Andrea
full_name: Sandbrink, Andrea
last_name: Sandbrink
citation:
ama: 'Engels G, Sandbrink A. Experiences with a Hybrid-Interpreter Based on Incremental
Compilation Techniques. In: Proceedings of the Workshop on Compiler Compilers
and Incremental Compilation Techniques, Bautzen. Vol 12. Bautzen: Berlin(Ost):
Akademie der Wissenschaften der DDR; 1986:172-184.'
apa: 'Engels, G., & Sandbrink, A. (1986). Experiences with a Hybrid-Interpreter
Based on Incremental Compilation Techniques. In Proceedings of the Workshop
on Compiler Compilers and Incremental Compilation Techniques, Bautzen (Vol.
12, pp. 172–184). Bautzen: Berlin(Ost): Akademie der Wissenschaften der DDR.'
bibtex: '@inproceedings{Engels_Sandbrink_1986, place={Bautzen}, title={Experiences
with a Hybrid-Interpreter Based on Incremental Compilation Techniques}, volume={12},
booktitle={Proceedings of the Workshop on Compiler Compilers and Incremental Compilation
Techniques, Bautzen}, publisher={Berlin(Ost): Akademie der Wissenschaften der
DDR}, author={Engels, Gregor and Sandbrink, Andrea}, year={1986}, pages={172–184}
}'
chicago: 'Engels, Gregor, and Andrea Sandbrink. “Experiences with a Hybrid-Interpreter
Based on Incremental Compilation Techniques.” In Proceedings of the Workshop
on Compiler Compilers and Incremental Compilation Techniques, Bautzen, 12:172–84.
Bautzen: Berlin(Ost): Akademie der Wissenschaften der DDR, 1986.'
ieee: G. Engels and A. Sandbrink, “Experiences with a Hybrid-Interpreter Based on
Incremental Compilation Techniques,” in Proceedings of the Workshop on Compiler
Compilers and Incremental Compilation Techniques, Bautzen, 1986, vol. 12,
pp. 172–184.
mla: 'Engels, Gregor, and Andrea Sandbrink. “Experiences with a Hybrid-Interpreter
Based on Incremental Compilation Techniques.” Proceedings of the Workshop on
Compiler Compilers and Incremental Compilation Techniques, Bautzen, vol. 12,
Berlin(Ost): Akademie der Wissenschaften der DDR, 1986, pp. 172–84.'
short: 'G. Engels, A. Sandbrink, in: Proceedings of the Workshop on Compiler Compilers
and Incremental Compilation Techniques, Bautzen, Berlin(Ost): Akademie der Wissenschaften
der DDR, Bautzen, 1986, pp. 172–184.'
date_created: 2019-03-04T11:52:05Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
intvolume: ' 12'
language:
- iso: eng
page: 172-184
place: Bautzen
publication: Proceedings of the Workshop on Compiler Compilers and Incremental Compilation
Techniques, Bautzen
publisher: 'Berlin(Ost): Akademie der Wissenschaften der DDR'
status: public
title: Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques
type: conference
user_id: '52534'
volume: 12
year: '1986'
...
---
_id: '7588'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: Engels G. Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung.;
1986.
apa: Engels, G. (1986). Graphen als zentrale Datenstrukturen in einer Software-Entwicklungsumgebung.
bibtex: '@book{Engels_1986, title={Graphen als zentrale Datenstrukturen in einer
Software-Entwicklungsumgebung}, author={Engels, Gregor}, year={1986} }'
chicago: Engels, Gregor. Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung,
1986.
ieee: G. Engels, Graphen als zentrale Datenstrukturen in einer Software-Entwicklungsumgebung.
1986.
mla: Engels, Gregor. Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung.
1986.
short: G. Engels, Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung,
1986.
date_created: 2019-02-06T14:31:24Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: Graphen als zentrale Datenstrukturen in einer Software-Entwicklungsumgebung
type: dissertation
user_id: '52534'
year: '1986'
...
---
_id: '7813'
abstract:
- lang: eng
text: We introduce a method to specify the functional behaviour of software tools
in an incremental and integrated software development environment. This specification
method is based on graph grammars. It is an adequate method to specify the behaviour
of all software systems using graphs as internal data structures. We show that
a specification can be developed systematically by which the adaptability of the
environment is increased towards modification of tools or extension by new tools.
Furthermore, guidelines for the implementation can directly be derived from this
specification.
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. Graph Grammar Engineering: A Method Used for the Development
of an Integrated Programming Support Environment. In: Proceedings of the International
Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985),
Berlin (Germany). Vol 186. LNCS. Berlin/Heidelberg: Springer; 1985:179-193.'
apa: 'Engels, G., & Schäfer, W. (1985). Graph Grammar Engineering: A Method
Used for the Development of an Integrated Programming Support Environment. In
Proceedings of the International Joint Conference on Theory and Practice of
Software Development (TAPSOFT 1985), Berlin (Germany) (Vol. 186, pp. 179–193).
Berlin/Heidelberg: Springer.'
bibtex: '@inproceedings{Engels_Schäfer_1985, place={Berlin/Heidelberg}, series={LNCS},
title={Graph Grammar Engineering: A Method Used for the Development of an Integrated
Programming Support Environment}, volume={186}, booktitle={Proceedings of the
International Joint Conference on Theory and Practice of Software Development
(TAPSOFT 1985), Berlin (Germany)}, publisher={Springer}, author={Engels, Gregor
and Schäfer, Wilhelm}, year={1985}, pages={179–193}, collection={LNCS} }'
chicago: 'Engels, Gregor, and Wilhelm Schäfer. “Graph Grammar Engineering: A Method
Used for the Development of an Integrated Programming Support Environment.” In
Proceedings of the International Joint Conference on Theory and Practice of
Software Development (TAPSOFT 1985), Berlin (Germany), 186:179–93. LNCS. Berlin/Heidelberg:
Springer, 1985.'
ieee: 'G. Engels and W. Schäfer, “Graph Grammar Engineering: A Method Used for the
Development of an Integrated Programming Support Environment,” in Proceedings
of the International Joint Conference on Theory and Practice of Software Development
(TAPSOFT 1985), Berlin (Germany), 1985, vol. 186, pp. 179–193.'
mla: 'Engels, Gregor, and Wilhelm Schäfer. “Graph Grammar Engineering: A Method
Used for the Development of an Integrated Programming Support Environment.” Proceedings
of the International Joint Conference on Theory and Practice of Software Development
(TAPSOFT 1985), Berlin (Germany), vol. 186, Springer, 1985, pp. 179–93.'
short: 'G. Engels, W. Schäfer, in: Proceedings of the International Joint Conference
on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany),
Springer, Berlin/Heidelberg, 1985, pp. 179–193.'
date_created: 2019-02-20T13:39:53Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
intvolume: ' 186'
language:
- iso: eng
page: 179-193
place: Berlin/Heidelberg
publication: Proceedings of the International Joint Conference on Theory and Practice
of Software Development (TAPSOFT 1985), Berlin (Germany)
publisher: Springer
series_title: LNCS
status: public
title: 'Graph Grammar Engineering: A Method Used for the Development of an Integrated
Programming Support Environment'
type: conference
user_id: '52534'
volume: 186
year: '1985'
...
---
_id: '7814'
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. The Design of an Adaptive and Portable Programming Support
Environment. In: Proceedings of the International Computing Symposium, Amsterdam
(The Netherlands). Florenz; 1985.'
apa: Engels, G., & Schäfer, W. (1985). The Design of an Adaptive and Portable
Programming Support Environment. In Proceedings of the International Computing
Symposium, Amsterdam (The Netherlands). Florenz.
bibtex: '@inproceedings{Engels_Schäfer_1985, place={Florenz}, title={The Design
of an Adaptive and Portable Programming Support Environment}, booktitle={Proceedings
of the International Computing Symposium, Amsterdam (The Netherlands)}, author={Engels,
Gregor and Schäfer, Wilhelm}, year={1985} }'
chicago: Engels, Gregor, and Wilhelm Schäfer. “The Design of an Adaptive and Portable
Programming Support Environment.” In Proceedings of the International Computing
Symposium, Amsterdam (The Netherlands). Florenz, 1985.
ieee: G. Engels and W. Schäfer, “The Design of an Adaptive and Portable Programming
Support Environment,” in Proceedings of the International Computing Symposium,
Amsterdam (The Netherlands), 1985.
mla: Engels, Gregor, and Wilhelm Schäfer. “The Design of an Adaptive and Portable
Programming Support Environment.” Proceedings of the International Computing
Symposium, Amsterdam (The Netherlands), 1985.
short: 'G. Engels, W. Schäfer, in: Proceedings of the International Computing Symposium,
Amsterdam (The Netherlands), Florenz, 1985.'
date_created: 2019-02-20T13:40:50Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
language:
- iso: eng
place: Florenz
publication: Proceedings of the International Computing Symposium, Amsterdam (The
Netherlands)
status: public
title: The Design of an Adaptive and Portable Programming Support Environment
type: conference
user_id: '52534'
year: '1985'
...
---
_id: '8255'
abstract:
- lang: eng
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.
author:
- first_name: Manfred
full_name: Nagl, Manfred
last_name: Nagl
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Rupert
full_name: Gall, Rupert
last_name: Gall
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: 'Nagl M, Engels G, Gall R, Schäfer W. Software Specification by Graph Grammars.
In: Proceedings of the 2nd International Workshop on Graph-Grammars and Their
Application to Computer Science, Osnabrück (Germany). Vol 153. LNCS. Berlin/Heidelberg:
Springer; 1983:267-287. doi:dx.doi.org/10.1007/BFb0000113'
apa: 'Nagl, M., Engels, G., Gall, R., & Schäfer, W. (1983). Software Specification
by Graph Grammars. In Proceedings of the 2nd International Workshop on Graph-Grammars
and Their Application to Computer Science, Osnabrück (Germany) (Vol. 153,
pp. 267–287). Berlin/Heidelberg: Springer. https://doi.org/dx.doi.org/10.1007/BFb0000113'
bibtex: '@inproceedings{Nagl_Engels_Gall_Schäfer_1983, place={Berlin/Heidelberg},
series={LNCS}, title={Software Specification by Graph Grammars}, volume={153},
DOI={dx.doi.org/10.1007/BFb0000113},
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} }'
chicago: 'Nagl, Manfred, Gregor Engels, Rupert Gall, and Wilhelm Schäfer. “Software
Specification by Graph Grammars.” In Proceedings of the 2nd International Workshop
on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany),
153:267–87. LNCS. Berlin/Heidelberg: Springer, 1983. https://doi.org/dx.doi.org/10.1007/BFb0000113.'
ieee: M. Nagl, G. Engels, R. Gall, and W. Schäfer, “Software Specification by Graph
Grammars,” in Proceedings of the 2nd International Workshop on Graph-Grammars
and Their Application to Computer Science, Osnabrück (Germany), 1983, vol.
153, pp. 267–287.
mla: Nagl, Manfred, et al. “Software Specification by Graph Grammars.” Proceedings
of the 2nd International Workshop on Graph-Grammars and Their Application to Computer
Science, Osnabrück (Germany), vol. 153, Springer, 1983, pp. 267–87, doi:dx.doi.org/10.1007/BFb0000113.
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.'
date_created: 2019-03-04T11:52:04Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
doi: dx.doi.org/10.1007/BFb0000113
intvolume: ' 153'
language:
- iso: eng
page: 267-287
place: Berlin/Heidelberg
publication: Proceedings of the 2nd International Workshop on Graph-Grammars and Their
Application to Computer Science, Osnabrück (Germany)
publisher: Springer
series_title: LNCS
status: public
title: Software Specification by Graph Grammars
type: conference
user_id: '52534'
volume: 153
year: '1983'
...
---
_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.
Computing. 1983;31(4):317-346. doi:http://dx.doi.org/10.1007/BF02251236
apa: Engels, G., Gall, R., Nagl, M., & Schäfer, W. (1983). Software Specification
Using Graph Grammars. Computing, 31(4), 317–346. http://dx.doi.org/10.1007/BF02251236
bibtex: '@article{Engels_Gall_Nagl_Schäfer_1983, title={Software Specification Using
Graph Grammars}, volume={31}, DOI={http://dx.doi.org/10.1007/BF02251236},
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.” Computing 31, no. 4 (1983): 317–46.
http://dx.doi.org/10.1007/BF02251236.'
ieee: G. Engels, R. Gall, M. Nagl, and W. Schäfer, “Software Specification Using
Graph Grammars,” Computing, vol. 31, no. 4, pp. 317–346, 1983.
mla: Engels, Gregor, et al. “Software Specification Using Graph Grammars.” Computing,
vol. 31, no. 4, 1983, pp. 317–46, doi:http://dx.doi.org/10.1007/BF02251236.
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. Acta Informatica. 1983;9(3):235-254.
doi:http://dx.doi.org/10.1007/BF00265557
apa: Engels, G., Pletat, U., & Ehrich, H.-D. (1983). An Operational Semantics
for Specifications of Abstract Data Types with Error Handling. Acta Informatica,
9(3), 235–254. http://dx.doi.org/10.1007/BF00265557
bibtex: '@article{Engels_Pletat_Ehrich_1983, title={An Operational Semantics for
Specifications of Abstract Data Types with Error Handling}, volume={9}, DOI={http://dx.doi.org/10.1007/BF00265557},
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.” Acta
Informatica 9, no. 3 (1983): 235–54. http://dx.doi.org/10.1007/BF00265557.'
ieee: G. Engels, U. Pletat, and H.-D. Ehrich, “An Operational Semantics for Specifications
of Abstract Data Types with Error Handling,” Acta Informatica, 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.” Acta Informatica, vol. 9, no. 3, 1983,
pp. 235–54, doi:http://dx.doi.org/10.1007/BF00265557.
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: Proceedings of the Conference on Graphtheoretic Concepts
in Computer Science (WG`82), München (Germany). München/Leipzig: Hanser; 1982:47-62.'
apa: 'Engels, G., & Schäfer, W. (1982). Specification of a Programming Support
Environment by Graph Grammars. In Proceedings of the conference on Graphtheoretic
Concepts in Computer Science (WG`82), München (Germany) (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 Proceedings of the Conference on Graphtheoretic
Concepts in Computer Science (WG`82), München (Germany), 47–62. München/Leipzig:
Hanser, 1982.'
ieee: G. Engels and W. Schäfer, “Specification of a Programming Support Environment
by Graph Grammars,” in Proceedings of the conference on Graphtheoretic Concepts
in Computer Science (WG`82), München (Germany), 1982, pp. 47–62.
mla: Engels, Gregor, and Wilhelm Schäfer. “Specification of a Programming Support
Environment by Graph Grammars.” Proceedings of the Conference on Graphtheoretic
Concepts in Computer Science (WG`82), München (Germany), 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: Proceedings of the 7eme Colloque Sur Les Arbres En Algebre
et En Programmation, Lille (France). Vol 82. ; 1982:254-270.'
apa: Pletat, U., Engels, G., & Ehrich, H.-D. (1982). An Operational Approach
to Conditional Algebraic Specifications. In Proceedings of the 7eme Colloque
sur les Arbres en Algebre et en Programmation, Lille (France) (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 Proceedings of the 7eme Colloque
Sur Les Arbres En Algebre et En Programmation, Lille (France), 82:254–70,
1982.
ieee: U. Pletat, G. Engels, and H.-D. Ehrich, “An Operational Approach to Conditional
Algebraic Specifications,” in Proceedings of the 7eme Colloque sur les Arbres
en Algebre et en Programmation, Lille (France), 1982, vol. 82, pp. 254–270.
mla: Pletat, Udo, et al. “An Operational Approach to Conditional Algebraic Specifications.”
Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation,
Lille (France), 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. Handling Errors and Exceptions in the Algebraic
Specifications of Data Types. University of Osnabrück; 1981.
apa: Engels, G., Pletat, U., & Ehrich, H.-D. (1981). Handling Errors and
Exceptions in the Algebraic Specifications of Data Types. 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. Handling Errors
and Exceptions in the Algebraic Specifications of Data Types. University of
Osnabrück, 1981.
ieee: G. Engels, U. Pletat, and H.-D. Ehrich, Handling Errors and Exceptions
in the Algebraic Specifications of Data Types. University of Osnabrück, 1981.
mla: Engels, Gregor, et al. Handling Errors and Exceptions in the Algebraic Specifications
of Data Types. 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. Operational Semantics of Algebraic Specifications
with Conditional Equations. University of Dortmund, Department of Computer
Science; 1981.
apa: Pletat, U., Engels, G., & Ehrich, H.-D. (1981). Operational Semantics
of Algebraic Specifications with Conditional Equations. 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. Operational Semantics
of Algebraic Specifications with Conditional Equations. University of Dortmund,
Department of Computer Science, 1981.
ieee: U. Pletat, G. Engels, and H.-D. Ehrich, Operational Semantics of Algebraic
Specifications with Conditional Equations. University of Dortmund, Department
of Computer Science, 1981.
mla: Pletat, Udo, et al. Operational Semantics of Algebraic Specifications with
Conditional Equations. 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'
...