---
_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: '16806'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: Meyer auf der Heide F. Efficiency of universal parallel computers. Acta
Informatica. 1983:269-296. doi:10.1007/bf00265559
apa: Meyer auf der Heide, F. (1983). Efficiency of universal parallel computers.
Acta Informatica, 269–296. https://doi.org/10.1007/bf00265559
bibtex: '@article{Meyer auf der Heide_1983, title={Efficiency of universal parallel
computers}, DOI={10.1007/bf00265559},
journal={Acta Informatica}, author={Meyer auf der Heide, Friedhelm}, year={1983},
pages={269–296} }'
chicago: Meyer auf der Heide, Friedhelm. “Efficiency of Universal Parallel Computers.”
Acta Informatica, 1983, 269–96. https://doi.org/10.1007/bf00265559.
ieee: F. Meyer auf der Heide, “Efficiency of universal parallel computers,” Acta
Informatica, pp. 269–296, 1983.
mla: Meyer auf der Heide, Friedhelm. “Efficiency of Universal Parallel Computers.”
Acta Informatica, 1983, pp. 269–96, doi:10.1007/bf00265559.
short: F. Meyer auf der Heide, Acta Informatica (1983) 269–296.
date_created: 2020-04-22T08:48:20Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '63'
doi: 10.1007/bf00265559
language:
- iso: eng
page: 269-296
publication: Acta Informatica
publication_identifier:
issn:
- 0001-5903
- 1432-0525
publication_status: published
status: public
title: Efficiency of universal parallel computers
type: journal_article
user_id: '15415'
year: '1983'
...
---
_id: '16807'
author:
- first_name: Peter
full_name: Klein, Peter
last_name: Klein
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: Klein P, Meyer auf der Heide F. A lower time bound for the knapsack problem
on random access machines. Acta Informatica. 1983:385-395. doi:10.1007/bf00290735
apa: Klein, P., & Meyer auf der Heide, F. (1983). A lower time bound for the
knapsack problem on random access machines. Acta Informatica, 385–395.
https://doi.org/10.1007/bf00290735
bibtex: '@article{Klein_Meyer auf der Heide_1983, title={A lower time bound for
the knapsack problem on random access machines}, DOI={10.1007/bf00290735},
journal={Acta Informatica}, author={Klein, Peter and Meyer auf der Heide, Friedhelm},
year={1983}, pages={385–395} }'
chicago: Klein, Peter, and Friedhelm Meyer auf der Heide. “A Lower Time Bound for
the Knapsack Problem on Random Access Machines.” Acta Informatica, 1983,
385–95. https://doi.org/10.1007/bf00290735.
ieee: P. Klein and F. Meyer auf der Heide, “A lower time bound for the knapsack
problem on random access machines,” Acta Informatica, pp. 385–395, 1983.
mla: Klein, Peter, and Friedhelm Meyer auf der Heide. “A Lower Time Bound for the
Knapsack Problem on Random Access Machines.” Acta Informatica, 1983, pp.
385–95, doi:10.1007/bf00290735.
short: P. Klein, F. Meyer auf der Heide, Acta Informatica (1983) 385–395.
date_created: 2020-04-22T08:49:58Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '63'
doi: 10.1007/bf00290735
language:
- iso: eng
page: 385-395
publication: Acta Informatica
publication_identifier:
issn:
- 0001-5903
- 1432-0525
publication_status: published
status: public
title: A lower time bound for the knapsack problem on random access machines
type: journal_article
user_id: '15415'
year: '1983'
...
---
_id: '16808'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: Meyer auf der Heide F. Infinite cube-connected cycles. Information Processing
Letters. 1983:1-2. doi:10.1016/0020-0190(83)90001-7
apa: Meyer auf der Heide, F. (1983). Infinite cube-connected cycles. Information
Processing Letters, 1–2. https://doi.org/10.1016/0020-0190(83)90001-7
bibtex: '@article{Meyer auf der Heide_1983, title={Infinite cube-connected cycles},
DOI={10.1016/0020-0190(83)90001-7},
journal={Information Processing Letters}, author={Meyer auf der Heide, Friedhelm},
year={1983}, pages={1–2} }'
chicago: Meyer auf der Heide, Friedhelm. “Infinite Cube-Connected Cycles.” Information
Processing Letters, 1983, 1–2. https://doi.org/10.1016/0020-0190(83)90001-7.
ieee: F. Meyer auf der Heide, “Infinite cube-connected cycles,” Information Processing
Letters, pp. 1–2, 1983.
mla: Meyer auf der Heide, Friedhelm. “Infinite Cube-Connected Cycles.” Information
Processing Letters, 1983, pp. 1–2, doi:10.1016/0020-0190(83)90001-7.
short: F. Meyer auf der Heide, Information Processing Letters (1983) 1–2.
date_created: 2020-04-22T08:51:01Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '63'
doi: 10.1016/0020-0190(83)90001-7
language:
- iso: eng
page: 1-2
publication: Information Processing Letters
publication_identifier:
issn:
- 0020-0190
publication_status: published
status: public
title: Infinite cube-connected cycles
type: journal_article
user_id: '15415'
year: '1983'
...
---
_id: '16809'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: 'Meyer auf der Heide F. A polynomial linear search algorithm for the n-dimensional
knapsack problem. In: Proceedings of the Fifteenth Annual ACM Symposium on
Theory of Computing - STOC ’83. ; 1983. doi:10.1145/800061.808734'
apa: Meyer auf der Heide, F. (1983). A polynomial linear search algorithm for the
n-dimensional knapsack problem. In Proceedings of the fifteenth annual ACM
symposium on Theory of computing - STOC ’83. https://doi.org/10.1145/800061.808734
bibtex: '@inproceedings{Meyer auf der Heide_1983, title={A polynomial linear search
algorithm for the n-dimensional knapsack problem}, DOI={10.1145/800061.808734},
booktitle={Proceedings of the fifteenth annual ACM symposium on Theory of computing
- STOC ’83}, author={Meyer auf der Heide, Friedhelm}, year={1983} }'
chicago: Meyer auf der Heide, Friedhelm. “A Polynomial Linear Search Algorithm for
the N-Dimensional Knapsack Problem.” In Proceedings of the Fifteenth Annual
ACM Symposium on Theory of Computing - STOC ’83, 1983. https://doi.org/10.1145/800061.808734.
ieee: F. Meyer auf der Heide, “A polynomial linear search algorithm for the n-dimensional
knapsack problem,” in Proceedings of the fifteenth annual ACM symposium on
Theory of computing - STOC ’83, 1983.
mla: Meyer auf der Heide, Friedhelm. “A Polynomial Linear Search Algorithm for the
N-Dimensional Knapsack Problem.” Proceedings of the Fifteenth Annual ACM Symposium
on Theory of Computing - STOC ’83, 1983, doi:10.1145/800061.808734.
short: 'F. Meyer auf der Heide, in: Proceedings of the Fifteenth Annual ACM Symposium
on Theory of Computing - STOC ’83, 1983.'
date_created: 2020-04-22T08:52:15Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '63'
doi: 10.1145/800061.808734
language:
- iso: eng
publication: Proceedings of the fifteenth annual ACM symposium on Theory of computing -
STOC '83
publication_identifier:
isbn:
- '0897910990'
publication_status: published
status: public
title: A polynomial linear search algorithm for the n-dimensional knapsack problem
type: conference
user_id: '15415'
year: '1983'
...
---
_id: '16810'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: 'Meyer auf der Heide F. Efficiency of universal parallel computers. In: Lecture
Notes in Computer Science. Berlin/Heidelberg; 1983. doi:10.1007/bfb0036483'
apa: Meyer auf der Heide, F. (1983). Efficiency of universal parallel computers.
In Lecture Notes in Computer Science. Berlin/Heidelberg. https://doi.org/10.1007/bfb0036483
bibtex: '@inbook{Meyer auf der Heide_1983, place={Berlin/Heidelberg}, title={Efficiency
of universal parallel computers}, DOI={10.1007/bfb0036483},
booktitle={Lecture Notes in Computer Science}, author={Meyer auf der Heide, Friedhelm},
year={1983} }'
chicago: Meyer auf der Heide, Friedhelm. “Efficiency of Universal Parallel Computers.”
In Lecture Notes in Computer Science. Berlin/Heidelberg, 1983. https://doi.org/10.1007/bfb0036483.
ieee: F. Meyer auf der Heide, “Efficiency of universal parallel computers,” in Lecture
Notes in Computer Science, Berlin/Heidelberg, 1983.
mla: Meyer auf der Heide, Friedhelm. “Efficiency of Universal Parallel Computers.”
Lecture Notes in Computer Science, 1983, doi:10.1007/bfb0036483.
short: 'F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg,
1983.'
date_created: 2020-04-22T08:53:33Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '63'
doi: 10.1007/bfb0036483
language:
- iso: eng
place: Berlin/Heidelberg
publication: Lecture Notes in Computer Science
publication_identifier:
isbn:
- '3540119736'
publication_status: published
status: public
title: Efficiency of universal parallel computers
type: book_chapter
user_id: '15415'
year: '1983'
...
---
_id: '21603'
author:
- first_name: Gitta
full_name: Domik, Gitta
id: '90'
last_name: Domik
- first_name: F.
full_name: Leberl, F.
last_name: Leberl
- first_name: M.
full_name: Kobrick, M.
last_name: Kobrick
citation:
ama: 'Domik G, Leberl F, Kobrick M. Radar Image Simulation and its Application in
Image Analysis. In: International Archives of Photogrammetry and Remote Sensing.
Vol 25A. ISPRS 1984, XVth congress, Rio de Janeiro, 1984. Rio de Janeiro, Brazil;
1984:99–108.'
apa: Domik, G., Leberl, F., & Kobrick, M. (1984). Radar Image Simulation and
its Application in Image Analysis. In International archives of photogrammetry
and remote sensing (Vol. 25A, pp. 99–108). Rio de Janeiro, Brazil.
bibtex: '@inproceedings{Domik_Leberl_Kobrick_1984, place={Rio de Janeiro, Brazil},
series={ISPRS 1984, XVth congress, Rio de Janeiro, 1984}, title={Radar Image Simulation
and its Application in Image Analysis}, volume={25A}, number={3}, booktitle={International
archives of photogrammetry and remote sensing}, author={Domik, Gitta and Leberl,
F. and Kobrick, M.}, year={1984}, pages={99–108}, collection={ISPRS 1984, XVth
congress, Rio de Janeiro, 1984} }'
chicago: Domik, Gitta, F. Leberl, and M. Kobrick. “Radar Image Simulation and Its
Application in Image Analysis.” In International Archives of Photogrammetry
and Remote Sensing, 25A:99–108. ISPRS 1984, XVth Congress, Rio de Janeiro,
1984. Rio de Janeiro, Brazil, 1984.
ieee: G. Domik, F. Leberl, and M. Kobrick, “Radar Image Simulation and its Application
in Image Analysis,” in International archives of photogrammetry and remote
sensing, 1984, vol. 25A, no. 3, pp. 99–108.
mla: Domik, Gitta, et al. “Radar Image Simulation and Its Application in Image Analysis.”
International Archives of Photogrammetry and Remote Sensing, vol. 25A,
no. 3, 1984, pp. 99–108.
short: 'G. Domik, F. Leberl, M. Kobrick, in: International Archives of Photogrammetry
and Remote Sensing, Rio de Janeiro, Brazil, 1984, pp. 99–108.'
date_created: 2021-04-12T06:53:46Z
date_updated: 2022-01-06T06:55:07Z
department:
- _id: '65'
issue: '3'
language:
- iso: eng
page: 99–108
place: Rio de Janeiro, Brazil
publication: International archives of photogrammetry and remote sensing
publication_identifier:
issn:
- 0256-1840
series_title: ISPRS 1984, XVth congress, Rio de Janeiro, 1984
status: public
title: Radar Image Simulation and its Application in Image Analysis
type: conference
user_id: '90'
volume: 25A
year: '1984'
...
---
_id: '21604'
author:
- first_name: Gitta
full_name: Domik, Gitta
id: '90'
last_name: Domik
- first_name: F.
full_name: Leberl, F.
last_name: Leberl
- first_name: J.
full_name: Raggam, J.
last_name: Raggam
citation:
ama: 'Domik G, Leberl F, Raggam J. Rectification of Radar Images Using Stereo- Derived
Height Models and Simulations. In: XVth Congress of the International Society
for Photogrammetry and Remote Sensing. Vol 25A. Rio de Janeiro; 1984:109–116.'
apa: Domik, G., Leberl, F., & Raggam, J. (1984). Rectification of Radar Images
Using Stereo- Derived Height Models and Simulations. In XVth Congress of the
International Society for Photogrammetry and Remote Sensing (Vol. 25A, pp.
109–116). Rio de Janeiro.
bibtex: '@inproceedings{Domik_Leberl_Raggam_1984, place={Rio de Janeiro}, title={Rectification
of Radar Images Using Stereo- Derived Height Models and Simulations}, volume={25A},
number={3}, booktitle={XVth Congress of the International Society for Photogrammetry
and Remote Sensing}, author={Domik, Gitta and Leberl, F. and Raggam, J.}, year={1984},
pages={109–116} }'
chicago: Domik, Gitta, F. Leberl, and J. Raggam. “Rectification of Radar Images
Using Stereo- Derived Height Models and Simulations.” In XVth Congress of the
International Society for Photogrammetry and Remote Sensing, 25A:109–116.
Rio de Janeiro, 1984.
ieee: G. Domik, F. Leberl, and J. Raggam, “Rectification of Radar Images Using Stereo-
Derived Height Models and Simulations,” in XVth Congress of the International
Society for Photogrammetry and Remote Sensing, 1984, vol. 25A, no. 3, pp.
109–116.
mla: Domik, Gitta, et al. “Rectification of Radar Images Using Stereo- Derived Height
Models and Simulations.” XVth Congress of the International Society for Photogrammetry
and Remote Sensing, vol. 25A, no. 3, 1984, pp. 109–116.
short: 'G. Domik, F. Leberl, J. Raggam, in: XVth Congress of the International Society
for Photogrammetry and Remote Sensing, Rio de Janeiro, 1984, pp. 109–116.'
date_created: 2021-04-12T06:53:48Z
date_updated: 2022-01-06T06:55:07Z
department:
- _id: '65'
issue: '3'
language:
- iso: eng
page: 109–116
place: Rio de Janeiro
publication: XVth Congress of the International Society for Photogrammetry and Remote
Sensing
status: public
title: Rectification of Radar Images Using Stereo- Derived Height Models and Simulations
type: conference
user_id: '90'
volume: 25A
year: '1984'
...
---
_id: '21605'
author:
- first_name: Gitta
full_name: Domik, Gitta
id: '90'
last_name: Domik
citation:
ama: 'Domik G. Evaluation of radar stereo viewability by means of a simulation technique.
In: ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use,.
Vol 2. ; 1984.'
apa: 'Domik, G. (1984). Evaluation of radar stereo viewability by means of a simulation
technique. In ESA IGARSS 84: Remote Sensing: From Res. towards Operational
Use, (Vol. 2).'
bibtex: '@inproceedings{Domik_1984, title={Evaluation of radar stereo viewability
by means of a simulation technique}, volume={2}, booktitle={ESA IGARSS 84: Remote
Sensing: From Res. towards Operational Use,}, author={Domik, Gitta}, year={1984}
}'
chicago: 'Domik, Gitta. “Evaluation of Radar Stereo Viewability by Means of a Simulation
Technique.” In ESA IGARSS 84: Remote Sensing: From Res. towards Operational
Use, Vol. 2, 1984.'
ieee: 'G. Domik, “Evaluation of radar stereo viewability by means of a simulation
technique,” in ESA IGARSS 84: Remote Sensing: From Res. towards Operational
Use, 1984, vol. 2.'
mla: 'Domik, Gitta. “Evaluation of Radar Stereo Viewability by Means of a Simulation
Technique.” ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use,
vol. 2, 1984.'
short: 'G. Domik, in: ESA IGARSS 84: Remote Sensing: From Res. towards Operational
Use, 1984.'
date_created: 2021-04-12T06:53:49Z
date_updated: 2022-01-06T06:55:07Z
department:
- _id: '65'
intvolume: ' 2'
language:
- iso: eng
publication: 'ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use,'
status: public
title: Evaluation of radar stereo viewability by means of a simulation technique
type: conference
user_id: '14955'
volume: 2
year: '1984'
...