---
_id: '18566'
abstract:
- lang: eng
text: "We analyze a randomized pursuit-evasion game on graphs. This game is played
by two players, a hunter and a rabbit. Let G be any connected, undirected graph
with n nodes. The game is played in rounds and in each round both the hunter and
the rabbit are located at a node of the graph. Between rounds both the hunter
and the rabbit can stay at the current node or move to another node. The hunter
is assumed to be restricted to the graph G: in every round, the hunter can move
using at most one edge. For the rabbit we investigate two models: in one model
the rabbit is restricted to the same graph as the hunter, and in the other model
the rabbit is unrestricted, i.e., it can jump to an arbitrary node in every round.\r\n\r\nWe
say that the rabbit is caught as soon as hunter and rabbit are located at the
same node in a round. The goal of the hunter is to catch the rabbit in as few
rounds as possible, whereas the rabbit aims to maximize the number of rounds until
it is caught. Given a randomized hunter strategy for G, the escape length for
that strategy is the worst case expected number of rounds it takes the hunter
to catch the rabbit, where the worst case is with regards to all (possibly randomized)
rabbit strategies. Our main result is a hunter strategy for general graphs with
an escape length of only O\r\n(n log (diam(G))) against restricted as well as
unrestricted rabbits. This bound is close to optimal since Ω(n) is a trivial lower
bound on the escape length in both models. Furthermore, we prove that our upper
bound is optimal up to constant factors against unrestricted rabbits."
author:
- first_name: Micah
full_name: Adler, Micah
last_name: Adler
- first_name: Harald
full_name: Räcke, Harald
last_name: Räcke
- first_name: Naveen
full_name: Sivadasan, Naveen
last_name: Sivadasan
- first_name: Christian
full_name: Sohler, Christian
last_name: Sohler
- first_name: Berthold
full_name: Vöcking, Berthold
last_name: Vöcking
citation:
ama: 'Adler M, Räcke H, Sivadasan N, Sohler C, Vöcking B. Randomized Pursuit-Evasion
in Graphs. In: Proceedings of the 29th International Colloquium on Automata,
Languages and Programming. Berlin, Heidelberg; 2002. doi:10.1007/3-540-45465-9_77'
apa: Adler, M., Räcke, H., Sivadasan, N., Sohler, C., & Vöcking, B. (2002).
Randomized Pursuit-Evasion in Graphs. In Proceedings of the 29th International
Colloquium on Automata, Languages and Programming. Berlin, Heidelberg. https://doi.org/10.1007/3-540-45465-9_77
bibtex: '@inproceedings{Adler_Räcke_Sivadasan_Sohler_Vöcking_2002, place={Berlin,
Heidelberg}, title={Randomized Pursuit-Evasion in Graphs}, DOI={10.1007/3-540-45465-9_77},
booktitle={Proceedings of the 29th International Colloquium on Automata, Languages
and Programming}, author={Adler, Micah and Räcke, Harald and Sivadasan, Naveen
and Sohler, Christian and Vöcking, Berthold}, year={2002} }'
chicago: Adler, Micah, Harald Räcke, Naveen Sivadasan, Christian Sohler, and Berthold
Vöcking. “Randomized Pursuit-Evasion in Graphs.” In Proceedings of the 29th
International Colloquium on Automata, Languages and Programming. Berlin, Heidelberg,
2002. https://doi.org/10.1007/3-540-45465-9_77.
ieee: M. Adler, H. Räcke, N. Sivadasan, C. Sohler, and B. Vöcking, “Randomized Pursuit-Evasion
in Graphs,” in Proceedings of the 29th International Colloquium on Automata,
Languages and Programming, 2002.
mla: Adler, Micah, et al. “Randomized Pursuit-Evasion in Graphs.” Proceedings
of the 29th International Colloquium on Automata, Languages and Programming,
2002, doi:10.1007/3-540-45465-9_77.
short: 'M. Adler, H. Räcke, N. Sivadasan, C. Sohler, B. Vöcking, in: Proceedings
of the 29th International Colloquium on Automata, Languages and Programming, Berlin,
Heidelberg, 2002.'
date_created: 2020-08-28T12:04:12Z
date_updated: 2022-01-06T06:53:40Z
department:
- _id: '63'
doi: 10.1007/3-540-45465-9_77
language:
- iso: eng
place: Berlin, Heidelberg
publication: Proceedings of the 29th International Colloquium on Automata, Languages
and Programming
publication_identifier:
isbn:
- '9783540438649'
- '9783540454656'
issn:
- 0302-9743
publication_status: published
status: public
title: Randomized Pursuit-Evasion in Graphs
type: conference
user_id: '15415'
year: '2002'
...
---
_id: '7785'
citation:
ama: Heckel R, Mens T, Wermelinger M, eds. Proceedings of the Workshop on Software
Evolution through Transformations, Satellite of the ICGT 2002 Conference, Barcelona
(Spain). Vol 72. Elsevier; 2002.
apa: Heckel, R., Mens, T., & Wermelinger, M. (Eds.). (2002). Proceedings
of the workshop on Software Evolution through Transformations, satellite of the
ICGT 2002 conference, Barcelona (Spain) (Vol. 72). Elsevier.
bibtex: '@book{Heckel_Mens_Wermelinger_2002, series={Electronic Notes in Theoretical
Computer Science}, title={Proceedings of the workshop on Software Evolution through
Transformations, satellite of the ICGT 2002 conference, Barcelona (Spain)}, volume={72},
number={4}, publisher={Elsevier}, year={2002}, collection={Electronic Notes in
Theoretical Computer Science} }'
chicago: Heckel, Reiko, T. Mens, and M. Wermelinger, eds. Proceedings of the
Workshop on Software Evolution through Transformations, Satellite of the ICGT
2002 Conference, Barcelona (Spain). Vol. 72. Electronic Notes in Theoretical
Computer Science. Elsevier, 2002.
ieee: R. Heckel, T. Mens, and M. Wermelinger, Eds., Proceedings of the workshop
on Software Evolution through Transformations, satellite of the ICGT 2002 conference,
Barcelona (Spain), vol. 72, no. 4. Elsevier, 2002.
mla: Heckel, Reiko, et al., editors. Proceedings of the Workshop on Software
Evolution through Transformations, Satellite of the ICGT 2002 Conference, Barcelona
(Spain). Vol. 72, no. 4, Elsevier, 2002.
short: R. Heckel, T. Mens, M. Wermelinger, eds., Proceedings of the Workshop on
Software Evolution through Transformations, Satellite of the ICGT 2002 Conference,
Barcelona (Spain), Elsevier, 2002.
date_created: 2019-02-19T19:07:45Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: T.
full_name: Mens, T.
last_name: Mens
- first_name: M.
full_name: Wermelinger, M.
last_name: Wermelinger
intvolume: ' 72'
issue: '4'
language:
- iso: eng
publisher: Elsevier
series_title: Electronic Notes in Theoretical Computer Science
status: public
title: Proceedings of the workshop on Software Evolution through Transformations,
satellite of the ICGT 2002 conference, Barcelona (Spain)
type: conference_editor
user_id: '52534'
volume: 72
year: '2002'
...
---
_id: '7786'
citation:
ama: Clauss M, Hanenberg S, John I, Mehner K, Van Der Straeten R, eds. Proceedings
of the 4th Young Researchers Workshop, Satellite of the 4th International Symposium
on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA).;
2002.
apa: Clauss, M., Hanenberg, S., John, I., Mehner, K., & Van Der Straeten, R.
(Eds.). (2002). Proceedings of the 4th Young Researchers Workshop, satellite
of the 4th International Symposium on Generative and Component-Based Engineering
(GCSE ’02), Pittsburgh, PA (USA).
bibtex: '@book{Clauss_Hanenberg_John_Mehner_Van Der Straeten_2002, series={IESE-Report},
title={Proceedings of the 4th Young Researchers Workshop, satellite of the 4th
International Symposium on Generative and Component-Based Engineering (GCSE ’02),
Pittsburgh, PA (USA)}, number={053.02/E}, year={2002}, collection={IESE-Report}
}'
chicago: Clauss, M., S. Hanenberg, I. John, Katharina Mehner, and Ragnhild Van Der
Straeten, eds. Proceedings of the 4th Young Researchers Workshop, Satellite
of the 4th International Symposium on Generative and Component-Based Engineering
(GCSE ’02), Pittsburgh, PA (USA). IESE-Report, 2002.
ieee: M. Clauss, S. Hanenberg, I. John, K. Mehner, and R. Van Der Straeten, Eds.,
Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International
Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh,
PA (USA), no. 053.02/E. 2002.
mla: Clauss, M., et al., editors. Proceedings of the 4th Young Researchers Workshop,
Satellite of the 4th International Symposium on Generative and Component-Based
Engineering (GCSE ’02), Pittsburgh, PA (USA). no. 053.02/E, 2002.
short: M. Clauss, S. Hanenberg, I. John, K. Mehner, R. Van Der Straeten, eds., Proceedings
of the 4th Young Researchers Workshop, Satellite of the 4th International Symposium
on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA),
2002.
date_created: 2019-02-19T19:08:18Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: M.
full_name: Clauss, M.
last_name: Clauss
- first_name: S.
full_name: Hanenberg, S.
last_name: Hanenberg
- first_name: I.
full_name: John, I.
last_name: John
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
- first_name: Ragnhild
full_name: Van Der Straeten, Ragnhild
last_name: Van Der Straeten
issue: 053.02/E
language:
- iso: eng
series_title: IESE-Report
status: public
title: Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International
Symposium on Generative and Component-Based Engineering (GCSE '02), Pittsburgh,
PA (USA)
type: conference_editor
user_id: '52534'
year: '2002'
...
---
_id: '7895'
author:
- first_name: Luciano
full_name: Baresi, Luciano
last_name: Baresi
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Baresi L, Heckel R. Tutorial Introduction to Graph Transformation: A Software
Engineering Perspective. In: Proceedings of the 1st International Conference
on Graph Transformation (ICGT 2002), Barcelona (Spain). Vol 2505. LNCS. Berlin/Heidelberg:
Springer; 2002:402-429. doi:https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934'
apa: 'Baresi, L., & Heckel, R. (2002). Tutorial Introduction to Graph Transformation:
A Software Engineering Perspective. In Proceedings of the 1st International
Conference on Graph Transformation (ICGT 2002), Barcelona (Spain) (Vol. 2505,
pp. 402–429). Berlin/Heidelberg: Springer. https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934'
bibtex: '@inproceedings{Baresi_Heckel_2002, place={Berlin/Heidelberg}, series={LNCS},
title={Tutorial Introduction to Graph Transformation: A Software Engineering Perspective},
volume={2505}, DOI={https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934},
booktitle={Proceedings of the 1st International Conference on Graph Transformation
(ICGT 2002), Barcelona (Spain)}, publisher={Springer}, author={Baresi, Luciano
and Heckel, Reiko}, year={2002}, pages={402–429}, collection={LNCS} }'
chicago: 'Baresi, Luciano, and Reiko Heckel. “Tutorial Introduction to Graph Transformation:
A Software Engineering Perspective.” In Proceedings of the 1st International
Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 2505:402–29.
LNCS. Berlin/Heidelberg: Springer, 2002. https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934.'
ieee: 'L. Baresi and R. Heckel, “Tutorial Introduction to Graph Transformation:
A Software Engineering Perspective,” in Proceedings of the 1st International
Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 2002, vol.
2505, pp. 402–429.'
mla: 'Baresi, Luciano, and Reiko Heckel. “Tutorial Introduction to Graph Transformation:
A Software Engineering Perspective.” Proceedings of the 1st International Conference
on Graph Transformation (ICGT 2002), Barcelona (Spain), vol. 2505, Springer,
2002, pp. 402–29, doi:https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934.'
short: 'L. Baresi, R. Heckel, in: Proceedings of the 1st International Conference
on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg,
2002, pp. 402–429.'
date_created: 2019-02-21T10:55:19Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934
intvolume: ' 2505'
language:
- iso: eng
page: 402-429
place: Berlin/Heidelberg
publication: Proceedings of the 1st International Conference on Graph Transformation
(ICGT 2002), Barcelona (Spain)
publisher: Springer
series_title: LNCS
status: public
title: 'Tutorial Introduction to Graph Transformation: A Software Engineering Perspective'
type: conference
user_id: '52534'
volume: 2505
year: '2002'
...
---
_id: '7896'
author:
- first_name: Ralph
full_name: Depke, Ralph
last_name: Depke
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Matthew
full_name: Langham, Matthew
last_name: Langham
- first_name: Björn
full_name: Lütkemeier, Björn
last_name: Lütkemeier
- first_name: Sebastian
full_name: Thöne, Sebastian
last_name: Thöne
citation:
ama: 'Depke R, Engels G, Langham M, Lütkemeier B, Thöne S. Process-Oriented, Consistent
Integration of Software Components. In: Proceedings of the Conference on Prolonging
Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England).
Washington, DC, USA: IEEE Computer Society; 2002:13-18. doi:http://dx.doi.org/10.1109/CMPSAC.2002.1044527'
apa: 'Depke, R., Engels, G., Langham, M., Lütkemeier, B., & Thöne, S. (2002).
Process-Oriented, Consistent Integration of Software Components. In Proceedings
of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC
2002), Oxford (England) (pp. 13–18). Washington, DC, USA: IEEE Computer Society.
http://dx.doi.org/10.1109/CMPSAC.2002.1044527'
bibtex: '@inproceedings{Depke_Engels_Langham_Lütkemeier_Thöne_2002, place={Washington,
DC, USA}, title={Process-Oriented, Consistent Integration of Software Components},
DOI={http://dx.doi.org/10.1109/CMPSAC.2002.1044527},
booktitle={Proceedings of the conference on Prolonging Software Life: Development
and Redevelopment (COMPSAC 2002), Oxford (England)}, publisher={IEEE Computer
Society}, author={Depke, Ralph and Engels, Gregor and Langham, Matthew and Lütkemeier,
Björn and Thöne, Sebastian}, year={2002}, pages={13–18} }'
chicago: 'Depke, Ralph, Gregor Engels, Matthew Langham, Björn Lütkemeier, and Sebastian
Thöne. “Process-Oriented, Consistent Integration of Software Components.” In Proceedings
of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC
2002), Oxford (England), 13–18. Washington, DC, USA: IEEE Computer Society,
2002. http://dx.doi.org/10.1109/CMPSAC.2002.1044527.'
ieee: 'R. Depke, G. Engels, M. Langham, B. Lütkemeier, and S. Thöne, “Process-Oriented,
Consistent Integration of Software Components,” in Proceedings of the conference
on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford
(England), 2002, pp. 13–18.'
mla: 'Depke, Ralph, et al. “Process-Oriented, Consistent Integration of Software
Components.” Proceedings of the Conference on Prolonging Software Life: Development
and Redevelopment (COMPSAC 2002), Oxford (England), IEEE Computer Society,
2002, pp. 13–18, doi:http://dx.doi.org/10.1109/CMPSAC.2002.1044527.'
short: 'R. Depke, G. Engels, M. Langham, B. Lütkemeier, S. Thöne, in: Proceedings
of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC
2002), Oxford (England), IEEE Computer Society, Washington, DC, USA, 2002, pp.
13–18.'
date_created: 2019-02-21T10:55:46Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/CMPSAC.2002.1044527
language:
- iso: eng
page: 13-18
place: Washington, DC, USA
publication: 'Proceedings of the conference on Prolonging Software Life: Development
and Redevelopment (COMPSAC 2002), Oxford (England)'
publisher: IEEE Computer Society
status: public
title: Process-Oriented, Consistent Integration of Software Components
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '7897'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Luuk
full_name: Groenewegen, Luuk
last_name: Groenewegen
citation:
ama: 'Engels G, Heckel R, Küster J, Groenewegen L. Consistency-Preserving Model
Evolution through Transformations. In: Proceedings of the 5th International
Conference on The Unified Modeling Language (UML 2002), Dresden (Germany).
Vol 2460. LNCS. Berlin/Heidelberg: Springer; 2002:212-226.'
apa: 'Engels, G., Heckel, R., Küster, J., & Groenewegen, L. (2002). Consistency-Preserving
Model Evolution through Transformations. In Proceedings of the 5th International
Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)
(Vol. 2460, pp. 212–226). Berlin/Heidelberg: Springer.'
bibtex: '@inproceedings{Engels_Heckel_Küster_Groenewegen_2002, place={Berlin/Heidelberg},
series={LNCS}, title={Consistency-Preserving Model Evolution through Transformations},
volume={2460}, booktitle={Proceedings of the 5th International Conference on The
Unified Modeling Language (UML 2002), Dresden (Germany)}, publisher={Springer},
author={Engels, Gregor and Heckel, Reiko and Küster, Jochen and Groenewegen, Luuk},
year={2002}, pages={212–226}, collection={LNCS} }'
chicago: 'Engels, Gregor, Reiko Heckel, Jochen Küster, and Luuk Groenewegen. “Consistency-Preserving
Model Evolution through Transformations.” In Proceedings of the 5th International
Conference on The Unified Modeling Language (UML 2002), Dresden (Germany),
2460:212–26. LNCS. Berlin/Heidelberg: Springer, 2002.'
ieee: G. Engels, R. Heckel, J. Küster, and L. Groenewegen, “Consistency-Preserving
Model Evolution through Transformations,” in Proceedings of the 5th International
Conference on The Unified Modeling Language (UML 2002), Dresden (Germany),
2002, vol. 2460, pp. 212–226.
mla: Engels, Gregor, et al. “Consistency-Preserving Model Evolution through Transformations.”
Proceedings of the 5th International Conference on The Unified Modeling Language
(UML 2002), Dresden (Germany), vol. 2460, Springer, 2002, pp. 212–26.
short: 'G. Engels, R. Heckel, J. Küster, L. Groenewegen, in: Proceedings of the
5th International Conference on The Unified Modeling Language (UML 2002), Dresden
(Germany), Springer, Berlin/Heidelberg, 2002, pp. 212–226.'
date_created: 2019-02-21T10:56:48Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: ' 2460'
language:
- iso: eng
page: 212-226
place: Berlin/Heidelberg
publication: Proceedings of the 5th International Conference on The Unified Modeling
Language (UML 2002), Dresden (Germany)
publisher: Springer
series_title: LNCS
status: public
title: Consistency-Preserving Model Evolution through Transformations
type: conference
user_id: '52534'
volume: 2460
year: '2002'
...
---
_id: '7898'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Luuk
full_name: Groenewegen, Luuk
last_name: Groenewegen
citation:
ama: 'Engels G, Küster J, Groenewegen L. Consistent Interaction Of Software Components.
In: Proceedings of the Conference on Integrated Design and Process Technology
(IDPT 2002), Pasadena, CA (USA). Vol 6. IOS Press; 2002:2-22.'
apa: Engels, G., Küster, J., & Groenewegen, L. (2002). Consistent Interaction
Of Software Components. In Proceedings of the conference on Integrated Design
and Process Technology (IDPT 2002), Pasadena, CA (USA) (Vol. 6, pp. 2–22).
IOS Press.
bibtex: '@inproceedings{Engels_Küster_Groenewegen_2002, title={Consistent Interaction
Of Software Components}, volume={6}, number={4}, booktitle={Proceedings of the
conference on Integrated Design and Process Technology (IDPT 2002), Pasadena,
CA (USA)}, publisher={IOS Press}, author={Engels, Gregor and Küster, Jochen and
Groenewegen, Luuk}, year={2002}, pages={2–22} }'
chicago: Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Consistent Interaction
Of Software Components.” In Proceedings of the Conference on Integrated Design
and Process Technology (IDPT 2002), Pasadena, CA (USA), 6:2–22. IOS Press,
2002.
ieee: G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction Of Software
Components,” in Proceedings of the conference on Integrated Design and Process
Technology (IDPT 2002), Pasadena, CA (USA), 2002, vol. 6, no. 4, pp. 2–22.
mla: Engels, Gregor, et al. “Consistent Interaction Of Software Components.” Proceedings
of the Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena,
CA (USA), vol. 6, no. 4, IOS Press, 2002, pp. 2–22.
short: 'G. Engels, J. Küster, L. Groenewegen, in: Proceedings of the Conference
on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), IOS
Press, 2002, pp. 2–22.'
date_created: 2019-02-21T10:57:29Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: ' 6'
issue: '4'
language:
- iso: eng
page: 2-22
publication: Proceedings of the conference on Integrated Design and Process Technology
(IDPT 2002), Pasadena, CA (USA)
publisher: IOS Press
status: public
title: Consistent Interaction Of Software Components
type: conference
user_id: '52534'
volume: 6
year: '2002'
...
---
_id: '7899'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Jan
full_name: Hendrik Hausmann, Jan
last_name: Hendrik Hausmann
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Engels G, Hendrik Hausmann J, Heckel R, Sauer S. Testing the Consistency of
Dynamic UML Diagrams. In: Proceedings of the Sixth International Conference
on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA).
; 2002.'
apa: Engels, G., Hendrik Hausmann, J., Heckel, R., & Sauer, S. (2002). Testing
the Consistency of Dynamic UML Diagrams. In Proceedings of the Sixth International
Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena,
CA (USA).
bibtex: '@inproceedings{Engels_Hendrik Hausmann_Heckel_Sauer_2002, title={Testing
the Consistency of Dynamic UML Diagrams}, booktitle={Proceedings of the Sixth
International Conference on Integrated Design and Process Technology (IDPT 2002),
Pasadena, CA (USA)}, author={Engels, Gregor and Hendrik Hausmann, Jan and Heckel,
Reiko and Sauer, Stefan}, year={2002} }'
chicago: Engels, Gregor, Jan Hendrik Hausmann, Reiko Heckel, and Stefan Sauer. “Testing
the Consistency of Dynamic UML Diagrams.” In Proceedings of the Sixth International
Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena,
CA (USA), 2002.
ieee: G. Engels, J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Testing the Consistency
of Dynamic UML Diagrams,” in Proceedings of the Sixth International Conference
on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA),
2002.
mla: Engels, Gregor, et al. “Testing the Consistency of Dynamic UML Diagrams.” Proceedings
of the Sixth International Conference on Integrated Design and Process Technology
(IDPT 2002), Pasadena, CA (USA), 2002.
short: 'G. Engels, J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of
the Sixth International Conference on Integrated Design and Process Technology
(IDPT 2002), Pasadena, CA (USA), 2002.'
date_created: 2019-02-21T10:58:02Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the Sixth International Conference on Integrated Design
and Process Technology (IDPT 2002), Pasadena, CA (USA)
status: public
title: Testing the Consistency of Dynamic UML Diagrams
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '7900'
author:
- first_name: Szilvia
full_name: Gyapay, Szilvia
last_name: Gyapay
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Dániel
full_name: Varró, Dániel
last_name: Varró
citation:
ama: 'Gyapay S, Heckel R, Varró D. Graph Transformation with Time: Causality and
Logical Clocks. In: Proceedings of the First International Conference on Graph
Transformation (ICGT 2002), Barcelona (Spain). Vol 2505. LNCS. Berlin/Heidelberg:
Springer; 2002:120-134.'
apa: 'Gyapay, S., Heckel, R., & Varró, D. (2002). Graph Transformation with
Time: Causality and Logical Clocks. In Proceedings of the First International
Conference on Graph Transformation (ICGT 2002), Barcelona (Spain) (Vol. 2505,
pp. 120–134). Berlin/Heidelberg: Springer.'
bibtex: '@inproceedings{Gyapay_Heckel_Varró_2002, place={Berlin/Heidelberg}, series={LNCS},
title={Graph Transformation with Time: Causality and Logical Clocks}, volume={2505},
booktitle={Proceedings of the First International Conference on Graph Transformation
(ICGT 2002), Barcelona (Spain)}, publisher={Springer}, author={Gyapay, Szilvia
and Heckel, Reiko and Varró, Dániel}, year={2002}, pages={120–134}, collection={LNCS}
}'
chicago: 'Gyapay, Szilvia, Reiko Heckel, and Dániel Varró. “Graph Transformation
with Time: Causality and Logical Clocks.” In Proceedings of the First International
Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 2505:120–34.
LNCS. Berlin/Heidelberg: Springer, 2002.'
ieee: 'S. Gyapay, R. Heckel, and D. Varró, “Graph Transformation with Time: Causality
and Logical Clocks,” in Proceedings of the First International Conference on
Graph Transformation (ICGT 2002), Barcelona (Spain), 2002, vol. 2505, pp.
120–134.'
mla: 'Gyapay, Szilvia, et al. “Graph Transformation with Time: Causality and Logical
Clocks.” Proceedings of the First International Conference on Graph Transformation
(ICGT 2002), Barcelona (Spain), vol. 2505, Springer, 2002, pp. 120–34.'
short: 'S. Gyapay, R. Heckel, D. Varró, in: Proceedings of the First International
Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg,
2002, pp. 120–134.'
date_created: 2019-02-21T10:58:36Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: ' 2505'
language:
- iso: eng
page: 120-134
place: Berlin/Heidelberg
publication: Proceedings of the First International Conference on Graph Transformation
(ICGT 2002), Barcelona (Spain)
publisher: Springer
series_title: LNCS
status: public
title: 'Graph Transformation with Time: Causality and Logical Clocks'
type: conference
user_id: '52534'
volume: 2505
year: '2002'
...
---
_id: '7901'
author:
- first_name: Jan
full_name: Hendrik Hausmann, Jan
last_name: Hendrik Hausmann
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Gabriele
full_name: Taentzer, Gabriele
last_name: Taentzer
citation:
ama: 'Hendrik Hausmann J, Heckel R, Taentzer G. Detecting conflicting functional
requirements in a use case driven approach: A static analysis technique based
on graph transformation. In: Proceedings of the 24th International Conference
on Software Engineering (ICSE 2002), Orlando, FL (USA). New York, NY, USA:
ACM Press; 2002:105-155. doi:http://doi.acm.org/10.1145/581339.581355'
apa: 'Hendrik Hausmann, J., Heckel, R., & Taentzer, G. (2002). Detecting conflicting
functional requirements in a use case driven approach: A static analysis technique
based on graph transformation. In Proceedings of the 24th International Conference
on Software Engineering (ICSE 2002), Orlando, FL (USA) (pp. 105–155). New
York, NY, USA: ACM Press. http://doi.acm.org/10.1145/581339.581355'
bibtex: '@inproceedings{Hendrik Hausmann_Heckel_Taentzer_2002, place={New York,
NY, USA}, title={Detecting conflicting functional requirements in a use case driven
approach: A static analysis technique based on graph transformation}, DOI={http://doi.acm.org/10.1145/581339.581355},
booktitle={Proceedings of the 24th International Conference on Software Engineering
(ICSE 2002), Orlando, FL (USA)}, publisher={ACM Press}, author={Hendrik Hausmann,
Jan and Heckel, Reiko and Taentzer, Gabriele}, year={2002}, pages={105–155} }'
chicago: 'Hendrik Hausmann, Jan, Reiko Heckel, and Gabriele Taentzer. “Detecting
Conflicting Functional Requirements in a Use Case Driven Approach: A Static Analysis
Technique Based on Graph Transformation.” In Proceedings of the 24th International
Conference on Software Engineering (ICSE 2002), Orlando, FL (USA), 105–55.
New York, NY, USA: ACM Press, 2002. http://doi.acm.org/10.1145/581339.581355.'
ieee: 'J. Hendrik Hausmann, R. Heckel, and G. Taentzer, “Detecting conflicting functional
requirements in a use case driven approach: A static analysis technique based
on graph transformation,” in Proceedings of the 24th International Conference
on Software Engineering (ICSE 2002), Orlando, FL (USA), 2002, pp. 105–155.'
mla: 'Hendrik Hausmann, Jan, et al. “Detecting Conflicting Functional Requirements
in a Use Case Driven Approach: A Static Analysis Technique Based on Graph Transformation.”
Proceedings of the 24th International Conference on Software Engineering (ICSE
2002), Orlando, FL (USA), ACM Press, 2002, pp. 105–55, doi:http://doi.acm.org/10.1145/581339.581355.'
short: 'J. Hendrik Hausmann, R. Heckel, G. Taentzer, in: Proceedings of the 24th
International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA),
ACM Press, New York, NY, USA, 2002, pp. 105–155.'
date_created: 2019-02-21T10:59:09Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://doi.acm.org/10.1145/581339.581355
language:
- iso: eng
page: '105-155 '
place: New York, NY, USA
publication: Proceedings of the 24th International Conference on Software Engineering
(ICSE 2002), Orlando, FL (USA)
publisher: ACM Press
status: public
title: 'Detecting conflicting functional requirements in a use case driven approach:
A static analysis technique based on graph transformation'
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '7902'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Mourad
full_name: Chouikha, Mourad
last_name: Chouikha
citation:
ama: 'Heckel R, Chouikha M. Compositional Control Synthesis for Discrete Event Systems:
An Approach based on Open Petri Nets. In: Proceedings of the Conference on
Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA).
Grandview, TX, USA: Society of Design and Process Science; 2002:63-77.'
apa: 'Heckel, R., & Chouikha, M. (2002). Compositional Control Synthesis for
Discrete Event Systems: An Approach based on Open Petri Nets. In Proceedings
of the conference on Integrated Design & Process Technology (IDPT 2002), Pasadena,
CA (USA) (pp. 63–77). Grandview, TX, USA: Society of Design and Process Science.'
bibtex: '@inproceedings{Heckel_Chouikha_2002, place={Grandview, TX, USA}, title={Compositional
Control Synthesis for Discrete Event Systems: An Approach based on Open Petri
Nets}, booktitle={Proceedings of the conference on Integrated Design & Process
Technology (IDPT 2002), Pasadena, CA (USA)}, publisher={Society of Design and
Process Science}, author={Heckel, Reiko and Chouikha, Mourad}, year={2002}, pages={63–77}
}'
chicago: 'Heckel, Reiko, and Mourad Chouikha. “Compositional Control Synthesis for
Discrete Event Systems: An Approach Based on Open Petri Nets.” In Proceedings
of the Conference on Integrated Design & Process Technology (IDPT 2002), Pasadena,
CA (USA), 63–77. Grandview, TX, USA: Society of Design and Process Science,
2002.'
ieee: 'R. Heckel and M. Chouikha, “Compositional Control Synthesis for Discrete
Event Systems: An Approach based on Open Petri Nets,” in Proceedings of the
conference on Integrated Design & Process Technology (IDPT 2002), Pasadena,
CA (USA), 2002, pp. 63–77.'
mla: 'Heckel, Reiko, and Mourad Chouikha. “Compositional Control Synthesis for Discrete
Event Systems: An Approach Based on Open Petri Nets.” Proceedings of the Conference
on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA),
Society of Design and Process Science, 2002, pp. 63–77.'
short: 'R. Heckel, M. Chouikha, in: Proceedings of the Conference on Integrated
Design & Process Technology (IDPT 2002), Pasadena, CA (USA), Society of Design
and Process Science, Grandview, TX, USA, 2002, pp. 63–77.'
date_created: 2019-02-21T10:59:49Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
page: 63-77
place: Grandview, TX, USA
publication: Proceedings of the conference on Integrated Design & Process Technology
(IDPT 2002), Pasadena, CA (USA)
publisher: Society of Design and Process Science
status: public
title: 'Compositional Control Synthesis for Discrete Event Systems: An Approach based
on Open Petri Nets'
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '7903'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Gabriele
full_name: Taentzer, Gabriele
last_name: Taentzer
citation:
ama: 'Heckel R, Küster J, Taentzer G. Confluence of Typed Attributed Graph Transformation
Systems. In: Proceedings of the First International Conference on Graph Transformation
(ICGT 2002), Barcelona (Spain). Berlin/Heidelberg: Springer; 2002:161-176.'
apa: 'Heckel, R., Küster, J., & Taentzer, G. (2002). Confluence of Typed Attributed
Graph Transformation Systems. In Proceedings of the First International Conference
on Graph Transformation (ICGT 2002), Barcelona (Spain) (pp. 161–176). Berlin/Heidelberg:
Springer.'
bibtex: '@inproceedings{Heckel_Küster_Taentzer_2002, place={Berlin/Heidelberg},
title={Confluence of Typed Attributed Graph Transformation Systems}, booktitle={Proceedings
of the First International Conference on Graph Transformation (ICGT 2002), Barcelona
(Spain)}, publisher={Springer}, author={Heckel, Reiko and Küster, Jochen and Taentzer,
Gabriele}, year={2002}, pages={161–176} }'
chicago: 'Heckel, Reiko, Jochen Küster, and Gabriele Taentzer. “Confluence of Typed
Attributed Graph Transformation Systems.” In Proceedings of the First International
Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 161–76.
Berlin/Heidelberg: Springer, 2002.'
ieee: R. Heckel, J. Küster, and G. Taentzer, “Confluence of Typed Attributed Graph
Transformation Systems,” in Proceedings of the First International Conference
on Graph Transformation (ICGT 2002), Barcelona (Spain), 2002, pp. 161–176.
mla: Heckel, Reiko, et al. “Confluence of Typed Attributed Graph Transformation
Systems.” Proceedings of the First International Conference on Graph Transformation
(ICGT 2002), Barcelona (Spain), Springer, 2002, pp. 161–76.
short: 'R. Heckel, J. Küster, G. Taentzer, in: Proceedings of the First International
Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg,
2002, pp. 161–176.'
date_created: 2019-02-21T11:00:30Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
page: 161-176
place: Berlin/Heidelberg
publication: Proceedings of the First International Conference on Graph Transformation
(ICGT 2002), Barcelona (Spain)
publisher: Springer
status: public
title: Confluence of Typed Attributed Graph Transformation Systems
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '7904'
author:
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
citation:
ama: 'Mehner K. JaVis: A UML-Based Visualization and Debugging Environment for Concurrent
Java Programs. In: Proceedings of the International Seminar on Software Visualization,
Dagstuhl (Germany). Vol 2269. LNCS. Berlin/Heidelberg: Springer; 2002:163-175.'
apa: 'Mehner, K. (2002). JaVis: A UML-Based Visualization and Debugging Environment
for Concurrent Java Programs. In Proceedings of the International Seminar on
Software Visualization, Dagstuhl (Germany) (Vol. 2269, pp. 163–175). Berlin/Heidelberg:
Springer.'
bibtex: '@inproceedings{Mehner_2002, place={Berlin/Heidelberg}, series={LNCS}, title={JaVis:
A UML-Based Visualization and Debugging Environment for Concurrent Java Programs},
volume={2269}, booktitle={Proceedings of the International Seminar on Software
Visualization, Dagstuhl (Germany)}, publisher={Springer}, author={Mehner, Katharina},
year={2002}, pages={163–175}, collection={LNCS} }'
chicago: 'Mehner, Katharina. “JaVis: A UML-Based Visualization and Debugging Environment
for Concurrent Java Programs.” In Proceedings of the International Seminar
on Software Visualization, Dagstuhl (Germany), 2269:163–75. LNCS. Berlin/Heidelberg:
Springer, 2002.'
ieee: 'K. Mehner, “JaVis: A UML-Based Visualization and Debugging Environment for
Concurrent Java Programs,” in Proceedings of the International Seminar on Software
Visualization, Dagstuhl (Germany), 2002, vol. 2269, pp. 163–175.'
mla: 'Mehner, Katharina. “JaVis: A UML-Based Visualization and Debugging Environment
for Concurrent Java Programs.” Proceedings of the International Seminar on
Software Visualization, Dagstuhl (Germany), vol. 2269, Springer, 2002, pp.
163–75.'
short: 'K. Mehner, in: Proceedings of the International Seminar on Software Visualization,
Dagstuhl (Germany), Springer, Berlin/Heidelberg, 2002, pp. 163–175.'
date_created: 2019-02-21T11:01:07Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: ' 2269'
language:
- iso: eng
page: 163-175
place: Berlin/Heidelberg
publication: Proceedings of the International Seminar on Software Visualization, Dagstuhl
(Germany)
publisher: Springer
series_title: LNCS
status: public
title: 'JaVis: A UML-Based Visualization and Debugging Environment for Concurrent
Java Programs'
type: conference
user_id: '52534'
volume: 2269
year: '2002'
...
---
_id: '7905'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
citation:
ama: 'Schattkowsky T, Lohmann M. Rapid Development of Modular Dynamic Web Sites
Using UML. In: Proceedings of the 5th International Conference on The Unified
Modeling Language (UML 2002), Dresden (Germany). LNCS. London, UK: Springer;
2002:336-350. doi:http://dx.doi.org/10.1007/3-540-45800-X'
apa: 'Schattkowsky, T., & Lohmann, M. (2002). Rapid Development of Modular Dynamic
Web Sites Using UML. In Proceedings of the 5th International Conference on
The Unified Modeling Language (UML 2002), Dresden (Germany) (pp. 336–350).
London, UK: Springer. http://dx.doi.org/10.1007/3-540-45800-X'
bibtex: '@inproceedings{Schattkowsky_Lohmann_2002, place={London, UK}, series={LNCS},
title={Rapid Development of Modular Dynamic Web Sites Using UML}, DOI={http://dx.doi.org/10.1007/3-540-45800-X},
booktitle={Proceedings of the 5th International Conference on The Unified Modeling
Language (UML 2002), Dresden (Germany)}, publisher={Springer}, author={Schattkowsky,
Tim and Lohmann, Marc}, year={2002}, pages={336–350}, collection={LNCS} }'
chicago: 'Schattkowsky, Tim, and Marc Lohmann. “Rapid Development of Modular Dynamic
Web Sites Using UML.” In Proceedings of the 5th International Conference on
The Unified Modeling Language (UML 2002), Dresden (Germany), 336–50. LNCS.
London, UK: Springer, 2002. http://dx.doi.org/10.1007/3-540-45800-X.'
ieee: T. Schattkowsky and M. Lohmann, “Rapid Development of Modular Dynamic Web
Sites Using UML,” in Proceedings of the 5th International Conference on The
Unified Modeling Language (UML 2002), Dresden (Germany), 2002, pp. 336–350.
mla: Schattkowsky, Tim, and Marc Lohmann. “Rapid Development of Modular Dynamic
Web Sites Using UML.” Proceedings of the 5th International Conference on The
Unified Modeling Language (UML 2002), Dresden (Germany), Springer, 2002, pp.
336–50, doi:http://dx.doi.org/10.1007/3-540-45800-X.
short: 'T. Schattkowsky, M. Lohmann, in: Proceedings of the 5th International Conference
on The Unified Modeling Language (UML 2002), Dresden (Germany), Springer, London,
UK, 2002, pp. 336–350.'
date_created: 2019-02-21T11:01:45Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/3-540-45800-X
language:
- iso: eng
page: 336-350
place: London, UK
publication: Proceedings of the 5th International Conference on The Unified Modeling
Language (UML 2002), Dresden (Germany)
publisher: Springer
series_title: LNCS
status: public
title: Rapid Development of Modular Dynamic Web Sites Using UML
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '7906'
author:
- first_name: Alexey
full_name: Cherchago, Alexey
last_name: Cherchago
citation:
ama: 'Cherchago A. Formal Semantics for a UML fragment using UML/OCL metamodeling.
In: Proceedings of the 6th IASTED International Conference on Software Engineering
and Applications (SEA 2002), Cambridge, MA (USA). ACTA Press; 2002.'
apa: Cherchago, A. (2002). Formal Semantics for a UML fragment using UML/OCL metamodeling.
In Proceedings of the 6th IASTED International Conference on Software Engineering
and Applications (SEA 2002), Cambridge, MA (USA). ACTA Press.
bibtex: '@inproceedings{Cherchago_2002, title={Formal Semantics for a UML fragment
using UML/OCL metamodeling}, booktitle={Proceedings of the 6th IASTED International
Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA
(USA)}, publisher={ACTA Press}, author={Cherchago, Alexey}, year={2002} }'
chicago: Cherchago, Alexey. “Formal Semantics for a UML Fragment Using UML/OCL Metamodeling.”
In Proceedings of the 6th IASTED International Conference on Software Engineering
and Applications (SEA 2002), Cambridge, MA (USA). ACTA Press, 2002.
ieee: A. Cherchago, “Formal Semantics for a UML fragment using UML/OCL metamodeling,”
in Proceedings of the 6th IASTED International Conference on Software Engineering
and Applications (SEA 2002), Cambridge, MA (USA), 2002.
mla: Cherchago, Alexey. “Formal Semantics for a UML Fragment Using UML/OCL Metamodeling.”
Proceedings of the 6th IASTED International Conference on Software Engineering
and Applications (SEA 2002), Cambridge, MA (USA), ACTA Press, 2002.
short: 'A. Cherchago, in: Proceedings of the 6th IASTED International Conference
on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA), ACTA
Press, 2002.'
date_created: 2019-02-21T11:02:12Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the 6th IASTED International Conference on Software Engineering
and Applications (SEA 2002), Cambridge, MA (USA)
publisher: ACTA Press
status: public
title: Formal Semantics for a UML fragment using UML/OCL metamodeling
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '8212'
author:
- first_name: Pascal
full_name: Constanza, Pascal
last_name: Constanza
- first_name: Günther
full_name: Kniesel, Günther
last_name: Kniesel
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
- first_name: Elke
full_name: Pulvermüller, Elke
last_name: Pulvermüller
- first_name: Andreas
full_name: Speck, Andreas
last_name: Speck
citation:
ama: Constanza P, Kniesel G, Mehner K, Pulvermüller E, Speck A. Proceedings of
the Workshop on Aspect-Oriented Software Developement, Held by the German Society
for Informatics, Special Interest Group for Object-Oriented Software Developement.
University of Bonn; 2002.
apa: Constanza, P., Kniesel, G., Mehner, K., Pulvermüller, E., & Speck, A. (2002).
Proceedings of the Workshop on Aspect-Oriented Software Developement, held
by the German Society for Informatics, Special Interest Group for Object-Oriented
Software Developement. University of Bonn.
bibtex: '@book{Constanza_Kniesel_Mehner_Pulvermüller_Speck_2002, title={Proceedings
of the Workshop on Aspect-Oriented Software Developement, held by the German Society
for Informatics, Special Interest Group for Object-Oriented Software Developement},
publisher={University of Bonn}, author={Constanza, Pascal and Kniesel, Günther
and Mehner, Katharina and Pulvermüller, Elke and Speck, Andreas}, year={2002}
}'
chicago: Constanza, Pascal, Günther Kniesel, Katharina Mehner, Elke Pulvermüller,
and Andreas Speck. Proceedings of the Workshop on Aspect-Oriented Software
Developement, Held by the German Society for Informatics, Special Interest Group
for Object-Oriented Software Developement. University of Bonn, 2002.
ieee: P. Constanza, G. Kniesel, K. Mehner, E. Pulvermüller, and A. Speck, Proceedings
of the Workshop on Aspect-Oriented Software Developement, held by the German Society
for Informatics, Special Interest Group for Object-Oriented Software Developement.
University of Bonn, 2002.
mla: Constanza, Pascal, et al. Proceedings of the Workshop on Aspect-Oriented
Software Developement, Held by the German Society for Informatics, Special Interest
Group for Object-Oriented Software Developement. University of Bonn, 2002.
short: P. Constanza, G. Kniesel, K. Mehner, E. Pulvermüller, A. Speck, Proceedings
of the Workshop on Aspect-Oriented Software Developement, Held by the German Society
for Informatics, Special Interest Group for Object-Oriented Software Developement,
University of Bonn, 2002.
date_created: 2019-03-03T16:13:10Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: University of Bonn
report_number: IAI-TR-2002-1
status: public
title: Proceedings of the Workshop on Aspect-Oriented Software Developement, held
by the German Society for Informatics, Special Interest Group for Object-Oriented
Software Developement
type: report
user_id: '52534'
year: '2002'
...
---
_id: '7385'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Mercé
full_name: Llabrés, Mercé
last_name: Llabrés
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Fernando
full_name: Orejas, Fernando
last_name: Orejas
citation:
ama: Heckel R, Llabrés M, Ehrig H, Orejas F. Concurrency and Loose Semantics of
Open Graph Transformation Systems. Mathematical Structures in Computer Science.
2002;12(4):349-376.
apa: Heckel, R., Llabrés, M., Ehrig, H., & Orejas, F. (2002). Concurrency and
Loose Semantics of Open Graph Transformation Systems. Mathematical Structures
in Computer Science, 12(4), 349–376.
bibtex: '@article{Heckel_Llabrés_Ehrig_Orejas_2002, title={Concurrency and Loose
Semantics of Open Graph Transformation Systems}, volume={12}, number={4}, journal={Mathematical
Structures in Computer Science}, author={Heckel, Reiko and Llabrés, Mercé and
Ehrig, Hartmut and Orejas, Fernando}, year={2002}, pages={349–376} }'
chicago: 'Heckel, Reiko, Mercé Llabrés, Hartmut Ehrig, and Fernando Orejas. “Concurrency
and Loose Semantics of Open Graph Transformation Systems.” Mathematical Structures
in Computer Science 12, no. 4 (2002): 349–76.'
ieee: R. Heckel, M. Llabrés, H. Ehrig, and F. Orejas, “Concurrency and Loose Semantics
of Open Graph Transformation Systems,” Mathematical Structures in Computer
Science, vol. 12, no. 4, pp. 349–376, 2002.
mla: Heckel, Reiko, et al. “Concurrency and Loose Semantics of Open Graph Transformation
Systems.” Mathematical Structures in Computer Science, vol. 12, no. 4,
2002, pp. 349–76.
short: R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, Mathematical Structures in Computer
Science 12 (2002) 349–376.
date_created: 2019-01-31T15:36:17Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 12'
issue: '4'
language:
- iso: eng
page: 349-376
publication: Mathematical Structures in Computer Science
status: public
title: Concurrency and Loose Semantics of Open Graph Transformation Systems
type: journal_article
user_id: '52534'
volume: 12
year: '2002'
...
---
_id: '7387'
abstract:
- lang: eng
text: Constructing complex software systems by integrating different software components
is a promising and challenging approach. With the functionality of software components
given by models it is possible to ensure consistency of such models before implementation
in order to successfully build the system. Models consisting of different submodels,
the absence of an overall formal semantics and the numerous possibilities of employing
models requires the development of techniques ensuring the consistency. In this
paper, we discuss the issue of consistency of models made up of different submodels
proposing a concept for the management of consistency. Consistency management
relies on a consistency concept and a process for ensuring consistency of models.
We introduce a consistency concept for software components modeled in the Unified
Modeling Language (UML) and devise suitable consistency checks. On this basis,
we propose a process how to locate and resolve inconsistencies, thus ensuring
the consistency of models and by that the consistency of componentbased systems
derived from those models.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Luuk
full_name: Groenewegen, Luuk
last_name: Groenewegen
citation:
ama: 'Engels G, Küster J, Groenewegen L. Consistent Interaction of Software Components.
Transactions of the SDPS: Journal of Integrated Design & Process Science.
2002;6(4):2-22.'
apa: 'Engels, G., Küster, J., & Groenewegen, L. (2002). Consistent Interaction
of Software Components. Transactions of the SDPS: Journal of Integrated Design
& Process Science, 6(4), 2–22.'
bibtex: '@article{Engels_Küster_Groenewegen_2002, title={Consistent Interaction
of Software Components}, volume={6}, number={4}, journal={Transactions of the
SDPS: Journal of Integrated Design & Process Science}, author={Engels, Gregor
and Küster, Jochen and Groenewegen, Luuk}, year={2002}, pages={2–22} }'
chicago: 'Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Consistent Interaction
of Software Components.” Transactions of the SDPS: Journal of Integrated Design
& Process Science 6, no. 4 (2002): 2–22.'
ieee: 'G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction of Software
Components,” Transactions of the SDPS: Journal of Integrated Design & Process
Science, vol. 6, no. 4, pp. 2–22, 2002.'
mla: 'Engels, Gregor, et al. “Consistent Interaction of Software Components.” Transactions
of the SDPS: Journal of Integrated Design & Process Science, vol. 6, no.
4, 2002, pp. 2–22.'
short: 'G. Engels, J. Küster, L. Groenewegen, Transactions of the SDPS: Journal
of Integrated Design & Process Science 6 (2002) 2–22.'
date_created: 2019-01-31T15:38:09Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 6'
issue: '4'
language:
- iso: eng
page: 2-22
publication: 'Transactions of the SDPS: Journal of Integrated Design & Process Science'
status: public
title: Consistent Interaction of Software Components
type: journal_article
user_id: '52534'
volume: 6
year: '2002'
...
---
_id: '7388'
author:
- first_name: Ralph
full_name: Depke, Ralph
last_name: Depke
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
citation:
ama: Depke R, Heckel R, Küster J. Formal Agent-Oriented Modeling with Graph Transformation.
Science of Computer Programming. 2002;44:229-252.
apa: Depke, R., Heckel, R., & Küster, J. (2002). Formal Agent-Oriented Modeling
with Graph Transformation. Science of Computer Programming, 44,
229–252.
bibtex: '@article{Depke_Heckel_Küster_2002, title={Formal Agent-Oriented Modeling
with Graph Transformation}, volume={44}, journal={Science of Computer Programming},
author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2002}, pages={229–252}
}'
chicago: 'Depke, Ralph, Reiko Heckel, and Jochen Küster. “Formal Agent-Oriented
Modeling with Graph Transformation.” Science of Computer Programming 44
(2002): 229–52.'
ieee: R. Depke, R. Heckel, and J. Küster, “Formal Agent-Oriented Modeling with Graph
Transformation,” Science of Computer Programming, vol. 44, pp. 229–252,
2002.
mla: Depke, Ralph, et al. “Formal Agent-Oriented Modeling with Graph Transformation.”
Science of Computer Programming, vol. 44, 2002, pp. 229–52.
short: R. Depke, R. Heckel, J. Küster, Science of Computer Programming 44 (2002)
229–252.
date_created: 2019-01-31T15:39:00Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 44'
language:
- iso: eng
page: 229-252
publication: Science of Computer Programming
status: public
title: Formal Agent-Oriented Modeling with Graph Transformation
type: journal_article
user_id: '52534'
volume: 44
year: '2002'
...
---
_id: '7389'
abstract:
- lang: ger
text: Im BMBF-Verbundprojekt MuSofT werden multimediale Lehrmaterialien für die
Lehre der Softwaretechnik entwickelt. Neben den inhaltliche Aspekten sind die
Distribution und die Lizenzierung der erstellten Lehrmaterialien wichtige Themakomplexe,
um die Nachhaltigkeit des Projektes zu erhöhen. In diesem Papier stellen wir die
in MuSofT gewählten Lösungen einer Open-Content-Lizenz sowie eines Portals zur
Distribution der entwickelten Materialien vor.
author:
- first_name: Ernst-Erich
full_name: Doberkat, Ernst-Erich
last_name: Doberkat
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: Doberkat E-E, Engels G. MuSofT - Multimedia in der Softwaretechnik. Informatik
Forschung und Entwicklung. 2002;1(17):41-44.
apa: Doberkat, E.-E., & Engels, G. (2002). MuSofT - Multimedia in der Softwaretechnik.
Informatik Forschung Und Entwicklung, 1(17), 41–44.
bibtex: '@article{Doberkat_Engels_2002, title={MuSofT - Multimedia in der Softwaretechnik},
volume={1}, number={17}, journal={Informatik Forschung und Entwicklung}, author={Doberkat,
Ernst-Erich and Engels, Gregor}, year={2002}, pages={41–44} }'
chicago: 'Doberkat, Ernst-Erich, and Gregor Engels. “MuSofT - Multimedia in Der
Softwaretechnik.” Informatik Forschung Und Entwicklung 1, no. 17 (2002):
41–44.'
ieee: E.-E. Doberkat and G. Engels, “MuSofT - Multimedia in der Softwaretechnik,”
Informatik Forschung und Entwicklung, vol. 1, no. 17, pp. 41–44, 2002.
mla: Doberkat, Ernst-Erich, and Gregor Engels. “MuSofT - Multimedia in Der Softwaretechnik.”
Informatik Forschung Und Entwicklung, vol. 1, no. 17, 2002, pp. 41–44.
short: E.-E. Doberkat, G. Engels, Informatik Forschung Und Entwicklung 1 (2002)
41–44.
date_created: 2019-01-31T15:39:38Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 1'
issue: '17'
language:
- iso: eng
page: 41-44
publication: Informatik Forschung und Entwicklung
status: public
title: MuSofT - Multimedia in der Softwaretechnik
type: journal_article
user_id: '52534'
volume: 1
year: '2002'
...