---
_id: '807'
author:
- first_name: Hermann
  full_name: Simon Lichte, Hermann
  last_name: Simon Lichte
- first_name: Stefan
  full_name: Valentin, Stefan
  last_name: Valentin
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
citation:
  ama: Simon Lichte H, Valentin S, Karl H. Automated Development of Cooperative MAC
    Protocols - A Compiler-Assisted Approach. <i>Mobile Networks and Applications</i>.
    2010;(6):769--785. doi:<a href="https://doi.org/10.1007/s11036-009-0210-5">10.1007/s11036-009-0210-5</a>
  apa: Simon Lichte, H., Valentin, S., &#38; Karl, H. (2010). Automated Development
    of Cooperative MAC Protocols - A Compiler-Assisted Approach. <i>Mobile Networks
    and Applications</i>, (6), 769--785. <a href="https://doi.org/10.1007/s11036-009-0210-5">https://doi.org/10.1007/s11036-009-0210-5</a>
  bibtex: '@article{Simon Lichte_Valentin_Karl_2010, title={Automated Development
    of Cooperative MAC Protocols - A Compiler-Assisted Approach}, DOI={<a href="https://doi.org/10.1007/s11036-009-0210-5">10.1007/s11036-009-0210-5</a>},
    number={6}, journal={Mobile Networks and Applications}, author={Simon Lichte,
    Hermann and Valentin, Stefan and Karl, Holger}, year={2010}, pages={769--785}
    }'
  chicago: 'Simon Lichte, Hermann, Stefan Valentin, and Holger Karl. “Automated Development
    of Cooperative MAC Protocols - A Compiler-Assisted Approach.” <i>Mobile Networks
    and Applications</i>, no. 6 (2010): 769--785. <a href="https://doi.org/10.1007/s11036-009-0210-5">https://doi.org/10.1007/s11036-009-0210-5</a>.'
  ieee: H. Simon Lichte, S. Valentin, and H. Karl, “Automated Development of Cooperative
    MAC Protocols - A Compiler-Assisted Approach,” <i>Mobile Networks and Applications</i>,
    no. 6, pp. 769--785, 2010.
  mla: Simon Lichte, Hermann, et al. “Automated Development of Cooperative MAC Protocols
    - A Compiler-Assisted Approach.” <i>Mobile Networks and Applications</i>, no.
    6, 2010, pp. 769--785, doi:<a href="https://doi.org/10.1007/s11036-009-0210-5">10.1007/s11036-009-0210-5</a>.
  short: H. Simon Lichte, S. Valentin, H. Karl, Mobile Networks and Applications (2010)
    769--785.
date_created: 2017-11-27T10:22:26Z
date_updated: 2022-01-06T07:03:50Z
department:
- _id: '75'
doi: 10.1007/s11036-009-0210-5
issue: '6'
page: 769--785
publication: Mobile Networks and Applications
status: public
title: Automated Development of Cooperative MAC Protocols - A Compiler-Assisted Approach
type: journal_article
user_id: '15572'
year: '2010'
...
---
_id: '808'
author:
- first_name: Matthias
  full_name: Andree, Matthias
  last_name: Andree
- first_name: Alexander
  full_name: Gebel, Alexander
  last_name: Gebel
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
citation:
  ama: 'Andree M, Gebel A, Karl H. Concept and Prototype for a Real-Time Enabled Publish/Subscribe
    System. In: <i>10th IEEE International Conference on Computer and Information
    Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010</i>.
    ; 2010:737--742. doi:<a href="https://doi.org/10.1109/CIT.2010.142">10.1109/CIT.2010.142</a>'
  apa: Andree, M., Gebel, A., &#38; Karl, H. (2010). Concept and Prototype for a Real-Time
    Enabled Publish/Subscribe System. In <i>10th IEEE International Conference on
    Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June
    29-July 1, 2010</i> (pp. 737--742). <a href="https://doi.org/10.1109/CIT.2010.142">https://doi.org/10.1109/CIT.2010.142</a>
  bibtex: '@inproceedings{Andree_Gebel_Karl_2010, title={Concept and Prototype for
    a Real-Time Enabled Publish/Subscribe System}, DOI={<a href="https://doi.org/10.1109/CIT.2010.142">10.1109/CIT.2010.142</a>},
    booktitle={10th IEEE International Conference on Computer and Information Technology,
    CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010}, author={Andree,
    Matthias and Gebel, Alexander and Karl, Holger}, year={2010}, pages={737--742}
    }'
  chicago: Andree, Matthias, Alexander Gebel, and Holger Karl. “Concept and Prototype
    for a Real-Time Enabled Publish/Subscribe System.” In <i>10th IEEE International
    Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire,
    UK, June 29-July 1, 2010</i>, 737--742, 2010. <a href="https://doi.org/10.1109/CIT.2010.142">https://doi.org/10.1109/CIT.2010.142</a>.
  ieee: M. Andree, A. Gebel, and H. Karl, “Concept and Prototype for a Real-Time Enabled
    Publish/Subscribe System,” in <i>10th IEEE International Conference on Computer
    and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July
    1, 2010</i>, 2010, pp. 737--742.
  mla: Andree, Matthias, et al. “Concept and Prototype for a Real-Time Enabled Publish/Subscribe
    System.” <i>10th IEEE International Conference on Computer and Information Technology,
    CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010</i>, 2010, pp. 737--742,
    doi:<a href="https://doi.org/10.1109/CIT.2010.142">10.1109/CIT.2010.142</a>.
  short: 'M. Andree, A. Gebel, H. Karl, in: 10th IEEE International Conference on
    Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June
    29-July 1, 2010, 2010, pp. 737--742.'
date_created: 2017-11-27T10:22:26Z
date_updated: 2022-01-06T07:03:50Z
department:
- _id: '75'
doi: 10.1109/CIT.2010.142
page: 737--742
publication: 10th IEEE International Conference on Computer and Information Technology,
  CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010
status: public
title: Concept and Prototype for a Real-Time Enabled Publish/Subscribe System
type: conference
user_id: '15572'
year: '2010'
...
---
_id: '809'
author:
- first_name: Georg
  full_name: Birkenheuer, Georg
  last_name: Birkenheuer
- first_name: Andre
  full_name: Brinkmann, Andre
  last_name: Brinkmann
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
citation:
  ama: 'Birkenheuer G, Brinkmann A, Karl H. Risk Aware Overbooking for Commercial
    Grids. In: <i>Job Scheduling Strategies for Parallel Processing - 15th International
    Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers</i>.
    ; 2010:51-76. doi:<a href="https://doi.org/10.1007/978-3-642-16505-4_4">10.1007/978-3-642-16505-4_4</a>'
  apa: Birkenheuer, G., Brinkmann, A., &#38; Karl, H. (2010). Risk Aware Overbooking
    for Commercial Grids. In <i>Job Scheduling Strategies for Parallel Processing
    - 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised
    Selected Papers</i> (pp. 51–76). <a href="https://doi.org/10.1007/978-3-642-16505-4_4">https://doi.org/10.1007/978-3-642-16505-4_4</a>
  bibtex: '@inproceedings{Birkenheuer_Brinkmann_Karl_2010, title={Risk Aware Overbooking
    for Commercial Grids}, DOI={<a href="https://doi.org/10.1007/978-3-642-16505-4_4">10.1007/978-3-642-16505-4_4</a>},
    booktitle={Job Scheduling Strategies for Parallel Processing - 15th International
    Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers},
    author={Birkenheuer, Georg and Brinkmann, Andre and Karl, Holger}, year={2010},
    pages={51–76} }'
  chicago: Birkenheuer, Georg, Andre Brinkmann, and Holger Karl. “Risk Aware Overbooking
    for Commercial Grids.” In <i>Job Scheduling Strategies for Parallel Processing
    - 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised
    Selected Papers</i>, 51–76, 2010. <a href="https://doi.org/10.1007/978-3-642-16505-4_4">https://doi.org/10.1007/978-3-642-16505-4_4</a>.
  ieee: G. Birkenheuer, A. Brinkmann, and H. Karl, “Risk Aware Overbooking for Commercial
    Grids,” in <i>Job Scheduling Strategies for Parallel Processing - 15th International
    Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers</i>,
    2010, pp. 51–76.
  mla: Birkenheuer, Georg, et al. “Risk Aware Overbooking for Commercial Grids.” <i>Job
    Scheduling Strategies for Parallel Processing - 15th International Workshop, JSSPP
    2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers</i>, 2010, pp.
    51–76, doi:<a href="https://doi.org/10.1007/978-3-642-16505-4_4">10.1007/978-3-642-16505-4_4</a>.
  short: 'G. Birkenheuer, A. Brinkmann, H. Karl, in: Job Scheduling Strategies for
    Parallel Processing - 15th International Workshop, JSSPP 2010, Atlanta, GA, USA,
    April 23, 2010, Revised Selected Papers, 2010, pp. 51–76.'
date_created: 2017-11-27T10:22:26Z
date_updated: 2022-01-06T07:03:50Z
department:
- _id: '75'
- _id: '27'
doi: 10.1007/978-3-642-16505-4_4
page: 51-76
publication: Job Scheduling Strategies for Parallel Processing - 15th International
  Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
status: public
title: Risk Aware Overbooking for Commercial Grids
type: conference
user_id: '24135'
year: '2010'
...
---
_id: '810'
author:
- first_name: Hermann
  full_name: S. Lichte, Hermann
  last_name: S. Lichte
- first_name: Hannes
  full_name: Frey, Hannes
  last_name: Frey
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
citation:
  ama: 'S. Lichte H, Frey H, Karl H. Fading-resistant low-latency broadcasts in wireless
    multihop networks: the probabilistic cooperation diversity approach. In: <i>Proceedings
    of the 11th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing,
    MobiHoc 2010, Chicago, IL, USA, September 20-24, 2010</i>. ; 2010:101--110. doi:<a
    href="https://doi.org/10.1145/1860093.1860108">10.1145/1860093.1860108</a>'
  apa: 'S. Lichte, H., Frey, H., &#38; Karl, H. (2010). Fading-resistant low-latency
    broadcasts in wireless multihop networks: the probabilistic cooperation diversity
    approach. In <i>Proceedings of the 11th ACM Interational Symposium on Mobile Ad
    Hoc Networking and Computing, MobiHoc 2010, Chicago, IL, USA, September 20-24,
    2010</i> (pp. 101--110). <a href="https://doi.org/10.1145/1860093.1860108">https://doi.org/10.1145/1860093.1860108</a>'
  bibtex: '@inproceedings{S. Lichte_Frey_Karl_2010, title={Fading-resistant low-latency
    broadcasts in wireless multihop networks: the probabilistic cooperation diversity
    approach}, DOI={<a href="https://doi.org/10.1145/1860093.1860108">10.1145/1860093.1860108</a>},
    booktitle={Proceedings of the 11th ACM Interational Symposium on Mobile Ad Hoc
    Networking and Computing, MobiHoc 2010, Chicago, IL, USA, September 20-24, 2010},
    author={S. Lichte, Hermann and Frey, Hannes and Karl, Holger}, year={2010}, pages={101--110}
    }'
  chicago: 'S. Lichte, Hermann, Hannes Frey, and Holger Karl. “Fading-Resistant Low-Latency
    Broadcasts in Wireless Multihop Networks: The Probabilistic Cooperation Diversity
    Approach.” In <i>Proceedings of the 11th ACM Interational Symposium on Mobile
    Ad Hoc Networking and Computing, MobiHoc 2010, Chicago, IL, USA, September 20-24,
    2010</i>, 101--110, 2010. <a href="https://doi.org/10.1145/1860093.1860108">https://doi.org/10.1145/1860093.1860108</a>.'
  ieee: 'H. S. Lichte, H. Frey, and H. Karl, “Fading-resistant low-latency broadcasts
    in wireless multihop networks: the probabilistic cooperation diversity approach,”
    in <i>Proceedings of the 11th ACM Interational Symposium on Mobile Ad Hoc Networking
    and Computing, MobiHoc 2010, Chicago, IL, USA, September 20-24, 2010</i>, 2010,
    pp. 101--110.'
  mla: 'S. Lichte, Hermann, et al. “Fading-Resistant Low-Latency Broadcasts in Wireless
    Multihop Networks: The Probabilistic Cooperation Diversity Approach.” <i>Proceedings
    of the 11th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing,
    MobiHoc 2010, Chicago, IL, USA, September 20-24, 2010</i>, 2010, pp. 101--110,
    doi:<a href="https://doi.org/10.1145/1860093.1860108">10.1145/1860093.1860108</a>.'
  short: 'H. S. Lichte, H. Frey, H. Karl, in: Proceedings of the 11th ACM Interational
    Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2010, Chicago, IL,
    USA, September 20-24, 2010, 2010, pp. 101--110.'
date_created: 2017-11-27T10:22:26Z
date_updated: 2022-01-06T07:03:50Z
department:
- _id: '75'
doi: 10.1145/1860093.1860108
page: 101--110
publication: Proceedings of the 11th ACM Interational Symposium on Mobile Ad Hoc Networking
  and Computing, MobiHoc 2010, Chicago, IL, USA, September 20-24, 2010
status: public
title: 'Fading-resistant low-latency broadcasts in wireless multihop networks: the
  probabilistic cooperation diversity approach'
type: conference
user_id: '15572'
year: '2010'
...
---
_id: '811'
author:
- first_name: Thorsten
  full_name: Biermann, Thorsten
  last_name: Biermann
- first_name: Christian
  full_name: Dannewitz, Christian
  last_name: Dannewitz
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
citation:
  ama: 'Biermann T, Dannewitz C, Karl H. FIT: Future Internet Toolbox. In: <i>Testbeds
    and Research Infrastructures. Development of Networks and Communities - 6th International
    ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected
    Papers</i>. ; 2010:442--453. doi:<a href="https://doi.org/10.1007/978-3-642-17851-1_34">10.1007/978-3-642-17851-1_34</a>'
  apa: 'Biermann, T., Dannewitz, C., &#38; Karl, H. (2010). FIT: Future Internet Toolbox.
    In <i>Testbeds and Research Infrastructures. Development of Networks and Communities
    - 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20,
    2010, Revised Selected Papers</i> (pp. 442--453). <a href="https://doi.org/10.1007/978-3-642-17851-1_34">https://doi.org/10.1007/978-3-642-17851-1_34</a>'
  bibtex: '@inproceedings{Biermann_Dannewitz_Karl_2010, title={FIT: Future Internet
    Toolbox}, DOI={<a href="https://doi.org/10.1007/978-3-642-17851-1_34">10.1007/978-3-642-17851-1_34</a>},
    booktitle={Testbeds and Research Infrastructures. Development of Networks and
    Communities - 6th International ICST Conference, TridentCom 2010, Berlin, Germany,
    May 18-20, 2010, Revised Selected Papers}, author={Biermann, Thorsten and Dannewitz,
    Christian and Karl, Holger}, year={2010}, pages={442--453} }'
  chicago: 'Biermann, Thorsten, Christian Dannewitz, and Holger Karl. “FIT: Future
    Internet Toolbox.” In <i>Testbeds and Research Infrastructures. Development of
    Networks and Communities - 6th International ICST Conference, TridentCom 2010,
    Berlin, Germany, May 18-20, 2010, Revised Selected Papers</i>, 442--453, 2010.
    <a href="https://doi.org/10.1007/978-3-642-17851-1_34">https://doi.org/10.1007/978-3-642-17851-1_34</a>.'
  ieee: 'T. Biermann, C. Dannewitz, and H. Karl, “FIT: Future Internet Toolbox,” in
    <i>Testbeds and Research Infrastructures. Development of Networks and Communities
    - 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20,
    2010, Revised Selected Papers</i>, 2010, pp. 442--453.'
  mla: 'Biermann, Thorsten, et al. “FIT: Future Internet Toolbox.” <i>Testbeds and
    Research Infrastructures. Development of Networks and Communities - 6th International
    ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected
    Papers</i>, 2010, pp. 442--453, doi:<a href="https://doi.org/10.1007/978-3-642-17851-1_34">10.1007/978-3-642-17851-1_34</a>.'
  short: 'T. Biermann, C. Dannewitz, H. Karl, in: Testbeds and Research Infrastructures.
    Development of Networks and Communities - 6th International ICST Conference, TridentCom
    2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers, 2010, pp. 442--453.'
date_created: 2017-11-27T10:22:26Z
date_updated: 2022-01-06T07:03:50Z
department:
- _id: '75'
doi: 10.1007/978-3-642-17851-1_34
page: 442--453
publication: Testbeds and Research Infrastructures. Development of Networks and Communities
  - 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20,
  2010, Revised Selected Papers
status: public
title: 'FIT: Future Internet Toolbox'
type: conference
user_id: '15572'
year: '2010'
...
---
_id: '812'
author:
- first_name: Christian
  full_name: Dannewitz, Christian
  last_name: Dannewitz
- first_name: Thorsten
  full_name: Biermann, Thorsten
  last_name: Biermann
- first_name: Martin
  full_name: Dräxler, Martin
  last_name: Dräxler
- first_name: Frederic
  full_name: Beister, Frederic
  last_name: Beister
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
citation:
  ama: 'Dannewitz C, Biermann T, Dräxler M, Beister F, Karl H. Prototyping with the
    Future Internet Toolbox. In: <i>Testbeds and Research Infrastructures. Development
    of Networks and Communities - 6th International ICST Conference, TridentCom 2010,
    Berlin, Germany, May 18-20, 2010, Revised Selected Papers</i>. ; 2010:609--611.
    doi:<a href="https://doi.org/10.1007/978-3-642-17851-1_56">10.1007/978-3-642-17851-1_56</a>'
  apa: Dannewitz, C., Biermann, T., Dräxler, M., Beister, F., &#38; Karl, H. (2010).
    Prototyping with the Future Internet Toolbox. In <i>Testbeds and Research Infrastructures.
    Development of Networks and Communities - 6th International ICST Conference, TridentCom
    2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers</i> (pp. 609--611).
    <a href="https://doi.org/10.1007/978-3-642-17851-1_56">https://doi.org/10.1007/978-3-642-17851-1_56</a>
  bibtex: '@inproceedings{Dannewitz_Biermann_Dräxler_Beister_Karl_2010, title={Prototyping
    with the Future Internet Toolbox}, DOI={<a href="https://doi.org/10.1007/978-3-642-17851-1_56">10.1007/978-3-642-17851-1_56</a>},
    booktitle={Testbeds and Research Infrastructures. Development of Networks and
    Communities - 6th International ICST Conference, TridentCom 2010, Berlin, Germany,
    May 18-20, 2010, Revised Selected Papers}, author={Dannewitz, Christian and Biermann,
    Thorsten and Dräxler, Martin and Beister, Frederic and Karl, Holger}, year={2010},
    pages={609--611} }'
  chicago: Dannewitz, Christian, Thorsten Biermann, Martin Dräxler, Frederic Beister,
    and Holger Karl. “Prototyping with the Future Internet Toolbox.” In <i>Testbeds
    and Research Infrastructures. Development of Networks and Communities - 6th International
    ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected
    Papers</i>, 609--611, 2010. <a href="https://doi.org/10.1007/978-3-642-17851-1_56">https://doi.org/10.1007/978-3-642-17851-1_56</a>.
  ieee: C. Dannewitz, T. Biermann, M. Dräxler, F. Beister, and H. Karl, “Prototyping
    with the Future Internet Toolbox,” in <i>Testbeds and Research Infrastructures.
    Development of Networks and Communities - 6th International ICST Conference, TridentCom
    2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers</i>, 2010, pp.
    609--611.
  mla: Dannewitz, Christian, et al. “Prototyping with the Future Internet Toolbox.”
    <i>Testbeds and Research Infrastructures. Development of Networks and Communities
    - 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20,
    2010, Revised Selected Papers</i>, 2010, pp. 609--611, doi:<a href="https://doi.org/10.1007/978-3-642-17851-1_56">10.1007/978-3-642-17851-1_56</a>.
  short: 'C. Dannewitz, T. Biermann, M. Dräxler, F. Beister, H. Karl, in: Testbeds
    and Research Infrastructures. Development of Networks and Communities - 6th International
    ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected
    Papers, 2010, pp. 609--611.'
date_created: 2017-11-27T10:22:26Z
date_updated: 2022-01-06T07:03:51Z
department:
- _id: '75'
doi: 10.1007/978-3-642-17851-1_56
page: 609--611
publication: Testbeds and Research Infrastructures. Development of Networks and Communities
  - 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20,
  2010, Revised Selected Papers
status: public
title: Prototyping with the Future Internet Toolbox
type: conference
user_id: '15572'
year: '2010'
...
---
_id: '8219'
abstract:
- lang: eng
  text: Modern business process modeling environments support distributed development
    by means of model version control, i.e., comparison and merging of two different
    model versions. This is a challenging task since most modeling languages support
    an almost arbitrary creation of process models. Thus, in multi-developer environments,
    process models or parts of them are often syntactically very different but semantically
    equivalent. Hence, the comparison of business process models must be performed
    on a semantic level rather then on a syntactic level. For the domain of business
    process modeling, this problem is yet unsolved. This paper describes an approach
    that allows the semantic comparison of different business process models using
    a normal form. For that purpose, the process models are fully automatically translated
    into process model terms and normalized using a term rewriting system. The resulting
    normal forms can be efficiently compared. Our approach enables the semantic comparison
    of business process models ignoring syntactic redundancies.
author:
- first_name: Christian
  full_name: Gerth, Christian
  last_name: Gerth
- first_name: Markus
  full_name: Luckey, Markus
  last_name: Luckey
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Gerth C, Luckey M, Küster J, Engels G. <i>Detection of Semantically Equivalent
    Fragments for Business Process Model Change Management</i>. Zurich: IBM Research;
    2010.'
  apa: 'Gerth, C., Luckey, M., Küster, J., &#38; Engels, G. (2010). <i>Detection of
    Semantically Equivalent Fragments for Business Process Model Change Management</i>.
    Zurich: IBM Research.'
  bibtex: '@book{Gerth_Luckey_Küster_Engels_2010, place={Zurich}, series={IBM Research
    Report}, title={Detection of Semantically Equivalent Fragments for Business Process
    Model Change Management}, publisher={IBM Research}, author={Gerth, Christian and
    Luckey, Markus and Küster, Jochen and Engels, Gregor}, year={2010}, collection={IBM
    Research Report} }'
  chicago: 'Gerth, Christian, Markus Luckey, Jochen Küster, and Gregor Engels. <i>Detection
    of Semantically Equivalent Fragments for Business Process Model Change Management</i>.
    IBM Research Report. Zurich: IBM Research, 2010.'
  ieee: 'C. Gerth, M. Luckey, J. Küster, and G. Engels, <i>Detection of Semantically
    Equivalent Fragments for Business Process Model Change Management</i>. Zurich:
    IBM Research, 2010.'
  mla: Gerth, Christian, et al. <i>Detection of Semantically Equivalent Fragments
    for Business Process Model Change Management</i>. IBM Research, 2010.
  short: C. Gerth, M. Luckey, J. Küster, G. Engels, Detection of Semantically Equivalent
    Fragments for Business Process Model Change Management, IBM Research, Zurich,
    2010.
date_created: 2019-03-03T16:13:18Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
place: Zurich
publisher: IBM Research
report_number: '3767'
series_title: IBM Research Report
status: public
title: Detection of Semantically Equivalent Fragments for Business Process Model Change
  Management
type: report
user_id: '52534'
year: '2010'
...
---
_id: '8220'
author:
- first_name: Mathias
  full_name: Hülsbusch, Mathias
  last_name: Hülsbusch
- first_name: Barbara
  full_name: König, Barbara
  last_name: König
- first_name: Arend
  full_name: Rensink, Arend
  last_name: Rensink
- first_name: Maria
  full_name: Semenyak, Maria
  last_name: Semenyak
- first_name: Christian
  full_name: Soltenborn, Christian
  id: '1737'
  last_name: Soltenborn
  orcid: 0000-0002-0342-8227
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. <i>Full
    Semantics Preservation in Model Transformation - A Comparison of Proof Techniques</i>.
    Enschede, The Netherlands: Centre for Telematics and Information Technology of
    the University of Twente; 2010.'
  apa: 'Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., &#38;
    Wehrheim, H. (2010). <i>Full Semantics Preservation in Model Transformation -
    A Comparison of Proof Techniques</i>. Enschede, The Netherlands: Centre for Telematics
    and Information Technology of the University of Twente.'
  bibtex: '@book{Hülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010, place={Enschede,
    The Netherlands}, title={Full Semantics Preservation in Model Transformation -
    A Comparison of Proof Techniques}, publisher={Centre for Telematics and Information
    Technology of the University of Twente}, author={Hülsbusch, Mathias and König,
    Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim,
    Heike}, year={2010} }'
  chicago: 'Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian
    Soltenborn, and Heike Wehrheim. <i>Full Semantics Preservation in Model Transformation
    - A Comparison of Proof Techniques</i>. Enschede, The Netherlands: Centre for
    Telematics and Information Technology of the University of Twente, 2010.'
  ieee: 'M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim,
    <i>Full Semantics Preservation in Model Transformation - A Comparison of Proof
    Techniques</i>. Enschede, The Netherlands: Centre for Telematics and Information
    Technology of the University of Twente, 2010.'
  mla: Hülsbusch, Mathias, et al. <i>Full Semantics Preservation in Model Transformation
    - A Comparison of Proof Techniques</i>. Centre for Telematics and Information
    Technology of the University of Twente, 2010.
  short: M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim,
    Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques,
    Centre for Telematics and Information Technology of the University of Twente,
    Enschede, The Netherlands, 2010.
date_created: 2019-03-03T16:13:20Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
place: Enschede, The Netherlands
publisher: Centre for Telematics and Information Technology of the University of Twente
status: public
title: Full Semantics Preservation in Model Transformation - A Comparison of Proof
  Techniques
type: report
user_id: '14955'
year: '2010'
...
---
_id: '5756'
author:
- first_name: Frank
  full_name: Brüseke, Frank
  last_name: Brüseke
- first_name: Yavuz
  full_name: Sancar, Yavuz
  last_name: Sancar
- first_name: Enes
  full_name: Yigitbas, Enes
  id: '8447'
  last_name: Yigitbas
  orcid: 0000-0002-5967-833X
citation:
  ama: 'Brüseke F, Sancar Y, Yigitbas E. Erfolgsfaktoren von Testprozessbewertungsmodellen.
    In: <i>Proceedings of the Conference on Software &#38; Systems Engineering Essentials
    2010 (SEE 2010), Köln (Germany)</i>. Technische Universität München; 2010:277-298.'
  apa: Brüseke, F., Sancar, Y., &#38; Yigitbas, E. (2010). Erfolgsfaktoren von Testprozessbewertungsmodellen.
    In <i>Proceedings of the Conference on Software &#38; Systems Engineering Essentials
    2010 (SEE 2010), Köln (Germany)</i> (pp. 277–298). Technische Universität München.
  bibtex: '@inproceedings{Brüseke_Sancar_Yigitbas_2010, title={Erfolgsfaktoren von
    Testprozessbewertungsmodellen}, booktitle={Proceedings of the Conference on Software
    &#38; Systems Engineering Essentials 2010 (SEE 2010), Köln (Germany)}, publisher={Technische
    Universität München}, author={Brüseke, Frank and Sancar, Yavuz and Yigitbas, Enes},
    year={2010}, pages={277–298} }'
  chicago: Brüseke, Frank, Yavuz Sancar, and Enes Yigitbas. “Erfolgsfaktoren von Testprozessbewertungsmodellen.”
    In <i>Proceedings of the Conference on Software &#38; Systems Engineering Essentials
    2010 (SEE 2010), Köln (Germany)</i>, 277–98. Technische Universität München, 2010.
  ieee: F. Brüseke, Y. Sancar, and E. Yigitbas, “Erfolgsfaktoren von Testprozessbewertungsmodellen,”
    in <i>Proceedings of the Conference on Software &#38; Systems Engineering Essentials
    2010 (SEE 2010), Köln (Germany)</i>, 2010, pp. 277–298.
  mla: Brüseke, Frank, et al. “Erfolgsfaktoren von Testprozessbewertungsmodellen.”
    <i>Proceedings of the Conference on Software &#38; Systems Engineering Essentials
    2010 (SEE 2010), Köln (Germany)</i>, Technische Universität München, 2010, pp.
    277–98.
  short: 'F. Brüseke, Y. Sancar, E. Yigitbas, in: Proceedings of the Conference on
    Software &#38; Systems Engineering Essentials 2010 (SEE 2010), Köln (Germany),
    Technische Universität München, 2010, pp. 277–298.'
date_created: 2018-11-19T15:27:18Z
date_updated: 2022-01-06T07:02:38Z
department:
- _id: '66'
language:
- iso: eng
page: 277-298
publication: Proceedings of the Conference on Software & Systems Engineering Essentials
  2010 (SEE 2010), Köln (Germany)
publisher: Technische Universität München
status: public
title: Erfolgsfaktoren von Testprozessbewertungsmodellen
type: conference
user_id: '8447'
year: '2010'
...
---
_id: '7356'
author:
- first_name: Renate
  full_name: Löffler, Renate
  last_name: Löffler
- first_name: Baris
  full_name: Güldali, Baris
  last_name: Güldali
- first_name: Silke
  full_name: Geisen, Silke
  last_name: Geisen
citation:
  ama: Löffler R, Güldali B, Geisen S. Towards Model-based Acceptance Testing for
    Scrum. <i>Softwaretechnik-Trends</i>. 2010;30(3):9-12.
  apa: Löffler, R., Güldali, B., &#38; Geisen, S. (2010). Towards Model-based Acceptance
    Testing for Scrum. <i>Softwaretechnik-Trends</i>, <i>30</i>(3), 9–12.
  bibtex: '@article{Löffler_Güldali_Geisen_2010, title={Towards Model-based Acceptance
    Testing for Scrum}, volume={30}, number={3}, journal={Softwaretechnik-Trends},
    author={Löffler, Renate and Güldali, Baris and Geisen, Silke}, year={2010}, pages={9–12}
    }'
  chicago: 'Löffler, Renate, Baris Güldali, and Silke Geisen. “Towards Model-Based
    Acceptance Testing for Scrum.” <i>Softwaretechnik-Trends</i> 30, no. 3 (2010):
    9–12.'
  ieee: R. Löffler, B. Güldali, and S. Geisen, “Towards Model-based Acceptance Testing
    for Scrum,” <i>Softwaretechnik-Trends</i>, vol. 30, no. 3, pp. 9–12, 2010.
  mla: Löffler, Renate, et al. “Towards Model-Based Acceptance Testing for Scrum.”
    <i>Softwaretechnik-Trends</i>, vol. 30, no. 3, 2010, pp. 9–12.
  short: R. Löffler, B. Güldali, S. Geisen, Softwaretechnik-Trends 30 (2010) 9–12.
date_created: 2019-01-31T13:03:06Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
intvolume: '        30'
issue: '3'
language:
- iso: eng
page: 9-12
publication: Softwaretechnik-Trends
status: public
title: Towards Model-based Acceptance Testing for Scrum
type: journal_article
user_id: '52534'
volume: 30
year: '2010'
...
---
_id: '7357'
author:
- first_name: Baris
  full_name: Güldali, Baris
  last_name: Güldali
- first_name: Stefan
  full_name: Jungmayr, Stefan
  last_name: Jungmayr
- first_name: Michael
  full_name: Mlynarski, Michael
  last_name: Mlynarski
- first_name: Stefan
  full_name: Neumann, Stefan
  last_name: Neumann
- first_name: Mario
  full_name: Winter, Mario
  last_name: Winter
citation:
  ama: Güldali B, Jungmayr S, Mlynarski M, Neumann S, Winter M. Starthilfe für modellbasiertes
    Testen. <i>OBJEKTspektrum</i>. 2010;(3):63-69.
  apa: Güldali, B., Jungmayr, S., Mlynarski, M., Neumann, S., &#38; Winter, M. (2010).
    Starthilfe für modellbasiertes Testen. <i>OBJEKTspektrum</i>, (3), 63–69.
  bibtex: '@article{Güldali_Jungmayr_Mlynarski_Neumann_Winter_2010, title={Starthilfe
    für modellbasiertes Testen}, number={3}, journal={OBJEKTspektrum}, author={Güldali,
    Baris and Jungmayr, Stefan and Mlynarski, Michael and Neumann, Stefan and Winter,
    Mario}, year={2010}, pages={63–69} }'
  chicago: 'Güldali, Baris, Stefan Jungmayr, Michael Mlynarski, Stefan Neumann, and
    Mario Winter. “Starthilfe Für Modellbasiertes Testen.” <i>OBJEKTspektrum</i>,
    no. 3 (2010): 63–69.'
  ieee: B. Güldali, S. Jungmayr, M. Mlynarski, S. Neumann, and M. Winter, “Starthilfe
    für modellbasiertes Testen,” <i>OBJEKTspektrum</i>, no. 3, pp. 63–69, 2010.
  mla: Güldali, Baris, et al. “Starthilfe Für Modellbasiertes Testen.” <i>OBJEKTspektrum</i>,
    no. 3, 2010, pp. 63–69.
  short: B. Güldali, S. Jungmayr, M. Mlynarski, S. Neumann, M. Winter, OBJEKTspektrum
    (2010) 63–69.
date_created: 2019-01-31T13:03:42Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
issue: '3'
language:
- iso: eng
page: 63-69
publication: OBJEKTspektrum
status: public
title: Starthilfe für modellbasiertes Testen
type: journal_article
user_id: '52534'
year: '2010'
...
---
_id: '7358'
author:
- first_name: Dominik
  full_name: Beulen, Dominik
  last_name: Beulen
- first_name: Baris
  full_name: Güldali, Baris
  last_name: Güldali
- first_name: Michael
  full_name: Mlynarski, Michael
  last_name: Mlynarski
citation:
  ama: Beulen D, Güldali B, Mlynarski M. Tabellarischer Vergleich der Prozessmodelle
    für modellbasiertes Testen aus Managementsicht. <i>Softwaretechnik-Trends</i>.
    2010;30(2):6-9.
  apa: Beulen, D., Güldali, B., &#38; Mlynarski, M. (2010). Tabellarischer Vergleich
    der Prozessmodelle für modellbasiertes Testen aus Managementsicht. <i>Softwaretechnik-Trends</i>,
    <i>30</i>(2), 6–9.
  bibtex: '@article{Beulen_Güldali_Mlynarski_2010, title={Tabellarischer Vergleich
    der Prozessmodelle für modellbasiertes Testen aus Managementsicht}, volume={30},
    number={2}, journal={Softwaretechnik-Trends}, author={Beulen, Dominik and Güldali,
    Baris and Mlynarski, Michael}, year={2010}, pages={6–9} }'
  chicago: 'Beulen, Dominik, Baris Güldali, and Michael Mlynarski. “Tabellarischer
    Vergleich Der Prozessmodelle Für Modellbasiertes Testen Aus Managementsicht.”
    <i>Softwaretechnik-Trends</i> 30, no. 2 (2010): 6–9.'
  ieee: D. Beulen, B. Güldali, and M. Mlynarski, “Tabellarischer Vergleich der Prozessmodelle
    für modellbasiertes Testen aus Managementsicht,” <i>Softwaretechnik-Trends</i>,
    vol. 30, no. 2, pp. 6–9, 2010.
  mla: Beulen, Dominik, et al. “Tabellarischer Vergleich Der Prozessmodelle Für Modellbasiertes
    Testen Aus Managementsicht.” <i>Softwaretechnik-Trends</i>, vol. 30, no. 2, 2010,
    pp. 6–9.
  short: D. Beulen, B. Güldali, M. Mlynarski, Softwaretechnik-Trends 30 (2010) 6–9.
date_created: 2019-01-31T13:04:16Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
intvolume: '        30'
issue: '2'
language:
- iso: eng
page: 6-9
publication: Softwaretechnik-Trends
status: public
title: Tabellarischer Vergleich der Prozessmodelle für modellbasiertes Testen aus
  Managementsicht
type: journal_article
user_id: '52534'
volume: 30
year: '2010'
...
---
_id: '7359'
author:
- first_name: Melanie
  full_name: Späth, Melanie
  last_name: Späth
- first_name: Michael
  full_name: Mlynarski, Michael
  last_name: Mlynarski
citation:
  ama: 'Späth M, Mlynarski M. Agiles Testen in Großprojekten mit TDD und Testaspekten:
    Beobachtungen und erste Erfahrungen. <i>Softwaretechnik-Trends</i>. 2010;30.'
  apa: 'Späth, M., &#38; Mlynarski, M. (2010). Agiles Testen in Großprojekten mit
    TDD und Testaspekten: Beobachtungen und erste Erfahrungen. <i>Softwaretechnik-Trends</i>,
    <i>30</i>.'
  bibtex: '@article{Späth_Mlynarski_2010, title={Agiles Testen in Großprojekten mit
    TDD und Testaspekten: Beobachtungen und erste Erfahrungen}, volume={30}, journal={Softwaretechnik-Trends},
    author={Späth, Melanie and Mlynarski, Michael}, year={2010} }'
  chicago: 'Späth, Melanie, and Michael Mlynarski. “Agiles Testen in Großprojekten
    Mit TDD Und Testaspekten: Beobachtungen Und Erste Erfahrungen.” <i>Softwaretechnik-Trends</i>
    30 (2010).'
  ieee: 'M. Späth and M. Mlynarski, “Agiles Testen in Großprojekten mit TDD und Testaspekten:
    Beobachtungen und erste Erfahrungen,” <i>Softwaretechnik-Trends</i>, vol. 30,
    2010.'
  mla: 'Späth, Melanie, and Michael Mlynarski. “Agiles Testen in Großprojekten Mit
    TDD Und Testaspekten: Beobachtungen Und Erste Erfahrungen.” <i>Softwaretechnik-Trends</i>,
    vol. 30, 2010.'
  short: M. Späth, M. Mlynarski, Softwaretechnik-Trends 30 (2010).
date_created: 2019-01-31T13:05:54Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
intvolume: '        30'
language:
- iso: eng
main_file_link:
- url: https://pdfs.semanticscholar.org/60f0/c7a91e57e1741a75581ecf5a48ba228669ec.pdf
publication: Softwaretechnik-Trends
status: public
title: 'Agiles Testen in Großprojekten mit TDD und Testaspekten: Beobachtungen und
  erste Erfahrungen'
type: journal_article
user_id: '52534'
volume: 30
year: '2010'
...
---
_id: '7364'
abstract:
- lang: eng
  text: In the last years the software engineering community pays a strong interest
    in agile development methods. Those methods place software testing for example
    the Test-Driven Development method as an important task of the development process.
    Agile projects rely on good test automation tools. In this paper we evaluate five
    test automation tools for their usage in acceptance testing for web applications
    using Test-Driven Development.
author:
- first_name: Marian
  full_name: Jureczko, Marian
  last_name: Jureczko
- first_name: Michael
  full_name: Mlynarski, Michael
  last_name: Mlynarski
citation:
  ama: Jureczko M, Mlynarski M. Automated acceptance testing tools for web applications
    using Test-Driven Development. <i>Electrical Review</i>. 2010;86:198-202.
  apa: Jureczko, M., &#38; Mlynarski, M. (2010). Automated acceptance testing tools
    for web applications using Test-Driven Development. <i>Electrical Review</i>,
    <i>86</i>, 198–202.
  bibtex: '@article{Jureczko_Mlynarski_2010, title={Automated acceptance testing tools
    for web applications using Test-Driven Development}, volume={86}, journal={Electrical
    Review}, author={Jureczko, Marian and Mlynarski, Michael}, year={2010}, pages={198–202}
    }'
  chicago: 'Jureczko, Marian, and Michael Mlynarski. “Automated Acceptance Testing
    Tools for Web Applications Using Test-Driven Development.” <i>Electrical Review</i>
    86 (2010): 198–202.'
  ieee: M. Jureczko and M. Mlynarski, “Automated acceptance testing tools for web
    applications using Test-Driven Development,” <i>Electrical Review</i>, vol. 86,
    pp. 198–202, 2010.
  mla: Jureczko, Marian, and Michael Mlynarski. “Automated Acceptance Testing Tools
    for Web Applications Using Test-Driven Development.” <i>Electrical Review</i>,
    vol. 86, 2010, pp. 198–202.
  short: M. Jureczko, M. Mlynarski, Electrical Review 86 (2010) 198–202.
date_created: 2019-01-31T15:17:37Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
intvolume: '        86'
language:
- iso: eng
page: 198-202
publication: Electrical Review
status: public
title: Automated acceptance testing tools for web applications using Test-Driven Development
type: journal_article
user_id: '52534'
volume: 86
year: '2010'
...
---
_id: '7556'
author:
- first_name: Sebastian
  full_name: Oster, Sebastian
  last_name: Oster
- first_name: Andreas
  full_name: Wübbeke, Andreas
  last_name: Wübbeke
- 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: 'Oster S, Wübbeke A, Engels G, Schürr A. Model-Based Software Product Lines
    Testing Survey. In: Mosterman, I. Schieferdecker, J. Zander  P, ed. <i>Model-Based
    Testing For Embedded Systems</i>. Computational Analysis, Synthesis, and Design
    of Dynamic Systems. CRC Press; 2010:339-381.'
  apa: Oster, S., Wübbeke, A., Engels, G., &#38; Schürr, A. (2010). Model-Based Software
    Product Lines Testing Survey. In P. Mosterman, I. Schieferdecker, J. Zander  (Ed.),
    <i>Model-Based Testing For Embedded Systems</i> (pp. 339–381). CRC Press.
  bibtex: '@inbook{Oster_Wübbeke_Engels_Schürr_2010, series={Computational Analysis,
    Synthesis, and Design of Dynamic Systems}, title={Model-Based Software Product
    Lines Testing Survey}, booktitle={Model-Based Testing For Embedded Systems}, publisher={CRC
    Press}, author={Oster, Sebastian and Wübbeke, Andreas and Engels, Gregor and Schürr,
    Andy}, editor={Mosterman, I. Schieferdecker, J. Zander , P.Editor}, year={2010},
    pages={339–381}, collection={Computational Analysis, Synthesis, and Design of
    Dynamic Systems} }'
  chicago: Oster, Sebastian, Andreas Wübbeke, Gregor Engels, and Andy Schürr. “Model-Based
    Software Product Lines Testing Survey.” In <i>Model-Based Testing For Embedded
    Systems</i>, edited by P. Mosterman, I. Schieferdecker, J. Zander , 339–81. Computational
    Analysis, Synthesis, and Design of Dynamic Systems. CRC Press, 2010.
  ieee: S. Oster, A. Wübbeke, G. Engels, and A. Schürr, “Model-Based Software Product
    Lines Testing Survey,” in <i>Model-Based Testing For Embedded Systems</i>, P.
    Mosterman, I. Schieferdecker, J. Zander , Ed. CRC Press, 2010, pp. 339–381.
  mla: Oster, Sebastian, et al. “Model-Based Software Product Lines Testing Survey.”
    <i>Model-Based Testing For Embedded Systems</i>, edited by P. Mosterman, I. Schieferdecker,
    J. Zander , CRC Press, 2010, pp. 339–81.
  short: 'S. Oster, A. Wübbeke, G. Engels, A. Schürr, in: P. Mosterman, I. Schieferdecker,
    J. Zander  (Ed.), Model-Based Testing For Embedded Systems, CRC Press, 2010, pp.
    339–381.'
date_created: 2019-02-05T13:12:01Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: P.
  full_name: Mosterman, I. Schieferdecker, J. Zander , P.
  last_name: 'Mosterman, I. Schieferdecker, J. Zander '
language:
- iso: eng
page: 339-381
publication: Model-Based Testing For Embedded Systems
publisher: CRC Press
series_title: Computational Analysis, Synthesis, and Design of Dynamic Systems
status: public
title: Model-Based Software Product Lines Testing Survey
type: book_chapter
user_id: '52534'
year: '2010'
...
---
_id: '7573'
abstract:
- lang: eng
  text: Software Product Lines (SPL) are a development paradigm allowing the reduction
    of the software system development time while increasing their quality. To reach
    these goals, the artefacts being part of many or all software systems are developed
    only once and reused within the different software systems. The software systems
    developed by a software product line approach are called products. Like a thread
    the reuse of artefacts is woven into the software product line development process.
    As some artefacts are only used for the development of some products, these artefacts
    constitute the variability of the SPL. First of all, the modelling of variability
    has to be enabled in every artefact. Beside this, dependencies can arise between
    variable artefacts. The modelling of variability and dependencies also demands
    the redevelopment or adaption of specification techniques for these artefacts.
    This thesis focuses on the variability management concerning requirements and
    test case specification for Software Product Lines. For this purpose, existing
    modelling languages and specification techniques are augmented with variability
    instead of redeveloping similar software development artefacts over and over again.
    In order to augment the modelling languages by variability, a language construction
    process based on a meta model of the variability management is defined. In order
    to manage the dependencies between variable artefacts, a feature based variability
    management is introduced. Finally, the extension of specification techniques for
    requirements specifications based on use case descriptions and test specifications
    are described. The contribution of this thesis is substantiated by a prototypical
    tool support and an industrial case study.
author:
- first_name: Andreas
  full_name: Wübbeke, Andreas
  last_name: Wübbeke
citation:
  ama: Wübbeke A. <i>Variabilitätsmanagement in Anforderungs- Und Testfallspezifikation
    Für Software-Produktlinien</i>.; 2010.
  apa: Wübbeke, A. (2010). <i>Variabilitätsmanagement in Anforderungs- und Testfallspezifikation
    für Software-Produktlinien</i>.
  bibtex: '@book{Wübbeke_2010, title={Variabilitätsmanagement in Anforderungs- und
    Testfallspezifikation für Software-Produktlinien}, author={Wübbeke, Andreas},
    year={2010} }'
  chicago: Wübbeke, Andreas. <i>Variabilitätsmanagement in Anforderungs- Und Testfallspezifikation
    Für Software-Produktlinien</i>, 2010.
  ieee: A. Wübbeke, <i>Variabilitätsmanagement in Anforderungs- und Testfallspezifikation
    für Software-Produktlinien</i>. 2010.
  mla: Wübbeke, Andreas. <i>Variabilitätsmanagement in Anforderungs- Und Testfallspezifikation
    Für Software-Produktlinien</i>. 2010.
  short: A. Wübbeke, Variabilitätsmanagement in Anforderungs- Und Testfallspezifikation
    Für Software-Produktlinien, 2010.
date_created: 2019-02-06T14:20:25Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: Variabilitätsmanagement in Anforderungs- und Testfallspezifikation für Software-Produktlinien
type: dissertation
user_id: '52534'
year: '2010'
...
---
_id: '8437'
abstract:
- lang: eng
  text: Deriving a new language L_B from an already existing one L_A is a typical
    task in domain-specific language engineering. Here, besides adjusting L_A's syntax,
    the language engineer has to modify the semantics of L_A to derive L_B's semantics.
    Particularly, in case of behavioral modeling languages, this is a difficult and
    error-prone task, as changing the behavior of language elements or adding behavior
    for new elements might have undesired side effects. Therefore, we propose a test-driven
    language derivation process. In a first step, the language engineer creates example
    models containing the changed or newly added elements in different contexts. For
    each of these models, the language engineer also precisely describes the expected
    behavior. In a second step, each example model and its description of behavior
    is transformed into an executable test case. Finally, these test cases are used
    when deriving the actual semantics of L_B - at any time, the language engineer
    can run the tests to verify whether the changes he performed on L_A's semantics
    indeed produce the desired behavior. In this paper, we illustrate the approach
    using our graph transformation-based semantics specification technique Dynamic
    Meta Modeling. This is once more an example where the graph transformation approach
    shows its strengths and appropriateness to support software engineering tasks
    as, e.g., model transformations, software specifications, or tool development.
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Christian
  full_name: Soltenborn, Christian
  id: '1737'
  last_name: Soltenborn
  orcid: 0000-0002-0342-8227
citation:
  ama: 'Engels G, Soltenborn C. Test-driven Language Derivation with Graph Transformation-based
    Dynamic Meta Modeling. In: <i>Proceedings of the International Colloquium on Graph
    and Model Transformation (GraMoT 2010), Berlin (Germany)</i>. Vol 30. Electronic
    Communications of the EASST. European Association of Software Science and Technology;
    2010:240-257.'
  apa: Engels, G., &#38; Soltenborn, C. (2010). Test-driven Language Derivation with
    Graph Transformation-based Dynamic Meta Modeling. In <i>Proceedings of the International
    Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany)</i>
    (Vol. 30, pp. 240–257). European Association of Software Science and Technology.
  bibtex: '@inproceedings{Engels_Soltenborn_2010, series={Electronic Communications
    of the EASST}, title={Test-driven Language Derivation with Graph Transformation-based
    Dynamic Meta Modeling}, volume={30}, booktitle={Proceedings of the International
    Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany)},
    publisher={European Association of Software Science and Technology}, author={Engels,
    Gregor and Soltenborn, Christian}, year={2010}, pages={240–257}, collection={Electronic
    Communications of the EASST} }'
  chicago: Engels, Gregor, and Christian Soltenborn. “Test-Driven Language Derivation
    with Graph Transformation-Based Dynamic Meta Modeling.” In <i>Proceedings of the
    International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin
    (Germany)</i>, 30:240–57. Electronic Communications of the EASST. European Association
    of Software Science and Technology, 2010.
  ieee: G. Engels and C. Soltenborn, “Test-driven Language Derivation with Graph Transformation-based
    Dynamic Meta Modeling,” in <i>Proceedings of the International Colloquium on Graph
    and Model Transformation (GraMoT 2010), Berlin (Germany)</i>, 2010, vol. 30, pp.
    240–257.
  mla: Engels, Gregor, and Christian Soltenborn. “Test-Driven Language Derivation
    with Graph Transformation-Based Dynamic Meta Modeling.” <i>Proceedings of the
    International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin
    (Germany)</i>, vol. 30, European Association of Software Science and Technology,
    2010, pp. 240–57.
  short: 'G. Engels, C. Soltenborn, in: Proceedings of the International Colloquium
    on Graph and Model Transformation (GraMoT 2010), Berlin (Germany), European Association
    of Software Science and Technology, 2010, pp. 240–257.'
date_created: 2019-03-06T16:20:33Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
intvolume: '        30'
language:
- iso: eng
page: 240-257
publication: Proceedings of the International Colloquium on Graph and Model Transformation
  (GraMoT 2010), Berlin (Germany)
publisher: European Association of Software Science and Technology
series_title: Electronic Communications of the EASST
status: public
title: Test-driven Language Derivation with Graph Transformation-based Dynamic Meta
  Modeling
type: conference
user_id: '14955'
volume: 30
year: '2010'
...
---
_id: '8438'
author:
- first_name: Baris
  full_name: Güldali, Baris
  last_name: Güldali
- first_name: Michael
  full_name: Mlynarski, Michael
  last_name: Mlynarski
citation:
  ama: 'Güldali B, Mlynarski M. Agility vs. Model-based Testing: A fair Play? In:
    <i>Proceedings of the IWK2010 Workshops: The First International Workshop on Evolution
    Support for Model-Based Development and Testing (EMDT2010)</i>. Vol 646. CEUR
    Workshop Proceedings. ; 2010:55-58.'
  apa: 'Güldali, B., &#38; Mlynarski, M. (2010). Agility vs. Model-based Testing:
    A fair Play? In <i>Proceedings of the IWK2010 Workshops: The First International
    Workshop on Evolution Support for Model-Based Development and Testing (EMDT2010)</i>
    (Vol. 646, pp. 55–58).'
  bibtex: '@inproceedings{Güldali_Mlynarski_2010, series={CEUR Workshop Proceedings},
    title={Agility vs. Model-based Testing: A fair Play?}, volume={646}, booktitle={Proceedings
    of the IWK2010 Workshops: The First International Workshop on Evolution Support
    for Model-Based Development and Testing (EMDT2010)}, author={Güldali, Baris and
    Mlynarski, Michael}, year={2010}, pages={55–58}, collection={CEUR Workshop Proceedings}
    }'
  chicago: 'Güldali, Baris, and Michael Mlynarski. “Agility vs. Model-Based Testing:
    A Fair Play?” In <i>Proceedings of the IWK2010 Workshops: The First International
    Workshop on Evolution Support for Model-Based Development and Testing (EMDT2010)</i>,
    646:55–58. CEUR Workshop Proceedings, 2010.'
  ieee: 'B. Güldali and M. Mlynarski, “Agility vs. Model-based Testing: A fair Play?,”
    in <i>Proceedings of the IWK2010 Workshops: The First International Workshop on
    Evolution Support for Model-Based Development and Testing (EMDT2010)</i>, 2010,
    vol. 646, pp. 55–58.'
  mla: 'Güldali, Baris, and Michael Mlynarski. “Agility vs. Model-Based Testing: A
    Fair Play?” <i>Proceedings of the IWK2010 Workshops: The First International Workshop
    on Evolution Support for Model-Based Development and Testing (EMDT2010)</i>, vol.
    646, 2010, pp. 55–58.'
  short: 'B. Güldali, M. Mlynarski, in: Proceedings of the IWK2010 Workshops: The
    First International Workshop on Evolution Support for Model-Based Development
    and Testing (EMDT2010), 2010, pp. 55–58.'
date_created: 2019-03-06T16:20:34Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
intvolume: '       646'
language:
- iso: eng
main_file_link:
- url: http://ceur-ws.org/Vol-646/EMDT2010paper1.pdf
page: '55-58 '
publication: 'Proceedings of the IWK2010 Workshops: The First International Workshop
  on Evolution Support for Model-Based Development and Testing (EMDT2010)'
series_title: CEUR Workshop Proceedings
status: public
title: 'Agility vs. Model-based Testing: A fair Play?'
type: conference
user_id: '52534'
volume: 646
year: '2010'
...
---
_id: '8439'
author:
- first_name: Andreas
  full_name: Wübbeke, Andreas
  last_name: Wübbeke
- first_name: Sebastian
  full_name: Oster, Sebastian
  last_name: Oster
citation:
  ama: 'Wübbeke A, Oster S. Verknüpfung von kombinatorischem Plattform- und individuellem
    Produkt-Test für Software-Produktlinien. In: <i>Proceedings of Produktlinien Im
    Kontext (PIK2010)</i>. ; 2010:to appear.'
  apa: Wübbeke, A., &#38; Oster, S. (2010). Verknüpfung von kombinatorischem Plattform-
    und individuellem Produkt-Test für Software-Produktlinien. In <i>Proceedings of
    Produktlinien im Kontext (PIK2010)</i> (p. to appear).
  bibtex: '@inproceedings{Wübbeke_Oster_2010, title={Verknüpfung von kombinatorischem
    Plattform- und individuellem Produkt-Test für Software-Produktlinien}, booktitle={Proceedings
    of Produktlinien im Kontext (PIK2010)}, author={Wübbeke, Andreas and Oster, Sebastian},
    year={2010}, pages={to appear} }'
  chicago: Wübbeke, Andreas, and Sebastian Oster. “Verknüpfung von Kombinatorischem
    Plattform- Und Individuellem Produkt-Test Für Software-Produktlinien.” In <i>Proceedings
    of Produktlinien Im Kontext (PIK2010)</i>, to appear, 2010.
  ieee: A. Wübbeke and S. Oster, “Verknüpfung von kombinatorischem Plattform- und
    individuellem Produkt-Test für Software-Produktlinien,” in <i>Proceedings of Produktlinien
    im Kontext (PIK2010)</i>, 2010, p. to appear.
  mla: Wübbeke, Andreas, and Sebastian Oster. “Verknüpfung von Kombinatorischem Plattform-
    Und Individuellem Produkt-Test Für Software-Produktlinien.” <i>Proceedings of
    Produktlinien Im Kontext (PIK2010)</i>, 2010, p. to appear.
  short: 'A. Wübbeke, S. Oster, in: Proceedings of Produktlinien Im Kontext (PIK2010),
    2010, p. to appear.'
date_created: 2019-03-06T16:20:35Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
language:
- iso: eng
page: to appear
publication: Proceedings of Produktlinien im Kontext (PIK2010)
status: public
title: Verknüpfung von kombinatorischem Plattform- und individuellem Produkt-Test
  für Software-Produktlinien
type: conference
user_id: '52534'
year: '2010'
...
---
_id: '8440'
author:
- first_name: Yavuz
  full_name: Sancar, Yavuz
  last_name: Sancar
- first_name: Frank
  full_name: Brüseke, Frank
  last_name: Brüseke
- first_name: Hendrik
  full_name: Voigt, Hendrik
  last_name: Voigt
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Sancar Y, Brüseke F, Voigt H, Sauer S, Engels G. Towards Economical Software
    Release Recommendations. In: <i>ECOOP 2010 - Workshop on Testing Object-Oriented
    Software Systems (ETOOS)</i>. ; 2010:59-67.'
  apa: Sancar, Y., Brüseke, F., Voigt, H., Sauer, S., &#38; Engels, G. (2010). Towards
    Economical Software Release Recommendations. In <i>ECOOP 2010 - Workshop on Testing
    Object-Oriented Software Systems (ETOOS)</i> (pp. 59–67).
  bibtex: '@inproceedings{Sancar_Brüseke_Voigt_Sauer_Engels_2010, title={Towards Economical
    Software Release Recommendations}, booktitle={ECOOP 2010 - Workshop on Testing
    Object-Oriented Software Systems (ETOOS)}, author={Sancar, Yavuz and Brüseke,
    Frank and Voigt, Hendrik and Sauer, Stefan and Engels, Gregor}, year={2010}, pages={59–67}
    }'
  chicago: Sancar, Yavuz, Frank Brüseke, Hendrik Voigt, Stefan Sauer, and Gregor Engels.
    “Towards Economical Software Release Recommendations.” In <i>ECOOP 2010 - Workshop
    on Testing Object-Oriented Software Systems (ETOOS)</i>, 59–67, 2010.
  ieee: Y. Sancar, F. Brüseke, H. Voigt, S. Sauer, and G. Engels, “Towards Economical
    Software Release Recommendations,” in <i>ECOOP 2010 - Workshop on Testing Object-Oriented
    Software Systems (ETOOS)</i>, 2010, pp. 59–67.
  mla: Sancar, Yavuz, et al. “Towards Economical Software Release Recommendations.”
    <i>ECOOP 2010 - Workshop on Testing Object-Oriented Software Systems (ETOOS)</i>,
    2010, pp. 59–67.
  short: 'Y. Sancar, F. Brüseke, H. Voigt, S. Sauer, G. Engels, in: ECOOP 2010 - Workshop
    on Testing Object-Oriented Software Systems (ETOOS), 2010, pp. 59–67.'
date_created: 2019-03-06T16:20:37Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
language:
- iso: eng
page: 59-67
publication: ECOOP 2010 - Workshop on Testing Object-Oriented Software Systems (ETOOS)
status: public
title: Towards Economical Software Release Recommendations
type: conference
user_id: '52534'
year: '2010'
...
