---
_id: '8271'
author:
- first_name: Tineke
full_name: de Bunje, Tineke
last_name: de Bunje
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Luuk
full_name: Groenewegen, Luuk
last_name: Groenewegen
- first_name: Michael
full_name: Heus, Michael
last_name: Heus
- first_name: Aart
full_name: Matsinger, Aart
last_name: Matsinger
citation:
ama: 'de Bunje T, Engels G, Groenewegen L, Heus M, Matsinger A. Towards Measurable
Process Models. In: Proceedings of the Workshop on Software Process Technology
(EWSPT 1996), Nancy (France). Vol 1149. Berlin/Heidelberg: Springer; 1996:183-187.
doi:http://dx.doi.org/10.1007/BFb0017743'
apa: 'de Bunje, T., Engels, G., Groenewegen, L., Heus, M., & Matsinger, A. (1996).
Towards Measurable Process Models. In Proceedings of the Workshop on Software
Process Technology (EWSPT 1996), Nancy (France) (Vol. 1149, pp. 183–187).
Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/BFb0017743'
bibtex: '@inproceedings{de Bunje_Engels_Groenewegen_Heus_Matsinger_1996, place={Berlin/Heidelberg},
title={Towards Measurable Process Models}, volume={1149}, DOI={http://dx.doi.org/10.1007/BFb0017743},
booktitle={Proceedings of the Workshop on Software Process Technology (EWSPT 1996),
Nancy (France)}, publisher={Springer}, author={de Bunje, Tineke and Engels, Gregor
and Groenewegen, Luuk and Heus, Michael and Matsinger, Aart}, year={1996}, pages={183–187}
}'
chicago: 'Bunje, Tineke de, Gregor Engels, Luuk Groenewegen, Michael Heus, and Aart
Matsinger. “Towards Measurable Process Models.” In Proceedings of the Workshop
on Software Process Technology (EWSPT 1996), Nancy (France), 1149:183–87.
Berlin/Heidelberg: Springer, 1996. http://dx.doi.org/10.1007/BFb0017743.'
ieee: T. de Bunje, G. Engels, L. Groenewegen, M. Heus, and A. Matsinger, “Towards
Measurable Process Models,” in Proceedings of the Workshop on Software Process
Technology (EWSPT 1996), Nancy (France), 1996, vol. 1149, pp. 183–187.
mla: de Bunje, Tineke, et al. “Towards Measurable Process Models.” Proceedings
of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France),
vol. 1149, Springer, 1996, pp. 183–87, doi:http://dx.doi.org/10.1007/BFb0017743.
short: 'T. de Bunje, G. Engels, L. Groenewegen, M. Heus, A. Matsinger, in: Proceedings
of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France), Springer,
Berlin/Heidelberg, 1996, pp. 183–187.'
date_created: 2019-03-04T12:25:36Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/BFb0017743
intvolume: ' 1149'
language:
- iso: eng
page: 183-187
place: Berlin/Heidelberg
publication: Proceedings of the Workshop on Software Process Technology (EWSPT 1996),
Nancy (France)
publisher: Springer
status: public
title: Towards Measurable Process Models
type: conference
user_id: '52534'
volume: 1149
year: '1996'
...
---
_id: '8272'
abstract:
- lang: eng
text: The paper presents a conceptual framework for a module concept for graph transformation
systems from a software engineering as well as from a theoretical point of view.
The basic idea is to reuse concepts, which are known within or without the graph
grammar field, to structure large specifications. These are the concept of distributed
graph transformation systems, the concept of inheritance of specifications, and
the import-export-interface concept. All these concepts are presented in a uniform
framework based on the syntactical notion of a graph class specification and its
semantics given by a graph transformation system. This is the basis for an explicit
integration of these concepts and a corresponding specification language, to be
discussed in a subsequent paper.
author:
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Ehrig H, Engels G. Pragmatic and Semantic Aspects of a Module Concept for
Graph Transformation Systems. In: Selected Papers from the 5th International
Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg,
VA (USA). Vol 1073. Berlin/Heidelberg: Springer; 1996:137-154.'
apa: 'Ehrig, H., & Engels, G. (1996). Pragmatic and Semantic Aspects of a Module
Concept for Graph Transformation Systems. In Selected papers from the 5th International
Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg,
VA (USA) (Vol. 1073, pp. 137–154). Berlin/Heidelberg: Springer.'
bibtex: '@inproceedings{Ehrig_Engels_1996, place={Berlin/Heidelberg}, title={Pragmatic
and Semantic Aspects of a Module Concept for Graph Transformation Systems}, volume={1073},
booktitle={Selected papers from the 5th International Workshop on Graph Gramars
and Their Application to Computer Science, Williamsburg, VA (USA)}, publisher={Springer},
author={Ehrig, Hartmut and Engels, Gregor}, year={1996}, pages={137–154} }'
chicago: 'Ehrig, Hartmut, and Gregor Engels. “Pragmatic and Semantic Aspects of
a Module Concept for Graph Transformation Systems.” In Selected Papers from
the 5th International Workshop on Graph Gramars and Their Application to Computer
Science, Williamsburg, VA (USA), 1073:137–54. Berlin/Heidelberg: Springer,
1996.'
ieee: H. Ehrig and G. Engels, “Pragmatic and Semantic Aspects of a Module Concept
for Graph Transformation Systems,” in Selected papers from the 5th International
Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg,
VA (USA), 1996, vol. 1073, pp. 137–154.
mla: Ehrig, Hartmut, and Gregor Engels. “Pragmatic and Semantic Aspects of a Module
Concept for Graph Transformation Systems.” Selected Papers from the 5th International
Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg,
VA (USA), vol. 1073, Springer, 1996, pp. 137–54.
short: 'H. Ehrig, G. Engels, in: Selected Papers from the 5th International Workshop
on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA),
Springer, Berlin/Heidelberg, 1996, pp. 137–154.'
date_created: 2019-03-04T12:25:38Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
intvolume: ' 1073'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007%2F3-540-61228-9_84
page: 137-154
place: Berlin/Heidelberg
publication: Selected papers from the 5th International Workshop on Graph Gramars
and Their Application to Computer Science, Williamsburg, VA (USA)
publisher: Springer
status: public
title: Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation
Systems
type: conference
user_id: '52534'
volume: 1073
year: '1996'
...
---
_id: '8273'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Andreas
full_name: Zamperoni, Andreas
last_name: Zamperoni
citation:
ama: 'Engels G, Zamperoni A. Comprehensive Support for Change: Generic, Multi-dimensional
(Software) Engineering Frameworks (position paper). In: Proceedings of the
Workshop on Requirements Engineering in a Changing World (Satellite Event of the
Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece).
; 1996:42-44.'
apa: 'Engels, G., & Zamperoni, A. (1996). Comprehensive Support for Change:
Generic, Multi-dimensional (Software) Engineering Frameworks (position paper).
In Proceedings of the Workshop on Requirements Engineering in a Changing World
(satellite event of the Conference on Advanced Information Systems Engineering
(CAISE 1996)), Crete (Greece) (pp. 42–44).'
bibtex: '@inproceedings{Engels_Zamperoni_1996, title={Comprehensive Support for
Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position
paper)}, booktitle={Proceedings of the Workshop on Requirements Engineering in
a Changing World (satellite event of the Conference on Advanced Information Systems
Engineering (CAISE 1996)), Crete (Greece)}, author={Engels, Gregor and Zamperoni,
Andreas}, year={1996}, pages={42–44} }'
chicago: 'Engels, Gregor, and Andreas Zamperoni. “Comprehensive Support for Change:
Generic, Multi-Dimensional (Software) Engineering Frameworks (Position Paper).”
In Proceedings of the Workshop on Requirements Engineering in a Changing World
(Satellite Event of the Conference on Advanced Information Systems Engineering
(CAISE 1996)), Crete (Greece), 42–44, 1996.'
ieee: 'G. Engels and A. Zamperoni, “Comprehensive Support for Change: Generic, Multi-dimensional
(Software) Engineering Frameworks (position paper),” in Proceedings of the
Workshop on Requirements Engineering in a Changing World (satellite event of the
Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece),
1996, pp. 42–44.'
mla: 'Engels, Gregor, and Andreas Zamperoni. “Comprehensive Support for Change:
Generic, Multi-Dimensional (Software) Engineering Frameworks (Position Paper).”
Proceedings of the Workshop on Requirements Engineering in a Changing World
(Satellite Event of the Conference on Advanced Information Systems Engineering
(CAISE 1996)), Crete (Greece), 1996, pp. 42–44.'
short: 'G. Engels, A. Zamperoni, in: Proceedings of the Workshop on Requirements
Engineering in a Changing World (Satellite Event of the Conference on Advanced
Information Systems Engineering (CAISE 1996)), Crete (Greece), 1996, pp. 42–44.'
date_created: 2019-03-04T12:25:39Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: 42-44
publication: Proceedings of the Workshop on Requirements Engineering in a Changing
World (satellite event of the Conference on Advanced Information Systems Engineering
(CAISE 1996)), Crete (Greece)
status: public
title: 'Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering
Frameworks (position paper)'
type: conference
user_id: '52534'
year: '1996'
...
---
_id: '8274'
abstract:
- lang: eng
text: By means of a special sofnvare process model component we have been successful
in specifring somare process model evolution, This component also handles much
reuse of software process model fragments. To handle the reuse of the software
as it is being produced by a software process, another extra component can be
added to the model for that software process. It is argued why this extra component
is comparable to the special component for evolution.
author:
- first_name: Luuk
full_name: Groenewegen, Luuk
last_name: Groenewegen
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Groenewegen L, Engels G. Reuse of Software Process Fragments is Reuse of Software,
too. In: Proceedings of the 10th International Software Process Workshop (ISPW
1996), Ventron (France). Washington, DC, USA: IEEE Computer Society; 1996:68.'
apa: 'Groenewegen, L., & Engels, G. (1996). Reuse of Software Process Fragments
is Reuse of Software, too. In Proceedings of the 10th International Software
Process Workshop (ISPW 1996), Ventron (France) (p. 68). Washington, DC, USA:
IEEE Computer Society.'
bibtex: '@inproceedings{Groenewegen_Engels_1996, place={Washington, DC, USA}, title={Reuse
of Software Process Fragments is Reuse of Software, too}, booktitle={Proceedings
of the 10th International Software Process Workshop (ISPW 1996), Ventron (France)},
publisher={IEEE Computer Society}, author={Groenewegen, Luuk and Engels, Gregor},
year={1996}, pages={68} }'
chicago: 'Groenewegen, Luuk, and Gregor Engels. “Reuse of Software Process Fragments
Is Reuse of Software, Too.” In Proceedings of the 10th International Software
Process Workshop (ISPW 1996), Ventron (France), 68. Washington, DC, USA: IEEE
Computer Society, 1996.'
ieee: L. Groenewegen and G. Engels, “Reuse of Software Process Fragments is Reuse
of Software, too,” in Proceedings of the 10th International Software Process
Workshop (ISPW 1996), Ventron (France), 1996, p. 68.
mla: Groenewegen, Luuk, and Gregor Engels. “Reuse of Software Process Fragments
Is Reuse of Software, Too.” Proceedings of the 10th International Software
Process Workshop (ISPW 1996), Ventron (France), IEEE Computer Society, 1996,
p. 68.
short: 'L. Groenewegen, G. Engels, in: Proceedings of the 10th International Software
Process Workshop (ISPW 1996), Ventron (France), IEEE Computer Society, Washington,
DC, USA, 1996, p. 68.'
date_created: 2019-03-04T12:25:40Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: '68'
place: Washington, DC, USA
publication: Proceedings of the 10th International Software Process Workshop (ISPW
1996), Ventron (France)
publisher: IEEE Computer Society
status: public
title: Reuse of Software Process Fragments is Reuse of Software, too
type: conference
user_id: '52534'
year: '1996'
...
---
_id: '8275'
abstract:
- lang: eng
text: This extended abstract describes a mechanism to automatically incorporate
safety requirements into operational specifications written in Z. For every individual
operation the global (i.e. operation independent) safety invariants are transformed
into a predicate which is used to extend the original precondiction of the operation.
The operation constructed this way shows the same beavior as the original one
whenever its post state satisfies the invariant. Otherwise it refuses to do anything.
The construction of the precondition can be carried out automatically and a corresponding
tool development is in progress.
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Mirko
full_name: Conrad, Mirko
last_name: Conrad
- first_name: Gottfried
full_name: Egger, Gottfried
last_name: Egger
- first_name: Jörg
full_name: Hiemer, Jörg
last_name: Hiemer
citation:
ama: 'Heckel R, Conrad M, Egger G, Hiemer J. Automatic Integration of Safety Invariants
into Z Specifications. In: Proceedings of the Workshop on Tools for System
Development and Verifcation. Vol 1. Bremen, Germany: Shaker Verlag; 1996:70-83.'
apa: 'Heckel, R., Conrad, M., Egger, G., & Hiemer, J. (1996). Automatic Integration
of Safety Invariants into Z Specifications. In Proceedings of the Workshop
on Tools for System Development and Verifcation (Vol. 1, pp. 70–83). Bremen,
Germany: Shaker Verlag.'
bibtex: '@inproceedings{Heckel_Conrad_Egger_Hiemer_1996, place={Bremen, Germany},
title={Automatic Integration of Safety Invariants into Z Specifications}, volume={1},
booktitle={Proceedings of the Workshop on Tools for System Development and Verifcation},
publisher={Shaker Verlag}, author={Heckel, Reiko and Conrad, Mirko and Egger,
Gottfried and Hiemer, Jörg}, year={1996}, pages={70–83} }'
chicago: 'Heckel, Reiko, Mirko Conrad, Gottfried Egger, and Jörg Hiemer. “Automatic
Integration of Safety Invariants into Z Specifications.” In Proceedings of
the Workshop on Tools for System Development and Verifcation, 1:70–83. Bremen,
Germany: Shaker Verlag, 1996.'
ieee: R. Heckel, M. Conrad, G. Egger, and J. Hiemer, “Automatic Integration of Safety
Invariants into Z Specifications,” in Proceedings of the Workshop on Tools
for System Development and Verifcation, 1996, vol. 1, pp. 70–83.
mla: Heckel, Reiko, et al. “Automatic Integration of Safety Invariants into Z Specifications.”
Proceedings of the Workshop on Tools for System Development and Verifcation,
vol. 1, Shaker Verlag, 1996, pp. 70–83.
short: 'R. Heckel, M. Conrad, G. Egger, J. Hiemer, in: Proceedings of the Workshop
on Tools for System Development and Verifcation, Shaker Verlag, Bremen, Germany,
1996, pp. 70–83.'
date_created: 2019-03-04T12:25:41Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
intvolume: ' 1'
language:
- iso: eng
main_file_link:
- url: http://tfs.cs.tu-berlin.de/
page: 70-83
place: Bremen, Germany
publication: Proceedings of the Workshop on Tools for System Development and Verifcation
publisher: Shaker Verlag
status: public
title: Automatic Integration of Safety Invariants into Z Specifications
type: conference
user_id: '52534'
volume: 1
year: '1996'
...
---
_id: '7404'
author:
- first_name: Annegret
full_name: Habel, Annegret
last_name: Habel
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Gabriele
full_name: Taentzer, Gabriele
last_name: Taentzer
citation:
ama: Habel A, Heckel R, Taentzer G. Graph Grammars with Negative Application Conditions.
Fundamenta Informaticae. 1996;26(3,4):287-313.
apa: Habel, A., Heckel, R., & Taentzer, G. (1996). Graph Grammars with Negative
Application Conditions. Fundamenta Informaticae, 26(3,4), 287–313.
bibtex: '@article{Habel_Heckel_Taentzer_1996, title={Graph Grammars with Negative
Application Conditions}, volume={26}, number={3,4}, journal={Fundamenta Informaticae},
author={Habel, Annegret and Heckel, Reiko and Taentzer, Gabriele}, year={1996},
pages={287–313} }'
chicago: 'Habel, Annegret, Reiko Heckel, and Gabriele Taentzer. “Graph Grammars
with Negative Application Conditions.” Fundamenta Informaticae 26, no.
3,4 (1996): 287–313.'
ieee: A. Habel, R. Heckel, and G. Taentzer, “Graph Grammars with Negative Application
Conditions,” Fundamenta Informaticae, vol. 26, no. 3,4, pp. 287–313, 1996.
mla: Habel, Annegret, et al. “Graph Grammars with Negative Application Conditions.”
Fundamenta Informaticae, vol. 26, no. 3,4, 1996, pp. 287–313.
short: A. Habel, R. Heckel, G. Taentzer, Fundamenta Informaticae 26 (1996) 287–313.
date_created: 2019-01-31T15:50:33Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 26'
issue: 3,4
language:
- iso: eng
page: 287-313
publication: Fundamenta Informaticae
status: public
title: Graph Grammars with Negative Application Conditions
type: journal_article
user_id: '52534'
volume: 26
year: '1996'
...
---
_id: '7405'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Andrea
full_name: Corradini, Andrea
last_name: Corradini
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Michael
full_name: Löwe, Michael
last_name: Löwe
citation:
ama: Heckel R, Corradini A, Ehrig H, Löwe M. Horizontal and Vertical Structuring
of Typed Graph Transformation Systems. Mathematical Structures in Computer
Science. 1996;6(6):613-648.
apa: Heckel, R., Corradini, A., Ehrig, H., & Löwe, M. (1996). Horizontal and
Vertical Structuring of Typed Graph Transformation Systems. Mathematical Structures
in Computer Science, 6(6), 613–648.
bibtex: '@article{Heckel_Corradini_Ehrig_Löwe_1996, title={Horizontal and Vertical
Structuring of Typed Graph Transformation Systems}, volume={6}, number={6}, journal={Mathematical
Structures in Computer Science}, author={Heckel, Reiko and Corradini, Andrea and
Ehrig, Hartmut and Löwe, Michael}, year={1996}, pages={613–648} }'
chicago: 'Heckel, Reiko, Andrea Corradini, Hartmut Ehrig, and Michael Löwe. “Horizontal
and Vertical Structuring of Typed Graph Transformation Systems.” Mathematical
Structures in Computer Science 6, no. 6 (1996): 613–48.'
ieee: R. Heckel, A. Corradini, H. Ehrig, and M. Löwe, “Horizontal and Vertical Structuring
of Typed Graph Transformation Systems,” Mathematical Structures in Computer
Science, vol. 6, no. 6, pp. 613–648, 1996.
mla: Heckel, Reiko, et al. “Horizontal and Vertical Structuring of Typed Graph Transformation
Systems.” Mathematical Structures in Computer Science, vol. 6, no. 6, 1996,
pp. 613–48.
short: R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Mathematical Structures in Computer
Science 6 (1996) 613–648.
date_created: 2019-01-31T15:51:05Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 6'
issue: '6'
language:
- iso: eng
page: 613-648
publication: Mathematical Structures in Computer Science
status: public
title: Horizontal and Vertical Structuring of Typed Graph Transformation Systems
type: journal_article
user_id: '52534'
volume: 6
year: '1996'
...
---
_id: '7406'
abstract:
- lang: eng
text: We present the hybrid query language HQL/EER for an Extended Entity-Relationship
model. As its main characteristic, this language allows a user to usebothgraphical
and textual elements in the formulation of one and the same query. We demonstrate
the look-and-feel of this query language by means of examples, and show how syntax
and semantics of this language are formally defined using programmed graph rewriting
systems. Although we present the language in the context of the EER model, the
concept of hybrid languages is applicable in the context of other database models
as well. We illustrate this claim by discussing a prototype implementation of
a Hybrid Query Tool based on an object-oriented approach, namely the Object Modeling
Technique (OMT).
author:
- first_name: Marc
full_name: Andries, Marc
last_name: Andries
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: Andries M, Engels G. A Hybrid Query Language for the Extended Entity Relationship
Model. Journal of Visual Languages and Computing. 1996;7(3):321-352. doi:http://dx.doi.org/10.1006/jvlc.1996.0017
apa: Andries, M., & Engels, G. (1996). A Hybrid Query Language for the Extended
Entity Relationship Model. Journal of Visual Languages and Computing, 7(3),
321–352. http://dx.doi.org/10.1006/jvlc.1996.0017
bibtex: '@article{Andries_Engels_1996, title={A Hybrid Query Language for the Extended
Entity Relationship Model}, volume={7}, DOI={http://dx.doi.org/10.1006/jvlc.1996.0017},
number={3}, journal={Journal of Visual Languages and Computing}, author={Andries,
Marc and Engels, Gregor}, year={1996}, pages={321–352} }'
chicago: 'Andries, Marc, and Gregor Engels. “A Hybrid Query Language for the Extended
Entity Relationship Model.” Journal of Visual Languages and Computing 7,
no. 3 (1996): 321–52. http://dx.doi.org/10.1006/jvlc.1996.0017.'
ieee: M. Andries and G. Engels, “A Hybrid Query Language for the Extended Entity
Relationship Model,” Journal of Visual Languages and Computing, vol. 7,
no. 3, pp. 321–352, 1996.
mla: Andries, Marc, and Gregor Engels. “A Hybrid Query Language for the Extended
Entity Relationship Model.” Journal of Visual Languages and Computing,
vol. 7, no. 3, 1996, pp. 321–52, doi:http://dx.doi.org/10.1006/jvlc.1996.0017.
short: M. Andries, G. Engels, Journal of Visual Languages and Computing 7 (1996)
321–352.
date_created: 2019-01-31T15:51:35Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1006/jvlc.1996.0017
intvolume: ' 7'
issue: '3'
language:
- iso: eng
page: 321-352
publication: Journal of Visual Languages and Computing
status: public
title: A Hybrid Query Language for the Extended Entity Relationship Model
type: journal_article
user_id: '52534'
volume: 7
year: '1996'
...
---
_id: '7514'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Manfred
full_name: Nagl, Manfred
last_name: Nagl
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Bernhard
full_name: Westfechtel, Bernhard
last_name: Westfechtel
citation:
ama: 'Engels G, Nagl M, Schäfer W, Westfechtel B. Tight Integration on One Document:
The Programming Environment. In: Building Tightly Integrated Software Development
Environments: The IPSEN Approach. Vol 1170. LNCS. Berlin/Heidelberg: Springer;
1996:170-177.'
apa: 'Engels, G., Nagl, M., Schäfer, W., & Westfechtel, B. (1996). Tight Integration
on One Document: The Programming Environment. In Building Tightly Integrated
Software Development Environments: The IPSEN Approach (Vol. 1170, pp. 170–177).
Berlin/Heidelberg: Springer.'
bibtex: '@inbook{Engels_Nagl_Schäfer_Westfechtel_1996, place={Berlin/Heidelberg},
series={LNCS}, title={Tight Integration on One Document: The Programming Environment},
volume={1170}, booktitle={Building Tightly Integrated Software Development Environments:
The IPSEN Approach}, publisher={Springer}, author={Engels, Gregor and Nagl, Manfred
and Schäfer, Wilhelm and Westfechtel, Bernhard}, year={1996}, pages={170–177},
collection={LNCS} }'
chicago: 'Engels, Gregor, Manfred Nagl, Wilhelm Schäfer, and Bernhard Westfechtel.
“Tight Integration on One Document: The Programming Environment.” In Building
Tightly Integrated Software Development Environments: The IPSEN Approach,
1170:170–77. LNCS. Berlin/Heidelberg: Springer, 1996.'
ieee: 'G. Engels, M. Nagl, W. Schäfer, and B. Westfechtel, “Tight Integration on
One Document: The Programming Environment,” in Building Tightly Integrated
Software Development Environments: The IPSEN Approach, vol. 1170, Berlin/Heidelberg:
Springer, 1996, pp. 170–177.'
mla: 'Engels, Gregor, et al. “Tight Integration on One Document: The Programming
Environment.” Building Tightly Integrated Software Development Environments:
The IPSEN Approach, vol. 1170, Springer, 1996, pp. 170–77.'
short: 'G. Engels, M. Nagl, W. Schäfer, B. Westfechtel, in: Building Tightly Integrated
Software Development Environments: The IPSEN Approach, Springer, Berlin/Heidelberg,
1996, pp. 170–177.'
date_created: 2019-02-04T22:40:52Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
intvolume: ' 1170'
language:
- iso: eng
page: 170-177
place: Berlin/Heidelberg
publication: 'Building Tightly Integrated Software Development Environments: The IPSEN
Approach'
publisher: Springer
series_title: LNCS
status: public
title: 'Tight Integration on One Document: The Programming Environment'
type: book_chapter
user_id: '52534'
volume: 1170
year: '1996'
...
---
_id: '7831'
abstract:
- lang: eng
text: We present a combination of recent extensions to single-pushout graph transformations,
as there are attribution, application conditions and amalgamated graph transformations
and add a simple transaction concept on top of this formalism. Thereby, we provide
the formal basis for several examples, where these concepts are used in combination.
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Jürgen
full_name: Müller, Jürgen
last_name: Müller
- first_name: Gabriele
full_name: Taentzer, Gabriele
last_name: Taentzer
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: 'Heckel R, Müller J, Taentzer G, Wagner A. Attributed Graph Transformations
with Controlled Application of Rules. In: Proceedings of the Colloquium on
Graph Transformation and Its Application in Computer Science. Technical Report.
Universitat de les Illes Balears; 1995.'
apa: Heckel, R., Müller, J., Taentzer, G., & Wagner, A. (1995). Attributed Graph
Transformations with Controlled Application of Rules. In Proceedings of the
Colloquium on Graph Transformation and its Application in Computer Science.
Universitat de les Illes Balears.
bibtex: '@inproceedings{Heckel_Müller_Taentzer_Wagner_1995, series={Technical Report},
title={Attributed Graph Transformations with Controlled Application of Rules},
number={B-19}, booktitle={Proceedings of the Colloquium on Graph Transformation
and its Application in Computer Science}, publisher={Universitat de les Illes
Balears}, author={Heckel, Reiko and Müller, Jürgen and Taentzer, Gabriele and
Wagner, Annika}, year={1995}, collection={Technical Report} }'
chicago: Heckel, Reiko, Jürgen Müller, Gabriele Taentzer, and Annika Wagner. “Attributed
Graph Transformations with Controlled Application of Rules.” In Proceedings
of the Colloquium on Graph Transformation and Its Application in Computer Science.
Technical Report. Universitat de les Illes Balears, 1995.
ieee: R. Heckel, J. Müller, G. Taentzer, and A. Wagner, “Attributed Graph Transformations
with Controlled Application of Rules,” in Proceedings of the Colloquium on
Graph Transformation and its Application in Computer Science, 1995, no. B-19.
mla: Heckel, Reiko, et al. “Attributed Graph Transformations with Controlled Application
of Rules.” Proceedings of the Colloquium on Graph Transformation and Its Application
in Computer Science, no. B-19, Universitat de les Illes Balears, 1995.
short: 'R. Heckel, J. Müller, G. Taentzer, A. Wagner, in: Proceedings of the Colloquium
on Graph Transformation and Its Application in Computer Science, Universitat de
les Illes Balears, 1995.'
date_created: 2019-02-20T13:59:38Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
issue: B-19
language:
- iso: eng
publication: Proceedings of the Colloquium on Graph Transformation and its Application
in Computer Science
publisher: Universitat de les Illes Balears
series_title: Technical Report
status: public
title: Attributed Graph Transformations with Controlled Application of Rules
type: conference
user_id: '52534'
year: '1995'
...
---
_id: '7832'
author:
- first_name: Wilfried
full_name: Thoben, Wilfried
last_name: Thoben
- first_name: Hans-Jürgen
full_name: Appelrath, Hans-Jürgen
last_name: Appelrath
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Thoben W, Appelrath H-J, Sauer S. Record Linkage of Anonymous Data by Control
Numbers. In: Proceedings of the 18th Annual Conference of the Gesellschaft
Für Klassifikation, Oldenburg (Germany). Studies in Classification, Data Analysis,
and Knowledge Organization. Berlin/Heidelberg: Springer; 1995:412-419.'
apa: 'Thoben, W., Appelrath, H.-J., & Sauer, S. (1995). Record Linkage of Anonymous
Data by Control Numbers. In Proceedings of the 18th Annual Conference of the
Gesellschaft für Klassifikation, Oldenburg (Germany) (pp. 412–419). Berlin/Heidelberg:
Springer.'
bibtex: '@inproceedings{Thoben_Appelrath_Sauer_1995, place={Berlin/Heidelberg},
series={Studies in Classification, Data Analysis, and Knowledge Organization},
title={Record Linkage of Anonymous Data by Control Numbers}, booktitle={Proceedings
of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg
(Germany)}, publisher={Springer}, author={Thoben, Wilfried and Appelrath, Hans-Jürgen
and Sauer, Stefan}, year={1995}, pages={412–419}, collection={Studies in Classification,
Data Analysis, and Knowledge Organization} }'
chicago: 'Thoben, Wilfried, Hans-Jürgen Appelrath, and Stefan Sauer. “Record Linkage
of Anonymous Data by Control Numbers.” In Proceedings of the 18th Annual Conference
of the Gesellschaft Für Klassifikation, Oldenburg (Germany), 412–19. Studies
in Classification, Data Analysis, and Knowledge Organization. Berlin/Heidelberg:
Springer, 1995.'
ieee: W. Thoben, H.-J. Appelrath, and S. Sauer, “Record Linkage of Anonymous Data
by Control Numbers,” in Proceedings of the 18th Annual Conference of the Gesellschaft
für Klassifikation, Oldenburg (Germany), 1995, pp. 412–419.
mla: Thoben, Wilfried, et al. “Record Linkage of Anonymous Data by Control Numbers.”
Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation,
Oldenburg (Germany), Springer, 1995, pp. 412–19.
short: 'W. Thoben, H.-J. Appelrath, S. Sauer, in: Proceedings of the 18th Annual
Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany), Springer,
Berlin/Heidelberg, 1995, pp. 412–419.'
date_created: 2019-02-20T14:00:22Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
language:
- iso: eng
page: 412-419
place: Berlin/Heidelberg
publication: Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation,
Oldenburg (Germany)
publisher: Springer
series_title: Studies in Classification, Data Analysis, and Knowledge Organization
status: public
title: Record Linkage of Anonymous Data by Control Numbers
type: conference
user_id: '52534'
year: '1995'
...
---
_id: '7833'
abstract:
- lang: eng
text: Single pushout graph transformations at injective matches are extended by
negative application conditions. It is shown, how right-sided application conditions
can be transformed into equivalent left-sided ones. Based on this result, conditional
derived rules are introduced and a theorem, similiar to the double pushout embedding
theorem is shown. Finally, three variants of contextual application conditions
are discussed with respect to their expressive power and expected results.
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Heckel R. Embedding of Conditional Graph Transformations. In: Proceedings
of the Colloquium on Graph Transformation and Its Application in Computer Science.
Technical Report. Universitat de les Illes Balears; 1995.'
apa: Heckel, R. (1995). Embedding of Conditional Graph Transformations. In Proceedings
of the Colloquium on Graph Transformation and its Application in Computer Science.
Universitat de les Illes Balears.
bibtex: '@inproceedings{Heckel_1995, series={Technical Report}, title={Embedding
of Conditional Graph Transformations}, number={B-19}, booktitle={Proceedings of
the Colloquium on Graph Transformation and its Application in Computer Science},
publisher={Universitat de les Illes Balears}, author={Heckel, Reiko}, year={1995},
collection={Technical Report} }'
chicago: Heckel, Reiko. “Embedding of Conditional Graph Transformations.” In Proceedings
of the Colloquium on Graph Transformation and Its Application in Computer Science.
Technical Report. Universitat de les Illes Balears, 1995.
ieee: R. Heckel, “Embedding of Conditional Graph Transformations,” in Proceedings
of the Colloquium on Graph Transformation and its Application in Computer Science,
1995, no. B-19.
mla: Heckel, Reiko. “Embedding of Conditional Graph Transformations.” Proceedings
of the Colloquium on Graph Transformation and Its Application in Computer Science,
no. B-19, Universitat de les Illes Balears, 1995.
short: 'R. Heckel, in: Proceedings of the Colloquium on Graph Transformation and
Its Application in Computer Science, Universitat de les Illes Balears, 1995.'
date_created: 2019-02-20T14:01:39Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
issue: B-19
language:
- iso: eng
publication: Proceedings of the Colloquium on Graph Transformation and its Application
in Computer Science
publisher: Universitat de les Illes Balears
series_title: Technical Report
status: public
title: Embedding of Conditional Graph Transformations
type: conference
user_id: '52534'
year: '1995'
...
---
_id: '8194'
author:
- first_name: Mirko
full_name: Conrad, Mirko
last_name: Conrad
- first_name: Magdalena
full_name: Gajewsky, Magdalena
last_name: Gajewsky
- first_name: Rainer
full_name: Holl-Biniasz, Rainer
last_name: Holl-Biniasz
- first_name: Michael
full_name: Rudolf, Michael
last_name: Rudolf
- first_name: Jochen
full_name: Demuth, Jochen
last_name: Demuth
- first_name: Stephan
full_name: Weber, Stephan
last_name: Weber
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Jürgen
full_name: Müller, Jürgen
last_name: Müller
- first_name: Gabriele
full_name: Taentzer, Gabriele
last_name: Taentzer
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: Conrad M, Gajewsky M, Holl-Biniasz R, et al. Graphische Spezifikation Ausgewählter
Teile von AGG - Einem Algebraischen Graphgrammatiksystem.; 1995.
apa: Conrad, M., Gajewsky, M., Holl-Biniasz, R., Rudolf, M., Demuth, J., Weber,
S., … Wagner, A. (1995). Graphische Spezifikation ausgewählter Teile von AGG
- einem algebraischen Graphgrammatiksystem.
bibtex: '@book{Conrad_Gajewsky_Holl-Biniasz_Rudolf_Demuth_Weber_Heckel_Müller_Taentzer_Wagner_1995,
title={Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen
Graphgrammatiksystem}, author={Conrad, Mirko and Gajewsky, Magdalena and Holl-Biniasz,
Rainer and Rudolf, Michael and Demuth, Jochen and Weber, Stephan and Heckel, Reiko
and Müller, Jürgen and Taentzer, Gabriele and Wagner, Annika}, year={1995} }'
chicago: Conrad, Mirko, Magdalena Gajewsky, Rainer Holl-Biniasz, Michael Rudolf,
Jochen Demuth, Stephan Weber, Reiko Heckel, Jürgen Müller, Gabriele Taentzer,
and Annika Wagner. Graphische Spezifikation Ausgewählter Teile von AGG - Einem
Algebraischen Graphgrammatiksystem, 1995.
ieee: M. Conrad et al., Graphische Spezifikation ausgewählter Teile von
AGG - einem algebraischen Graphgrammatiksystem. 1995.
mla: Conrad, Mirko, et al. Graphische Spezifikation Ausgewählter Teile von AGG
- Einem Algebraischen Graphgrammatiksystem. 1995.
short: M. Conrad, M. Gajewsky, R. Holl-Biniasz, M. Rudolf, J. Demuth, S. Weber,
R. Heckel, J. Müller, G. Taentzer, A. Wagner, Graphische Spezifikation Ausgewählter
Teile von AGG - Einem Algebraischen Graphgrammatiksystem, 1995.
date_created: 2019-03-03T16:12:49Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem
type: report
user_id: '52534'
year: '1995'
...
---
_id: '8195'
abstract:
- lang: eng
text: Several object-oriented modeling approaches propose to describe the dynamic
behaviour of objects by state transition diagrams. None of them provides precise
rules or conditions for the interrelation between the behaviour description of
classes and those of their subclasses. In this paper, we discuss this interrelation
in detail. It turns out that one has to distinguish between the observable and
the invocable behaviour of objects and that different compatibility requirements
between the diagrams exist depending on the type of behaviour.
author:
- first_name: Jürgen
full_name: Ebert, Jürgen
last_name: Ebert
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Ebert J, Engels G. Specialization of Object Life Cycle Definitions.
Koblenz: University of Koblenz-Landau; 1995.'
apa: 'Ebert, J., & Engels, G. (1995). Specialization of Object Life Cycle
Definitions. Koblenz: University of Koblenz-Landau.'
bibtex: '@book{Ebert_Engels_1995, place={Koblenz}, title={Specialization of Object
Life Cycle Definitions}, publisher={University of Koblenz-Landau}, author={Ebert,
Jürgen and Engels, Gregor}, year={1995} }'
chicago: 'Ebert, Jürgen, and Gregor Engels. Specialization of Object Life Cycle
Definitions. Koblenz: University of Koblenz-Landau, 1995.'
ieee: 'J. Ebert and G. Engels, Specialization of Object Life Cycle Definitions.
Koblenz: University of Koblenz-Landau, 1995.'
mla: Ebert, Jürgen, and Gregor Engels. Specialization of Object Life Cycle Definitions.
University of Koblenz-Landau, 1995.
short: J. Ebert, G. Engels, Specialization of Object Life Cycle Definitions, University
of Koblenz-Landau, Koblenz, 1995.
date_created: 2019-03-03T16:12:50Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
place: Koblenz
publisher: University of Koblenz-Landau
report_number: 19/95
status: public
title: Specialization of Object Life Cycle Definitions
type: report
user_id: '52534'
year: '1995'
...
---
_id: '8196'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Andy
full_name: Schürr, Andy
last_name: Schürr
citation:
ama: Engels G, Schürr A. Encapsulated Hierarchical Graphs, Graph Types, and Meta
Types. Vakgroep Informatica, Rijksuniversiteit Leiden; 1995.
apa: Engels, G., & Schürr, A. (1995). Encapsulated Hierarchical Graphs, Graph
Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden.
bibtex: '@book{Engels_Schürr_1995, title={Encapsulated Hierarchical Graphs, Graph
Types, and Meta Types}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden},
author={Engels, Gregor and Schürr, Andy}, year={1995} }'
chicago: Engels, Gregor, and Andy Schürr. Encapsulated Hierarchical Graphs, Graph
Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
ieee: G. Engels and A. Schürr, Encapsulated Hierarchical Graphs, Graph Types,
and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
mla: Engels, Gregor, and Andy Schürr. Encapsulated Hierarchical Graphs, Graph
Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
short: G. Engels, A. Schürr, Encapsulated Hierarchical Graphs, Graph Types, and
Meta Types, Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
date_created: 2019-03-03T16:12:51Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: Vakgroep Informatica, Rijksuniversiteit Leiden
report_number: 95-21
status: public
title: Encapsulated Hierarchical Graphs, Graph Types, and Meta Types
type: report
user_id: '52534'
year: '1995'
...
---
_id: '8266'
author:
- first_name: Luuk
full_name: Groenewegen, Luuk
last_name: Groenewegen
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Groenewegen L, Engels G. Coordination by Behavioural Views and Communication
Patterns. In: Proceedings of the 4th European Workshop on Software Process
Technology (EWSPT 1995), Noordwijkerhout (The Netherlands). Vol 913. LNCS.
Berlin/Heidelberg: Springer; 1995:189-192. doi:http://dx.doi.org/10.1007/3-540-59205-9_56'
apa: 'Groenewegen, L., & Engels, G. (1995). Coordination by Behavioural Views
and Communication Patterns. In Proceedings of the 4th European Workshop on
Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands)
(Vol. 913, pp. 189–192). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-59205-9_56'
bibtex: '@inproceedings{Groenewegen_Engels_1995, place={Berlin/Heidelberg}, series={LNCS},
title={Coordination by Behavioural Views and Communication Patterns}, volume={913},
DOI={http://dx.doi.org/10.1007/3-540-59205-9_56},
booktitle={Proceedings of the 4th European Workshop on Software Process Technology
(EWSPT 1995), Noordwijkerhout (The Netherlands)}, publisher={Springer}, author={Groenewegen,
Luuk and Engels, Gregor}, year={1995}, pages={189–192}, collection={LNCS} }'
chicago: 'Groenewegen, Luuk, and Gregor Engels. “Coordination by Behavioural Views
and Communication Patterns.” In Proceedings of the 4th European Workshop on
Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands),
913:189–92. LNCS. Berlin/Heidelberg: Springer, 1995. http://dx.doi.org/10.1007/3-540-59205-9_56.'
ieee: L. Groenewegen and G. Engels, “Coordination by Behavioural Views and Communication
Patterns,” in Proceedings of the 4th European Workshop on Software Process
Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), 1995, vol. 913,
pp. 189–192.
mla: Groenewegen, Luuk, and Gregor Engels. “Coordination by Behavioural Views and
Communication Patterns.” Proceedings of the 4th European Workshop on Software
Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), vol. 913,
Springer, 1995, pp. 189–92, doi:http://dx.doi.org/10.1007/3-540-59205-9_56.
short: 'L. Groenewegen, G. Engels, in: Proceedings of the 4th European Workshop
on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands),
Springer, Berlin/Heidelberg, 1995, pp. 189–192.'
date_created: 2019-03-04T11:52:17Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/3-540-59205-9_56
intvolume: ' 913'
language:
- iso: eng
page: 189-192
place: Berlin/Heidelberg
publication: Proceedings of the 4th European Workshop on Software Process Technology
(EWSPT 1995), Noordwijkerhout (The Netherlands)
publisher: Springer
series_title: LNCS
status: public
title: Coordination by Behavioural Views and Communication Patterns
type: conference
user_id: '52534'
volume: 913
year: '1995'
...
---
_id: '8267'
abstract:
- lang: eng
text: Based on a categorical semantics that has been developed for typed graph grammars
we uses colimits (pushouts) to model composition and (reverse) graph grammar morphisms
to describe refinements of typed graph grammars. Composition of graph grammars
w.r.t. common subgrammars is shown to be compatible with the semantics, i.e. the
semantics of the composed grammar is obtained as the composition of the semantics
of the component grammars. Moreover, the structure of a composed grammar is preserved
during a refinement step in the sense that compatible refinements of the components
induce a refinement of the composition. The concepts and results are illustrated
by an example.
author:
- first_name: Andrea
full_name: Corradini, Andrea
last_name: Corradini
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Corradini A, Heckel R. A Compositional Approach to Structuring and Refinement
of Typed Graph Grammars. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy).
Vol 2. Electronic Notes in Theoretical Computer Science . Elsevier; 1995:46-55.'
apa: Corradini, A., & Heckel, R. (1995). A Compositional Approach to Structuring
and Refinement of Typed Graph Grammars. In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)
(Vol. 2, pp. 46–55). Elsevier.
bibtex: '@inproceedings{Corradini_Heckel_1995, series={Electronic Notes in Theoretical
Computer Science }, title={A Compositional Approach to Structuring and Refinement
of Typed Graph Grammars}, volume={2}, booktitle={Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)},
publisher={Elsevier}, author={Corradini, Andrea and Heckel, Reiko}, year={1995},
pages={46–55}, collection={Electronic Notes in Theoretical Computer Science }
}'
chicago: Corradini, Andrea, and Reiko Heckel. “A Compositional Approach to Structuring
and Refinement of Typed Graph Grammars.” In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy),
2:46–55. Electronic Notes in Theoretical Computer Science . Elsevier, 1995.
ieee: A. Corradini and R. Heckel, “A Compositional Approach to Structuring and Refinement
of Typed Graph Grammars,” in Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy),
1995, vol. 2, pp. 46–55.
mla: Corradini, Andrea, and Reiko Heckel. “A Compositional Approach to Structuring
and Refinement of Typed Graph Grammars.” Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy),
vol. 2, Elsevier, 1995, pp. 46–55.
short: 'A. Corradini, R. Heckel, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy),
Elsevier, 1995, pp. 46–55.'
date_created: 2019-03-04T11:52:18Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
intvolume: ' 2'
language:
- iso: eng
page: 46-55
publication: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting
and Computation (SEGRAGRA 1995), Volterra (Italy)
publisher: Elsevier
series_title: 'Electronic Notes in Theoretical Computer Science '
status: public
title: A Compositional Approach to Structuring and Refinement of Typed Graph Grammars
type: conference
user_id: '52534'
volume: 2
year: '1995'
...
---
_id: '8268'
abstract:
- lang: eng
text: The overall aim of this paper is a proposal how to bridge the gap between
formal specification techniques developed in research projects and semi--formal
or informal specifications used in industrial practice. The main idea to overcome
these problems is to develop graphical support for formal methods in order to
increase acceptance by practitioners and to provide means for integration of formal
and semi--formal methods. More specifically suitable concepts will be developed
to combine algebraic specifications, Petri Nets, and Graph Grammars with each
other and with distinguished graphical components to be used by industrial partners.
author:
- first_name: Bernhard
full_name: Bardohl, Bernhard
last_name: Bardohl
- first_name: Roswitha
full_name: Bardohl, Roswitha
last_name: Bardohl
- first_name: Paulo
full_name: Castro, Paulo
last_name: Castro
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Leila
full_name: Ribeiro, Leila
last_name: Ribeiro
- first_name: Daltro
full_name: Nunes, Daltro
last_name: Nunes
- first_name: Alfio
full_name: Martini, Alfio
last_name: Martini
citation:
ama: 'Bardohl B, Bardohl R, Castro P, et al. GRAPHIT: Graphical Support and Integration
of Formal and Semiformal Methods for Software Specification and Development. In:
Proceedings of the 3rd German-Brazilian Workshop on Information Technology
(1995), Berlin (Germany). Vol 26. Bilateral Seminars of the International
Bureau. Forschungszentrum Jülich GmbH; 1995.'
apa: 'Bardohl, B., Bardohl, R., Castro, P., Ehrig, H., Heckel, R., Ribeiro, L.,
… Martini, A. (1995). GRAPHIT: Graphical Support and Integration of Formal and
Semiformal Methods for Software Specification and Development. In Proceedings
of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin
(Germany) (Vol. 26). Forschungszentrum Jülich GmbH.'
bibtex: '@inproceedings{Bardohl_Bardohl_Castro_Ehrig_Heckel_Ribeiro_Nunes_Martini_1995,
series={Bilateral Seminars of the International Bureau}, title={GRAPHIT: Graphical
Support and Integration of Formal and Semiformal Methods for Software Specification
and Development}, volume={26}, booktitle={Proceedings of the 3rd German-Brazilian
Workshop on Information Technology (1995), Berlin (Germany)}, publisher={Forschungszentrum
Jülich GmbH}, author={Bardohl, Bernhard and Bardohl, Roswitha and Castro, Paulo
and Ehrig, Hartmut and Heckel, Reiko and Ribeiro, Leila and Nunes, Daltro and
Martini, Alfio}, year={1995}, collection={Bilateral Seminars of the International
Bureau} }'
chicago: 'Bardohl, Bernhard, Roswitha Bardohl, Paulo Castro, Hartmut Ehrig, Reiko
Heckel, Leila Ribeiro, Daltro Nunes, and Alfio Martini. “GRAPHIT: Graphical Support
and Integration of Formal and Semiformal Methods for Software Specification and
Development.” In Proceedings of the 3rd German-Brazilian Workshop on Information
Technology (1995), Berlin (Germany), Vol. 26. Bilateral Seminars of the International
Bureau. Forschungszentrum Jülich GmbH, 1995.'
ieee: 'B. Bardohl et al., “GRAPHIT: Graphical Support and Integration of
Formal and Semiformal Methods for Software Specification and Development,” in
Proceedings of the 3rd German-Brazilian Workshop on Information Technology
(1995), Berlin (Germany), 1995, vol. 26.'
mla: 'Bardohl, Bernhard, et al. “GRAPHIT: Graphical Support and Integration of Formal
and Semiformal Methods for Software Specification and Development.” Proceedings
of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin
(Germany), vol. 26, Forschungszentrum Jülich GmbH, 1995.'
short: 'B. Bardohl, R. Bardohl, P. Castro, H. Ehrig, R. Heckel, L. Ribeiro, D. Nunes,
A. Martini, in: Proceedings of the 3rd German-Brazilian Workshop on Information
Technology (1995), Berlin (Germany), Forschungszentrum Jülich GmbH, 1995.'
date_created: 2019-03-04T11:52:19Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
intvolume: ' 26'
language:
- iso: eng
publication: Proceedings of the 3rd German-Brazilian Workshop on Information Technology
(1995), Berlin (Germany)
publisher: Forschungszentrum Jülich GmbH
series_title: Bilateral Seminars of the International Bureau
status: public
title: 'GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods
for Software Specification and Development'
type: conference
user_id: '52534'
volume: 26
year: '1995'
...
---
_id: '8269'
abstract:
- lang: eng
text: Currently existing graph grammar-based specification languages have serious
problems with supporting any kind of “specification-in-the-large” activities.
More precisely, they have deficiencies with respect to modeling hierarchical data
structures or specifying meta activities like manipulation of graph schemata.
Furthermore, already proposed graph grammar module concepts are still too abstract
to be useful in practice. Our contribution addresses these problems by introducing
a new hierarchical graph data model with an infinite number of schema, meta-schema,
etc. layers. It forms the base for a forthcoming concrete modular graph grammar
specification language where in addition information hiding aspects like explicit
export and import interfaces are expressible.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Andy
full_name: Schürr, Andy
last_name: Schürr
citation:
ama: 'Engels G, Schürr A. Encapsulated Hierarchical Graphs, Graph Types, and Meta
Types. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph
Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Electronic Notes
in Theoretical Computer Science. Amsterdam, The Netherlands: Elsevier; 1995:101-109.
doi:http://dx.doi.org/10.1016/S1571-0661(05)80186-0'
apa: 'Engels, G., & Schürr, A. (1995). Encapsulated Hierarchical Graphs, Graph
Types, and Meta Types. In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop
on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy) (pp.
101–109). Amsterdam, The Netherlands: Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80186-0'
bibtex: '@inproceedings{Engels_Schürr_1995, place={Amsterdam, The Netherlands},
series={Electronic Notes in Theoretical Computer Science}, title={Encapsulated
Hierarchical Graphs, Graph Types, and Meta Types}, DOI={http://dx.doi.org/10.1016/S1571-0661(05)80186-0},
booktitle={Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting
and Computation (SEGRAGRA 1995), Volterra (Italy)}, publisher={Elsevier}, author={Engels,
Gregor and Schürr, Andy}, year={1995}, pages={101–109}, collection={Electronic
Notes in Theoretical Computer Science} }'
chicago: 'Engels, Gregor, and Andy Schürr. “Encapsulated Hierarchical Graphs, Graph
Types, and Meta Types.” In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop
on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), 101–9.
Electronic Notes in Theoretical Computer Science. Amsterdam, The Netherlands:
Elsevier, 1995. http://dx.doi.org/10.1016/S1571-0661(05)80186-0.'
ieee: G. Engels and A. Schürr, “Encapsulated Hierarchical Graphs, Graph Types, and
Meta Types,” in Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph
Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), 1995, pp. 101–109.
mla: Engels, Gregor, and Andy Schürr. “Encapsulated Hierarchical Graphs, Graph Types,
and Meta Types.” Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on
Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier,
1995, pp. 101–09, doi:http://dx.doi.org/10.1016/S1571-0661(05)80186-0.
short: 'G. Engels, A. Schürr, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy),
Elsevier, Amsterdam, The Netherlands, 1995, pp. 101–109.'
date_created: 2019-03-04T11:52:20Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/S1571-0661(05)80186-0
language:
- iso: eng
page: 101-109
place: Amsterdam, The Netherlands
publication: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting
and Computation (SEGRAGRA 1995), Volterra (Italy)
publisher: Elsevier
series_title: Electronic Notes in Theoretical Computer Science
status: public
title: Encapsulated Hierarchical Graphs, Graph Types, and Meta Types
type: conference
user_id: '52534'
year: '1995'
...
---
_id: '8270'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: 'Heckel R, Wagner A. Ensuring Consistency of Conditional Graph Grammars - A
constructive Approach. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop
on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Vol
2. Electronic Notes in Theoretical Computer Science. Elsevier; 1995:118-126. doi:http://dx.doi.org/10.1016/S1571-0661(05)80188-4'
apa: Heckel, R., & Wagner, A. (1995). Ensuring Consistency of Conditional Graph
Grammars - A constructive Approach. In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)
(Vol. 2, pp. 118–126). Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80188-4
bibtex: '@inproceedings{Heckel_Wagner_1995, series={Electronic Notes in Theoretical
Computer Science}, title={Ensuring Consistency of Conditional Graph Grammars -
A constructive Approach}, volume={2}, DOI={http://dx.doi.org/10.1016/S1571-0661(05)80188-4},
booktitle={Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting
and Computation (SEGRAGRA 1995), Volterra (Italy)}, publisher={Elsevier}, author={Heckel,
Reiko and Wagner, Annika}, year={1995}, pages={118–126}, collection={Electronic
Notes in Theoretical Computer Science} }'
chicago: Heckel, Reiko, and Annika Wagner. “Ensuring Consistency of Conditional
Graph Grammars - A Constructive Approach.” In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy),
2:118–26. Electronic Notes in Theoretical Computer Science. Elsevier, 1995. http://dx.doi.org/10.1016/S1571-0661(05)80188-4.
ieee: R. Heckel and A. Wagner, “Ensuring Consistency of Conditional Graph Grammars
- A constructive Approach,” in Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy),
1995, vol. 2, pp. 118–126.
mla: Heckel, Reiko, and Annika Wagner. “Ensuring Consistency of Conditional Graph
Grammars - A Constructive Approach.” Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy),
vol. 2, Elsevier, 1995, pp. 118–26, doi:http://dx.doi.org/10.1016/S1571-0661(05)80188-4.
short: 'R. Heckel, A. Wagner, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH
Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy),
Elsevier, 1995, pp. 118–126.'
date_created: 2019-03-04T11:52:21Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/S1571-0661(05)80188-4
intvolume: ' 2'
language:
- iso: eng
page: 118-126
publication: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting
and Computation (SEGRAGRA 1995), Volterra (Italy)
publisher: Elsevier
series_title: Electronic Notes in Theoretical Computer Science
status: public
title: Ensuring Consistency of Conditional Graph Grammars - A constructive Approach
type: conference
user_id: '52534'
volume: 2
year: '1995'
...