---
_id: '7507'
author:
- first_name: Marion
full_name: Kremer, Marion
last_name: Kremer
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Alexander
full_name: Hofmann, Alexander
last_name: Hofmann
- first_name: Jörg
full_name: Hohwiller, Jörg
last_name: Hohwiller
- first_name: Oliver
full_name: E. Nandico, Oliver
last_name: E. Nandico
- first_name: Thomas
full_name: Nötzold, Thomas
last_name: Nötzold
- first_name: Karl
full_name: Prott, Karl
last_name: Prott
- first_name: Diethelm
full_name: Schlegel, Diethelm
last_name: Schlegel
- first_name: Andreas
full_name: Seidl, Andreas
last_name: Seidl
- first_name: Thomas
full_name: Wolf, Thomas
last_name: Wolf
citation:
ama: Kremer M, Engels G, Hofmann A, et al. Quasar 3.0 - A Situational Approach
to Software Engineering. Capgemini CSD Research, Offenbach 2012; 2012.
apa: Kremer, M., Engels, G., Hofmann, A., Hohwiller, J., E. Nandico, O., Nötzold,
T., … Wolf, T. (2012). Quasar 3.0 - A Situational Approach to Software Engineering.
Capgemini CSD Research, Offenbach 2012.
bibtex: '@book{Kremer_Engels_Hofmann_Hohwiller_E. Nandico_Nötzold_Prott_Schlegel_Seidl_Wolf_2012,
title={Quasar 3.0 - A Situational Approach to Software Engineering}, publisher={Capgemini
CSD Research, Offenbach 2012}, author={Kremer, Marion and Engels, Gregor and Hofmann,
Alexander and Hohwiller, Jörg and E. Nandico, Oliver and Nötzold, Thomas and Prott,
Karl and Schlegel, Diethelm and Seidl, Andreas and Wolf, Thomas}, year={2012}
}'
chicago: Kremer, Marion, Gregor Engels, Alexander Hofmann, Jörg Hohwiller, Oliver
E. Nandico, Thomas Nötzold, Karl Prott, Diethelm Schlegel, Andreas Seidl, and
Thomas Wolf. Quasar 3.0 - A Situational Approach to Software Engineering.
Capgemini CSD Research, Offenbach 2012, 2012.
ieee: M. Kremer et al., Quasar 3.0 - A Situational Approach to Software
Engineering. Capgemini CSD Research, Offenbach 2012, 2012.
mla: Kremer, Marion, et al. Quasar 3.0 - A Situational Approach to Software Engineering.
Capgemini CSD Research, Offenbach 2012, 2012.
short: M. Kremer, G. Engels, A. Hofmann, J. Hohwiller, O. E. Nandico, T. Nötzold,
K. Prott, D. Schlegel, A. Seidl, T. Wolf, Quasar 3.0 - A Situational Approach
to Software Engineering, Capgemini CSD Research, Offenbach 2012, 2012.
date_created: 2019-02-04T22:21:54Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
language:
- iso: eng
publisher: Capgemini CSD Research, Offenbach 2012
status: public
title: Quasar 3.0 - A Situational Approach to Software Engineering
type: book
user_id: '52534'
year: '2012'
...
---
_id: '7557'
abstract:
- lang: eng
text: Software systems are part of our everyday life and they become more complex
day by day. The ever-growing complexity of software and high quality requirements
pose tough challenges to quality assurance. The quality of a software system can
be measured by software testing. However, if manually done, testing is a time-consuming
and error-prone task. Especially test case design and test execution are the most
cost-intensive activities in testing. In the previous 20 years, many automation
tools have been introduced for automating test execution by using test scripts.
However, the effort for creating and maintaining test scripts remains. Model-based
testing (MBT) aims at improving this part by systematizing and automating the
test case design. Thereby, test cases or automatable test scripts can be generated
systematically from test models. MBT is already known for several years, but it
currently gains a great momentum due to advanced tool support and innovative methodological
approaches. This chapter aims at giving an overview of MBT and summarizes recent
achievements in MBT. Experiences with using the MBT approach are illustrated by
reporting on some success stories. Finally, open issues and future research challenges
are discussed.
author:
- first_name: Michael
full_name: Mlynarski, Michael
last_name: Mlynarski
- first_name: Baris
full_name: Güldali, Baris
last_name: Güldali
- first_name: Stephan
full_name: Weißleder, Stephan
last_name: Weißleder
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Mlynarski M, Güldali B, Weißleder S, Engels G. Model-Based Testing: Achievements
and Future Challenges. In: Hurson A, Memon A, eds. Advances in Computers.
Vol 86. Advances in Computers. Elsevier; 2012:1-39. doi:http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6'
apa: 'Mlynarski, M., Güldali, B., Weißleder, S., & Engels, G. (2012). Model-Based
Testing: Achievements and Future Challenges. In A. Hurson & A. Memon (Eds.),
Advances in Computers (Vol. 86, pp. 1–39). Elsevier. http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6'
bibtex: '@inbook{Mlynarski_Güldali_Weißleder_Engels_2012, series={Advances in Computers},
title={Model-Based Testing: Achievements and Future Challenges}, volume={86},
DOI={http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6},
booktitle={Advances in Computers}, publisher={Elsevier}, author={Mlynarski, Michael
and Güldali, Baris and Weißleder, Stephan and Engels, Gregor}, editor={ Hurson,
Ali and Memon, AtifEditors}, year={2012}, pages={1–39}, collection={Advances in
Computers} }'
chicago: 'Mlynarski, Michael, Baris Güldali, Stephan Weißleder, and Gregor Engels.
“Model-Based Testing: Achievements and Future Challenges.” In Advances in Computers,
edited by Ali Hurson and Atif Memon, 86:1–39. Advances in Computers. Elsevier,
2012. http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6.'
ieee: 'M. Mlynarski, B. Güldali, S. Weißleder, and G. Engels, “Model-Based Testing:
Achievements and Future Challenges,” in Advances in Computers, vol. 86,
A. Hurson and A. Memon, Eds. Elsevier, 2012, pp. 1–39.'
mla: 'Mlynarski, Michael, et al. “Model-Based Testing: Achievements and Future Challenges.”
Advances in Computers, edited by Ali Hurson and Atif Memon, vol. 86, Elsevier,
2012, pp. 1–39, doi:http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6.'
short: 'M. Mlynarski, B. Güldali, S. Weißleder, G. Engels, in: A. Hurson, A. Memon
(Eds.), Advances in Computers, Elsevier, 2012, pp. 1–39.'
date_created: 2019-02-05T13:13:04Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6
editor:
- first_name: Ali
full_name: ' Hurson, Ali'
last_name: ' Hurson'
- first_name: Atif
full_name: Memon, Atif
last_name: Memon
intvolume: ' 86'
language:
- iso: eng
page: 1 - 39
publication: Advances in Computers
publisher: Elsevier
series_title: Advances in Computers
status: public
title: 'Model-Based Testing: Achievements and Future Challenges'
type: book_chapter
user_id: '52534'
volume: 86
year: '2012'
...
---
_id: '8475'
author:
- first_name: 'Zille '
full_name: 'Huma , Zille '
last_name: 'Huma '
- first_name: 'Christian '
full_name: 'Gerth , Christian '
last_name: 'Gerth '
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: 'Oliver '
full_name: 'Juwig, Oliver '
last_name: Juwig
citation:
ama: 'Huma Z, Gerth C, Engels G, Juwig O. A UML-based Rich Service Description
Language for Automatic Service Discovery of Heterogeneous Service Partners. In:
Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information
Systems Engineering. Vol 855. CEUR Workshop Proceedings. CEUR-WS.org; 2012:90--97.
doi:http://ceur-ws.org/Vol-855/paper11.pdf'
apa: Huma , Z., Gerth , C., Engels, G., & Juwig, O. (2012). A UML-based Rich
Service Description Language for Automatic Service Discovery of Heterogeneous
Service Partners. In Proceedings of the Forum at the CAiSE’12 Conference on
Advanced Information Systems Engineering (Vol. 855, pp. 90--97). CEUR-WS.org.
http://ceur-ws.org/Vol-855/paper11.pdf
bibtex: '@inproceedings{Huma _Gerth _Engels_Juwig_2012, series={CEUR Workshop Proceedings},
title={A UML-based Rich Service Description Language for Automatic Service Discovery
of Heterogeneous Service Partners}, volume={855}, DOI={http://ceur-ws.org/Vol-855/paper11.pdf},
booktitle={Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information
Systems Engineering}, publisher={CEUR-WS.org}, author={Huma , Zille and Gerth
, Christian and Engels, Gregor and Juwig, Oliver }, year={2012}, pages={90--97},
collection={CEUR Workshop Proceedings} }'
chicago: Huma , Zille , Christian Gerth , Gregor Engels, and Oliver Juwig. “A
UML-Based Rich Service Description Language for Automatic Service Discovery of
Heterogeneous Service Partners.” In Proceedings of the Forum at the CAiSE’12
Conference on Advanced Information Systems Engineering, 855:90--97. CEUR Workshop
Proceedings. CEUR-WS.org, 2012. http://ceur-ws.org/Vol-855/paper11.pdf.
ieee: Z. Huma , C. Gerth , G. Engels, and O. Juwig, “A UML-based Rich Service Description
Language for Automatic Service Discovery of Heterogeneous Service Partners,” in
Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information
Systems Engineering, 2012, vol. 855, pp. 90--97.
mla: Huma , Zille, et al. “A UML-Based Rich Service Description Language for Automatic
Service Discovery of Heterogeneous Service Partners.” Proceedings of the Forum
at the CAiSE’12 Conference on Advanced Information Systems Engineering, vol.
855, CEUR-WS.org, 2012, pp. 90--97, doi:http://ceur-ws.org/Vol-855/paper11.pdf.
short: 'Z. Huma , C. Gerth , G. Engels, O. Juwig, in: Proceedings of the Forum at
the CAiSE’12 Conference on Advanced Information Systems Engineering, CEUR-WS.org,
2012, pp. 90--97.'
date_created: 2019-03-08T09:46:59Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
doi: http://ceur-ws.org/Vol-855/paper11.pdf
intvolume: ' 855'
language:
- iso: eng
page: 90--97
publication: Proceedings of the Forum at the CAiSE'12 Conference on Advanced Information
Systems Engineering
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: A UML-based Rich Service Description Language for Automatic Service Discovery
of Heterogeneous Service Partners
type: conference
user_id: '52534'
volume: 855
year: '2012'
...
---
_id: '8477'
author:
- first_name: 'Silke '
full_name: 'Geisen , Silke '
last_name: 'Geisen '
- first_name: 'Markus '
full_name: 'Luckey , Markus '
last_name: 'Luckey '
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Geisen S, Luckey M, Engels G. Ein Ansatz zur dynamischen Qualitätsmessung,
-bewertung und Anpassung von Software Engineering Methoden. In: Proceedings
of 19. GI-WIVM Workshop: Qualitätsmanagement Und Vorgehensmodelle. Shaker
Verlag; 2012:111-120.'
apa: 'Geisen , S., Luckey , M., & Engels, G. (2012). Ein Ansatz zur dynamischen
Qualitätsmessung, -bewertung und Anpassung von Software Engineering Methoden.
In Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement und Vorgehensmodelle
(pp. 111–120). Shaker Verlag.'
bibtex: '@inproceedings{Geisen _Luckey _Engels_2012, title={Ein Ansatz zur dynamischen
Qualitätsmessung, -bewertung und Anpassung von Software Engineering Methoden},
booktitle={Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement und Vorgehensmodelle},
publisher={Shaker Verlag}, author={Geisen , Silke and Luckey , Markus and Engels,
Gregor}, year={2012}, pages={111–120} }'
chicago: 'Geisen , Silke , Markus Luckey , and Gregor Engels. “Ein Ansatz Zur Dynamischen
Qualitätsmessung, -Bewertung Und Anpassung von Software Engineering Methoden.”
In Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement Und Vorgehensmodelle,
111–20. Shaker Verlag, 2012.'
ieee: 'S. Geisen , M. Luckey , and G. Engels, “Ein Ansatz zur dynamischen Qualitätsmessung,
-bewertung und Anpassung von Software Engineering Methoden,” in Proceedings
of 19. GI-WIVM Workshop: Qualitätsmanagement und Vorgehensmodelle, 2012, pp.
111–120.'
mla: 'Geisen , Silke, et al. “Ein Ansatz Zur Dynamischen Qualitätsmessung, -Bewertung
Und Anpassung von Software Engineering Methoden.” Proceedings of 19. GI-WIVM
Workshop: Qualitätsmanagement Und Vorgehensmodelle, Shaker Verlag, 2012, pp.
111–20.'
short: 'S. Geisen , M. Luckey , G. Engels, in: Proceedings of 19. GI-WIVM Workshop:
Qualitätsmanagement Und Vorgehensmodelle, Shaker Verlag, 2012, pp. 111–120.'
date_created: 2019-03-08T09:51:12Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
language:
- iso: eng
page: 111-120
publication: 'Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement und Vorgehensmodelle'
publisher: Shaker Verlag
status: public
title: Ein Ansatz zur dynamischen Qualitätsmessung, -bewertung und Anpassung von
Software Engineering Methoden
type: conference
user_id: '52534'
year: '2012'
...
---
_id: '8483'
author:
- first_name: 'Markus '
full_name: 'Luckey , Markus '
last_name: 'Luckey '
- first_name: 'Christian '
full_name: 'Thanos , Christian '
last_name: 'Thanos '
- first_name: 'Christian '
full_name: 'Gerth, Christian '
last_name: Gerth
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Luckey M, Thanos C, Gerth C, Engels G. Multi-Staged Quality Assurance for
Self-Adaptive Systems. In: Proceedings of 1st International Workshop on EVALUATION
for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12. ; 2012.'
apa: Luckey , M., Thanos , C., Gerth, C., & Engels, G. (2012). Multi-Staged
Quality Assurance for Self-Adaptive Systems. In Proceedings of 1st International
Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12.
bibtex: '@inproceedings{Luckey _Thanos _Gerth_Engels_2012, title={Multi-Staged Quality
Assurance for Self-Adaptive Systems}, booktitle={Proceedings of 1st International
Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12},
author={Luckey , Markus and Thanos , Christian and Gerth, Christian and Engels,
Gregor}, year={2012} }'
chicago: Luckey , Markus , Christian Thanos , Christian Gerth, and Gregor Engels.
“Multi-Staged Quality Assurance for Self-Adaptive Systems.” In Proceedings
of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING
SYSTEMS at SASO’12, 2012.
ieee: M. Luckey , C. Thanos , C. Gerth, and G. Engels, “Multi-Staged Quality Assurance
for Self-Adaptive Systems,” in Proceedings of 1st International Workshop on
EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12, 2012.
mla: Luckey , Markus, et al. “Multi-Staged Quality Assurance for Self-Adaptive Systems.”
Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and
SELF-ORGANIZING SYSTEMS at SASO’12, 2012.
short: 'M. Luckey , C. Thanos , C. Gerth, G. Engels, in: Proceedings of 1st International
Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12,
2012.'
date_created: 2019-03-08T13:51:16Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE
and SELF-ORGANIZING SYSTEMS at SASO'12
status: public
title: Multi-Staged Quality Assurance for Self-Adaptive Systems
type: conference
user_id: '52534'
year: '2012'
...
---
_id: '26787'
author:
- first_name: Lial
full_name: Khaluf, Lial
last_name: Khaluf
- first_name: Christian
full_name: Gerth, Christian
last_name: Gerth
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Khaluf L, Gerth C, Engels G. Pattern-Based Modeling and Formalizing of Business
Process Quality Constraints. In: Proceedings of the 23rd International Conference
on Advanced Information Systems Engineering (CAiSE’11). Springer Verlag; 2011:521-535.'
apa: Khaluf, L., Gerth, C., & Engels, G. (2011). Pattern-Based Modeling and
Formalizing of Business Process Quality Constraints. Proceedings of the 23rd
International Conference on Advanced Information Systems Engineering (CAiSE’11),
521–535.
bibtex: '@inproceedings{Khaluf_Gerth_Engels_2011, title={Pattern-Based Modeling
and Formalizing of Business Process Quality Constraints}, booktitle={Proceedings
of the 23rd international conference on Advanced information systems engineering
(CAiSE’11)}, publisher={Springer Verlag}, author={Khaluf, Lial and Gerth, Christian
and Engels, Gregor}, year={2011}, pages={521–535} }'
chicago: Khaluf, Lial, Christian Gerth, and Gregor Engels. “Pattern-Based Modeling
and Formalizing of Business Process Quality Constraints.” In Proceedings of
the 23rd International Conference on Advanced Information Systems Engineering
(CAiSE’11), 521–35. Springer Verlag, 2011.
ieee: L. Khaluf, C. Gerth, and G. Engels, “Pattern-Based Modeling and Formalizing
of Business Process Quality Constraints,” in Proceedings of the 23rd international
conference on Advanced information systems engineering (CAiSE’11), 2011, pp.
521–535.
mla: Khaluf, Lial, et al. “Pattern-Based Modeling and Formalizing of Business Process
Quality Constraints.” Proceedings of the 23rd International Conference on Advanced
Information Systems Engineering (CAiSE’11), Springer Verlag, 2011, pp. 521–35.
short: 'L. Khaluf, C. Gerth, G. Engels, in: Proceedings of the 23rd International
Conference on Advanced Information Systems Engineering (CAiSE’11), Springer Verlag,
2011, pp. 521–535.'
date_created: 2021-10-25T10:00:11Z
date_updated: 2022-01-06T06:57:28Z
department:
- _id: '672'
language:
- iso: eng
page: 521-535
publication: Proceedings of the 23rd international conference on Advanced information
systems engineering (CAiSE'11)
publisher: Springer Verlag
status: public
title: Pattern-Based Modeling and Formalizing of Business Process Quality Constraints
type: conference
user_id: '21240'
year: '2011'
...
---
_id: '8046'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Marion
full_name: Kremer, Marion
last_name: Kremer
citation:
ama: 'Engels G, Kremer M. Situational Software Engineering: Ein Rahmenwerk für eine
situationsgerechte Auswahl von Entwicklungsmethoden und Vorgehensmodellen. In:
Proceedings Der41. Jahrestagung Der Gesellschaft Für Informatik - Informatik
2011;. Vol 192. LNI. GI; 2011.'
apa: 'Engels, G., & Kremer, M. (2011). Situational Software Engineering: Ein
Rahmenwerk für eine situationsgerechte Auswahl von Entwicklungsmethoden und Vorgehensmodellen.
In Proceedings der41. Jahrestagung der Gesellschaft für Informatik - Informatik
2011; (Vol. 192). GI.'
bibtex: '@inproceedings{Engels_Kremer_2011, series={LNI}, title={Situational Software
Engineering: Ein Rahmenwerk für eine situationsgerechte Auswahl von Entwicklungsmethoden
und Vorgehensmodellen}, volume={192}, booktitle={Proceedings der41. Jahrestagung
der Gesellschaft für Informatik - Informatik 2011;}, publisher={GI}, author={Engels,
Gregor and Kremer, Marion}, year={2011}, collection={LNI} }'
chicago: 'Engels, Gregor, and Marion Kremer. “Situational Software Engineering:
Ein Rahmenwerk Für Eine Situationsgerechte Auswahl von Entwicklungsmethoden Und
Vorgehensmodellen.” In Proceedings Der41. Jahrestagung Der Gesellschaft Für
Informatik - Informatik 2011;, Vol. 192. LNI. GI, 2011.'
ieee: 'G. Engels and M. Kremer, “Situational Software Engineering: Ein Rahmenwerk
für eine situationsgerechte Auswahl von Entwicklungsmethoden und Vorgehensmodellen,”
in Proceedings der41. Jahrestagung der Gesellschaft für Informatik - Informatik
2011;, 2011, vol. 192.'
mla: 'Engels, Gregor, and Marion Kremer. “Situational Software Engineering: Ein
Rahmenwerk Für Eine Situationsgerechte Auswahl von Entwicklungsmethoden Und Vorgehensmodellen.”
Proceedings Der41. Jahrestagung Der Gesellschaft Für Informatik - Informatik
2011;, vol. 192, GI, 2011.'
short: 'G. Engels, M. Kremer, in: Proceedings Der41. Jahrestagung Der Gesellschaft
Für Informatik - Informatik 2011;, GI, 2011.'
date_created: 2019-02-21T20:49:20Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
intvolume: ' 192'
language:
- iso: eng
publication: Proceedings der41. Jahrestagung der Gesellschaft für Informatik - Informatik
2011;
publisher: GI
series_title: LNI
status: public
title: 'Situational Software Engineering: Ein Rahmenwerk für eine situationsgerechte
Auswahl von Entwicklungsmethoden und Vorgehensmodellen'
type: conference
user_id: '52534'
volume: 192
year: '2011'
...
---
_id: '8047'
abstract:
- lang: ger
text: Der Kostendruck einerseits und die Verfügbarkeit des Internets andererseits
führen dazu, dass Softwaresysteme auf Services aus der Cloud zurückgreifen (müssen
bzw. können). Dies gilt für alle Anwendungsbereiche und somit insbesondere auch
für die Software im Auto. Aber wie sorge ich dafür, dass die Services aus der
Cloud zu meinem Softwaresystem passen und die Anforderungen erfüllen? Der Vortrag
diskutiert aktuelle Ansätze der konstruktiven und analytischen Qualitätssicherung,
um durch Maßnahmen sowohl zur Entwicklungs- als auch Laufzeit eine hohe Qualität
beim Einsatz von Services aus der Cloud zu erzielen. Insbesondere wird über aktuelle
Arbeiten im neuen DFG Sonderforschungsbereich 901 "On-the-Fly Computing" berichtet.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Engels G. Services aus der Cloud = Fahren im Nebel? Wie minimiere ich die
Risiken und erreiche hohe Qualität? In: Proceedings Der 41. Jahrestagung Der
Gesellschaft Für Informatik - Informatik 2011. Vol 192. LNI. GI; 2011.'
apa: Engels, G. (2011). Services aus der Cloud = Fahren im Nebel? Wie minimiere
ich die Risiken und erreiche hohe Qualität? In Proceedings der 41. Jahrestagung
der Gesellschaft für Informatik - Informatik 2011 (Vol. 192). GI.
bibtex: '@inproceedings{Engels_2011, series={LNI}, title={Services aus der Cloud
= Fahren im Nebel? Wie minimiere ich die Risiken und erreiche hohe Qualität?},
volume={192}, booktitle={Proceedings der 41. Jahrestagung der Gesellschaft für
Informatik - Informatik 2011}, publisher={GI}, author={Engels, Gregor}, year={2011},
collection={LNI} }'
chicago: Engels, Gregor. “Services Aus Der Cloud = Fahren Im Nebel? Wie Minimiere
Ich Die Risiken Und Erreiche Hohe Qualität?” In Proceedings Der 41. Jahrestagung
Der Gesellschaft Für Informatik - Informatik 2011, Vol. 192. LNI. GI, 2011.
ieee: G. Engels, “Services aus der Cloud = Fahren im Nebel? Wie minimiere ich die
Risiken und erreiche hohe Qualität?,” in Proceedings der 41. Jahrestagung der
Gesellschaft für Informatik - Informatik 2011, 2011, vol. 192.
mla: Engels, Gregor. “Services Aus Der Cloud = Fahren Im Nebel? Wie Minimiere Ich
Die Risiken Und Erreiche Hohe Qualität?” Proceedings Der 41. Jahrestagung Der
Gesellschaft Für Informatik - Informatik 2011, vol. 192, GI, 2011.
short: 'G. Engels, in: Proceedings Der 41. Jahrestagung Der Gesellschaft Für Informatik
- Informatik 2011, GI, 2011.'
date_created: 2019-02-21T20:49:21Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
intvolume: ' 192'
language:
- iso: eng
publication: Proceedings der 41. Jahrestagung der Gesellschaft für Informatik - Informatik
2011
publisher: GI
series_title: LNI
status: public
title: Services aus der Cloud = Fahren im Nebel? Wie minimiere ich die Risiken und
erreiche hohe Qualität?
type: conference
user_id: '52534'
volume: 192
year: '2011'
...
---
_id: '8048'
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. Precise Mappings between Business Process
Models in Versioning Scenarios. In: Proceedings of the IEEE 8th International
Conference on Services Computing (SCC’11). IEEE Computer Society; 2011:218-225.
doi:http://dx.doi.org/10.1109/SCC.2011.65'
apa: Gerth, C., Luckey, M., Küster, J., & Engels, G. (2011). Precise Mappings
between Business Process Models in Versioning Scenarios. In Proceedings of
the IEEE 8th International Conference on Services Computing (SCC’11) (pp.
218–225). IEEE Computer Society. http://dx.doi.org/10.1109/SCC.2011.65
bibtex: '@inproceedings{Gerth_Luckey_Küster_Engels_2011, title={Precise Mappings
between Business Process Models in Versioning Scenarios}, DOI={http://dx.doi.org/10.1109/SCC.2011.65},
booktitle={Proceedings of the IEEE 8th International Conference on Services Computing
(SCC’11)}, publisher={IEEE Computer Society}, author={Gerth, Christian and Luckey,
Markus and Küster, Jochen and Engels, Gregor}, year={2011}, pages={218–225} }'
chicago: Gerth, Christian, Markus Luckey, Jochen Küster, and Gregor Engels. “Precise
Mappings between Business Process Models in Versioning Scenarios.” In Proceedings
of the IEEE 8th International Conference on Services Computing (SCC’11), 218–25.
IEEE Computer Society, 2011. http://dx.doi.org/10.1109/SCC.2011.65.
ieee: C. Gerth, M. Luckey, J. Küster, and G. Engels, “Precise Mappings between Business
Process Models in Versioning Scenarios,” in Proceedings of the IEEE 8th International
Conference on Services Computing (SCC’11), 2011, pp. 218–225.
mla: Gerth, Christian, et al. “Precise Mappings between Business Process Models
in Versioning Scenarios.” Proceedings of the IEEE 8th International Conference
on Services Computing (SCC’11), IEEE Computer Society, 2011, pp. 218–25, doi:http://dx.doi.org/10.1109/SCC.2011.65.
short: 'C. Gerth, M. Luckey, J. Küster, G. Engels, in: Proceedings of the IEEE 8th
International Conference on Services Computing (SCC’11), IEEE Computer Society,
2011, pp. 218–225.'
date_created: 2019-02-21T20:49:22Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/SCC.2011.65
language:
- iso: eng
page: 218-225
publication: Proceedings of the IEEE 8th International Conference on Services Computing
(SCC'11)
publisher: IEEE Computer Society
status: public
title: Precise Mappings between Business Process Models in Versioning Scenarios
type: conference
user_id: '52534'
year: '2011'
...
---
_id: '8049'
author:
- first_name: Marianne
full_name: Heinemann, Marianne
last_name: Heinemann
- first_name: Markus
full_name: Palme, Markus
last_name: Palme
- first_name: Andreas
full_name: Rothmann, Andreas
last_name: Rothmann
- first_name: Frank
full_name: Salger, Frank
last_name: Salger
- first_name: Jürgen
full_name: Schönke, Jürgen
last_name: Schönke
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Heinemann M, Palme M, Rothmann A, Salger F, Schönke J, Engels G. Selektionswerkzeug
zur Auswahl projektspezifischer Vorgehensstrategien. In: Software Engineering
2011. Vol P-183. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik
(GI); 2011:33-36.'
apa: 'Heinemann, M., Palme, M., Rothmann, A., Salger, F., Schönke, J., & Engels,
G. (2011). Selektionswerkzeug zur Auswahl projektspezifischer Vorgehensstrategien.
In Software Engineering 2011 (Vol. P-183, pp. 33–36). Bonn: Gesellschaft
für Informatik (GI).'
bibtex: '@inproceedings{Heinemann_Palme_Rothmann_Salger_Schönke_Engels_2011, place={Bonn},
series={Lecture Notes in Informatics}, title={Selektionswerkzeug zur Auswahl projektspezifischer
Vorgehensstrategien}, volume={P-183}, booktitle={Software Engineering 2011}, publisher={Gesellschaft
für Informatik (GI)}, author={Heinemann, Marianne and Palme, Markus and Rothmann,
Andreas and Salger, Frank and Schönke, Jürgen and Engels, Gregor}, year={2011},
pages={33–36}, collection={Lecture Notes in Informatics} }'
chicago: 'Heinemann, Marianne, Markus Palme, Andreas Rothmann, Frank Salger, Jürgen
Schönke, and Gregor Engels. “Selektionswerkzeug Zur Auswahl Projektspezifischer
Vorgehensstrategien.” In Software Engineering 2011, P-183:33–36. Lecture
Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2011.'
ieee: M. Heinemann, M. Palme, A. Rothmann, F. Salger, J. Schönke, and G. Engels,
“Selektionswerkzeug zur Auswahl projektspezifischer Vorgehensstrategien,” in Software
Engineering 2011, 2011, vol. P-183, pp. 33–36.
mla: Heinemann, Marianne, et al. “Selektionswerkzeug Zur Auswahl Projektspezifischer
Vorgehensstrategien.” Software Engineering 2011, vol. P-183, Gesellschaft
für Informatik (GI), 2011, pp. 33–36.
short: 'M. Heinemann, M. Palme, A. Rothmann, F. Salger, J. Schönke, G. Engels, in:
Software Engineering 2011, Gesellschaft für Informatik (GI), Bonn, 2011, pp. 33–36.'
date_created: 2019-02-21T20:49:24Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
language:
- iso: eng
page: 33-36
place: Bonn
publication: Software Engineering 2011
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Selektionswerkzeug zur Auswahl projektspezifischer Vorgehensstrategien
type: conference
user_id: '52534'
volume: P-183
year: '2011'
...
---
_id: '8050'
abstract:
- lang: eng
text: The quality of business processes can be checked by verifying their compliance
with specific quality constraints. These constraints represent a set of required
temporal and logical relationships between different steps of business processes.
Quality constraints are usually formulated as informal texts, which makes them
difficult to be verified, when business processes become complex. One way to solve
this problem is by automating the verification of quality constraints on business
processes by applying model checking. To apply model checking, both business processes
and quality constraints have to be formalized. In this paper, we define a new
visual language for modeling quality constraints and we provide a pattern-based
translation for quality constraint models into Computation Tree Logic formulas.
author:
- first_name: Lial
full_name: Khaluf, Lial
last_name: Khaluf
- first_name: Christian
full_name: Gerth, Christian
last_name: Gerth
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Khaluf L, Gerth C, Engels G. Pattern-Based Modeling and Formalizing of Business
Process Quality Constraints. In: Proceedings of the 23rd International Conference
on Advanced Information System Engineering (CAiSE’11). Vol 6741. LNCS. Berlin/Heidelberg:
Springer; 2011:521-535. doi:http://dx.doi.org/10.1007/978-3-642-21640-4_39'
apa: 'Khaluf, L., Gerth, C., & Engels, G. (2011). Pattern-Based Modeling and
Formalizing of Business Process Quality Constraints. In Proceedings of the
23rd International Conference on Advanced Information System Engineering (CAiSE’11)
(Vol. 6741, pp. 521–535). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-642-21640-4_39'
bibtex: '@inproceedings{Khaluf_Gerth_Engels_2011, place={Berlin/Heidelberg}, series={LNCS},
title={Pattern-Based Modeling and Formalizing of Business Process Quality Constraints},
volume={6741}, DOI={http://dx.doi.org/10.1007/978-3-642-21640-4_39},
booktitle={Proceedings of the 23rd International Conference on Advanced Information
System Engineering (CAiSE’11)}, publisher={Springer}, author={Khaluf, Lial and
Gerth, Christian and Engels, Gregor}, year={2011}, pages={521–535}, collection={LNCS}
}'
chicago: 'Khaluf, Lial, Christian Gerth, and Gregor Engels. “Pattern-Based Modeling
and Formalizing of Business Process Quality Constraints.” In Proceedings of
the 23rd International Conference on Advanced Information System Engineering (CAiSE’11),
6741:521–35. LNCS. Berlin/Heidelberg: Springer, 2011. http://dx.doi.org/10.1007/978-3-642-21640-4_39.'
ieee: L. Khaluf, C. Gerth, and G. Engels, “Pattern-Based Modeling and Formalizing
of Business Process Quality Constraints,” in Proceedings of the 23rd International
Conference on Advanced Information System Engineering (CAiSE’11), 2011, vol.
6741, pp. 521–535.
mla: Khaluf, Lial, et al. “Pattern-Based Modeling and Formalizing of Business Process
Quality Constraints.” Proceedings of the 23rd International Conference on Advanced
Information System Engineering (CAiSE’11), vol. 6741, Springer, 2011, pp.
521–35, doi:http://dx.doi.org/10.1007/978-3-642-21640-4_39.
short: 'L. Khaluf, C. Gerth, G. Engels, in: Proceedings of the 23rd International
Conference on Advanced Information System Engineering (CAiSE’11), Springer, Berlin/Heidelberg,
2011, pp. 521–535.'
date_created: 2019-02-21T20:49:25Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/978-3-642-21640-4_39
intvolume: ' 6741'
language:
- iso: eng
page: 521-535
place: Berlin/Heidelberg
publication: Proceedings of the 23rd International Conference on Advanced Information
System Engineering (CAiSE'11)
publisher: Springer
series_title: LNCS
status: public
title: Pattern-Based Modeling and Formalizing of Business Process Quality Constraints
type: conference
user_id: '52534'
volume: 6741
year: '2011'
...
---
_id: '8052'
author:
- first_name: Markus
full_name: Luckey, Markus
last_name: Luckey
- first_name: Benjamin
full_name: Nagel, Benjamin
last_name: Nagel
- first_name: Christian
full_name: Gerth, Christian
last_name: Gerth
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Luckey M, Nagel B, Gerth C, Engels G. Adapt Cases: Extending Use Cases for
Adaptive Systems. In: Proceeding of the 6th International Symposium on Software
Engineering for Adaptive and Self-Managing Systems. SEAMS ’11. New York, NY,
USA: ACM; 2011:30-39.'
apa: 'Luckey, M., Nagel, B., Gerth, C., & Engels, G. (2011). Adapt Cases: Extending
Use Cases for Adaptive Systems. In Proceeding of the 6th international symposium
on Software engineering for adaptive and self-managing systems (pp. 30–39).
New York, NY, USA: ACM.'
bibtex: '@inproceedings{Luckey_Nagel_Gerth_Engels_2011, place={New York, NY, USA},
series={SEAMS ’11}, title={Adapt Cases: Extending Use Cases for Adaptive Systems},
booktitle={Proceeding of the 6th international symposium on Software engineering
for adaptive and self-managing systems}, publisher={ACM}, author={Luckey, Markus
and Nagel, Benjamin and Gerth, Christian and Engels, Gregor}, year={2011}, pages={30–39},
collection={SEAMS ’11} }'
chicago: 'Luckey, Markus, Benjamin Nagel, Christian Gerth, and Gregor Engels. “Adapt
Cases: Extending Use Cases for Adaptive Systems.” In Proceeding of the 6th
International Symposium on Software Engineering for Adaptive and Self-Managing
Systems, 30–39. SEAMS ’11. New York, NY, USA: ACM, 2011.'
ieee: 'M. Luckey, B. Nagel, C. Gerth, and G. Engels, “Adapt Cases: Extending Use
Cases for Adaptive Systems,” in Proceeding of the 6th international symposium
on Software engineering for adaptive and self-managing systems, 2011, pp.
30–39.'
mla: 'Luckey, Markus, et al. “Adapt Cases: Extending Use Cases for Adaptive Systems.”
Proceeding of the 6th International Symposium on Software Engineering for Adaptive
and Self-Managing Systems, ACM, 2011, pp. 30–39.'
short: 'M. Luckey, B. Nagel, C. Gerth, G. Engels, in: Proceeding of the 6th International
Symposium on Software Engineering for Adaptive and Self-Managing Systems, ACM,
New York, NY, USA, 2011, pp. 30–39.'
date_created: 2019-02-21T20:49:27Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
language:
- iso: eng
page: 30-39
place: New York, NY, USA
publication: Proceeding of the 6th international symposium on Software engineering
for adaptive and self-managing systems
publisher: ACM
series_title: SEAMS '11
status: public
title: 'Adapt Cases: Extending Use Cases for Adaptive Systems'
type: conference
user_id: '52534'
year: '2011'
...
---
_id: '8053'
author:
- first_name: Markus
full_name: Luckey, Markus
last_name: Luckey
- first_name: Christian
full_name: Gerth, Christian
last_name: Gerth
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Luckey M, Gerth C, Soltenborn C, Engels G. QUAASY - QUality Assurance of Adaptive
SYstems. In: Proceedings of the 8th International Conference on Autonomic Computing
(ICAC’11). ACM; 2011. doi:http://dx.doi.org/10.1145/1998582.1998617'
apa: Luckey, M., Gerth, C., Soltenborn, C., & Engels, G. (2011). QUAASY - QUality
Assurance of Adaptive SYstems. In Proceedings of the 8th International Conference
on Autonomic Computing (ICAC’11). ACM. http://dx.doi.org/10.1145/1998582.1998617
bibtex: '@inproceedings{Luckey_Gerth_Soltenborn_Engels_2011, title={QUAASY - QUality
Assurance of Adaptive SYstems}, DOI={http://dx.doi.org/10.1145/1998582.1998617},
booktitle={Proceedings of the 8th International Conference on Autonomic Computing
(ICAC’11)}, publisher={ACM}, author={Luckey, Markus and Gerth, Christian and Soltenborn,
Christian and Engels, Gregor}, year={2011} }'
chicago: Luckey, Markus, Christian Gerth, Christian Soltenborn, and Gregor Engels.
“QUAASY - QUality Assurance of Adaptive SYstems.” In Proceedings of the 8th
International Conference on Autonomic Computing (ICAC’11). ACM, 2011. http://dx.doi.org/10.1145/1998582.1998617.
ieee: M. Luckey, C. Gerth, C. Soltenborn, and G. Engels, “QUAASY - QUality Assurance
of Adaptive SYstems,” in Proceedings of the 8th International Conference on
Autonomic Computing (ICAC’11), 2011.
mla: Luckey, Markus, et al. “QUAASY - QUality Assurance of Adaptive SYstems.” Proceedings
of the 8th International Conference on Autonomic Computing (ICAC’11), ACM,
2011, doi:http://dx.doi.org/10.1145/1998582.1998617.
short: 'M. Luckey, C. Gerth, C. Soltenborn, G. Engels, in: Proceedings of the 8th
International Conference on Autonomic Computing (ICAC’11), ACM, 2011.'
date_created: 2019-02-21T20:49:28Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1145/1998582.1998617
language:
- iso: eng
publication: Proceedings of the 8th International Conference on Autonomic Computing
(ICAC'11)
publisher: ACM
status: public
title: QUAASY - QUality Assurance of Adaptive SYstems
type: conference
user_id: '14955'
year: '2011'
...
---
_id: '8054'
author:
- first_name: Nils
full_name: Bandener, Nils
last_name: Bandener
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Bandener N, Soltenborn C, Engels G. Extending DMM Behavior Specifications
for Visual Execution and Debugging. In: Proceedings of the 3rd International
Conference on Software Language Engineering (SLE 2010). Vol 6563. LNCS. Berlin/Heidelberg:
Springer; 2011:357-376. doi:http://dx.doi.org/10.1007/978-3-642-19440-5_24'
apa: 'Bandener, N., Soltenborn, C., & Engels, G. (2011). Extending DMM Behavior
Specifications for Visual Execution and Debugging. In Proceedings of the 3rd
International Conference on Software Language Engineering (SLE 2010) (Vol.
6563, pp. 357–376). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-642-19440-5_24'
bibtex: '@inproceedings{Bandener_Soltenborn_Engels_2011, place={Berlin/Heidelberg},
series={LNCS}, title={Extending DMM Behavior Specifications for Visual Execution
and Debugging}, volume={6563}, DOI={http://dx.doi.org/10.1007/978-3-642-19440-5_24},
booktitle={Proceedings of the 3rd International Conference on Software Language
Engineering (SLE 2010)}, publisher={Springer}, author={Bandener, Nils and Soltenborn,
Christian and Engels, Gregor}, year={2011}, pages={357–376}, collection={LNCS}
}'
chicago: 'Bandener, Nils, Christian Soltenborn, and Gregor Engels. “Extending DMM
Behavior Specifications for Visual Execution and Debugging.” In Proceedings
of the 3rd International Conference on Software Language Engineering (SLE 2010),
6563:357–76. LNCS. Berlin/Heidelberg: Springer, 2011. http://dx.doi.org/10.1007/978-3-642-19440-5_24.'
ieee: N. Bandener, C. Soltenborn, and G. Engels, “Extending DMM Behavior Specifications
for Visual Execution and Debugging,” in Proceedings of the 3rd International
Conference on Software Language Engineering (SLE 2010), 2011, vol. 6563, pp.
357–376.
mla: Bandener, Nils, et al. “Extending DMM Behavior Specifications for Visual Execution
and Debugging.” Proceedings of the 3rd International Conference on Software
Language Engineering (SLE 2010), vol. 6563, Springer, 2011, pp. 357–76, doi:http://dx.doi.org/10.1007/978-3-642-19440-5_24.
short: 'N. Bandener, C. Soltenborn, G. Engels, in: Proceedings of the 3rd International
Conference on Software Language Engineering (SLE 2010), Springer, Berlin/Heidelberg,
2011, pp. 357–376.'
date_created: 2019-02-21T20:49:29Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/978-3-642-19440-5_24
intvolume: ' 6563'
language:
- iso: eng
page: 357-376
place: Berlin/Heidelberg
publication: Proceedings of the 3rd International Conference on Software Language
Engineering (SLE 2010)
publisher: Springer
series_title: LNCS
status: public
title: Extending DMM Behavior Specifications for Visual Execution and Debugging
type: conference
user_id: '14955'
volume: 6563
year: '2011'
...
---
_id: '7354'
abstract:
- lang: eng
text: 'Acceptance testing is a time-consuming task for complex software systems
that have to fulfill a large number of requirements. To reduce this effort, we
have developed a widely automated method for deriving test plans from requirements
that are expressed in natural language. It consists of three stages: annotation,
clustering, and test plan specification. The general idea is to exploit redundancies
and implicit relationships in requirements specifications. Multi-viewpoint techniques
based on RM-ODP (Reference Model for Open Distributed Processing) are employed
for specifying the requirements. We then use linguistic analysis techniques, requirements
clustering algorithms, and pattern-based requirements collection to reduce the
total effort of testing against the requirements specification. In particular,
we use linguistic analysis for extracting and annotating the actor, process and
object of a requirements statement. During clustering, a similarity function is
computed as a measure for the overlap of requirements. In the test plan specification
stage, our approach provides capabilities for semi-automatically deriving test
plans and acceptance criteria from the clustered informal textual requirements.
Two patterns are applied to compute a suitable order of test activities. The generated
test plans consist of a sequence of test steps and asserts that are executed or
checked in the given order. We also present the supporting prototype tool TORC,
which is available open source. For the evaluation of the approach, we have conducted
a case study in the field of acceptance testing of a national electronic identification
system. In summary, we report on lessons learned how linguistic analysis and clustering
techniques can help testers in understanding the relations between requirements
and for improving test planning.'
author:
- first_name: Baris
full_name: Güldali, Baris
last_name: Güldali
- first_name: Holger
full_name: Funke, Holger
last_name: Funke
- 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: 'Güldali B, Funke H, Sauer S, Engels G. TORC: test plan optimization by requirements
clustering. Software Quality Journal. 2011;19(4):771-799. doi:10.1007/s11219-011-9149-4'
apa: 'Güldali, B., Funke, H., Sauer, S., & Engels, G. (2011). TORC: test plan
optimization by requirements clustering. Software Quality Journal, 19(4),
771–799. https://doi.org/10.1007/s11219-011-9149-4'
bibtex: '@article{Güldali_Funke_Sauer_Engels_2011, title={TORC: test plan optimization
by requirements clustering}, volume={19}, DOI={10.1007/s11219-011-9149-4},
number={4}, journal={Software Quality Journal}, publisher={Springer Nature}, author={Güldali,
Baris and Funke, Holger and Sauer, Stefan and Engels, Gregor}, year={2011}, pages={771–799}
}'
chicago: 'Güldali, Baris, Holger Funke, Stefan Sauer, and Gregor Engels. “TORC:
Test Plan Optimization by Requirements Clustering.” Software Quality Journal
19, no. 4 (2011): 771–99. https://doi.org/10.1007/s11219-011-9149-4.'
ieee: 'B. Güldali, H. Funke, S. Sauer, and G. Engels, “TORC: test plan optimization
by requirements clustering,” Software Quality Journal, vol. 19, no. 4,
pp. 771–799, 2011.'
mla: 'Güldali, Baris, et al. “TORC: Test Plan Optimization by Requirements Clustering.”
Software Quality Journal, vol. 19, no. 4, Springer Nature, 2011, pp. 771–99,
doi:10.1007/s11219-011-9149-4.'
short: B. Güldali, H. Funke, S. Sauer, G. Engels, Software Quality Journal 19 (2011)
771–799.
date_created: 2019-01-31T13:00:53Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
doi: 10.1007/s11219-011-9149-4
intvolume: ' 19'
issue: '4'
language:
- iso: eng
page: 771-799
publication: Software Quality Journal
publication_identifier:
issn:
- 0963-9314
- 1573-1367
publication_status: published
publisher: Springer Nature
status: public
title: 'TORC: test plan optimization by requirements clustering'
type: journal_article
user_id: '52534'
volume: 19
year: '2011'
...
---
_id: '7355'
abstract:
- lang: eng
text: Dynamic Meta Modeling (DMM) is a visual semantics specification technique
targeted at languages based on a metamodel. A DMM specification consists of a
runtime metamodel and operational rules which describe how instances of the runtime
metamodel change over time. A known deficiency of the DMM approach is that it
does not support the refinement of a DMM specification, e.g., in the case of defining
the semantics for a refined and extended domain-specific language (DSL). Up to
now, DMM specifications could only be reused by adding or removing DMM rules.
In this paper, we enhance DMM such that DMM rules can override other DMM rules,
similar to a method being overridden in a subclass, and we show how rule overriding
can be realized with the graph transformation tool GROOVE. We argue that rule
overriding does not only have positive impact on reusability, but also improves
the intuitive understandability of DMM semantics specifications.
author:
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: Soltenborn C, Engels G. Using rule overriding to improve reusability and understandability
of Dynamic Meta Modeling specifications. Journal of Visual Languages &
Computing. 2011;22(3):233-250. doi:10.1016/j.jvlc.2010.12.005
apa: Soltenborn, C., & Engels, G. (2011). Using rule overriding to improve reusability
and understandability of Dynamic Meta Modeling specifications. Journal of Visual
Languages & Computing, 22(3), 233–250. https://doi.org/10.1016/j.jvlc.2010.12.005
bibtex: '@article{Soltenborn_Engels_2011, title={Using rule overriding to improve
reusability and understandability of Dynamic Meta Modeling specifications}, volume={22},
DOI={10.1016/j.jvlc.2010.12.005},
number={3}, journal={Journal of Visual Languages & Computing}, publisher={Elsevier
BV}, author={Soltenborn, Christian and Engels, Gregor}, year={2011}, pages={233–250}
}'
chicago: 'Soltenborn, Christian, and Gregor Engels. “Using Rule Overriding to Improve
Reusability and Understandability of Dynamic Meta Modeling Specifications.” Journal
of Visual Languages & Computing 22, no. 3 (2011): 233–50. https://doi.org/10.1016/j.jvlc.2010.12.005.'
ieee: C. Soltenborn and G. Engels, “Using rule overriding to improve reusability
and understandability of Dynamic Meta Modeling specifications,” Journal of
Visual Languages & Computing, vol. 22, no. 3, pp. 233–250, 2011.
mla: Soltenborn, Christian, and Gregor Engels. “Using Rule Overriding to Improve
Reusability and Understandability of Dynamic Meta Modeling Specifications.” Journal
of Visual Languages & Computing, vol. 22, no. 3, Elsevier BV, 2011, pp.
233–50, doi:10.1016/j.jvlc.2010.12.005.
short: C. Soltenborn, G. Engels, Journal of Visual Languages & Computing 22
(2011) 233–250.
date_created: 2019-01-31T13:02:21Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
doi: 10.1016/j.jvlc.2010.12.005
intvolume: ' 22'
issue: '3'
language:
- iso: eng
page: 233-250
publication: Journal of Visual Languages & Computing
publication_identifier:
issn:
- 1045-926X
publication_status: published
publisher: Elsevier BV
status: public
title: Using rule overriding to improve reusability and understandability of Dynamic
Meta Modeling specifications
type: journal_article
user_id: '14955'
volume: 22
year: '2011'
...
---
_id: '8471'
abstract:
- lang: eng
text: Performance is an important quality attribute for business information systems.
When a tester has spotted a performance error, the error is passed to the software
developers to fix it. However, in component-based software development the tester
has to do blame analysis first, i. e. the tester has to decide, which party is
responsible to fix the error. If the error is a design or deployment issue, it
can be assigned to the software architect or the system deployer. If the error
is specific to a component, it needs to be assigned to the corresponding component
developer. An accurate blame analysis is important, because wrong assignments
of errors will cause a loss of time and money. Our approach aims at doing blame
analysis for performance errors by comparing performance metrics obtained in performance
testing and performance prediction. We use performance prediction values as expected
values for individual components. For performance prediction we use the Palladio
approach. By this means, our approach evaluates each component’s performance in
a certain test case. If the component performs poorly, its component developer
needs to fix the component or the architect replaces the component with a faster
one. If no omponent performs poorly, we can deduce that there is a design or deployment
issue and the architecture needs to be changed. In this paper, we present an exemplary
blame analysis based on a web shop system. The example shows the feasibility of
our approach.
author:
- first_name: Frank
full_name: Brüseke, Frank
last_name: Brüseke
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Brüseke F, Becker S, Engels G. Palladio-based performance blame analysis.
In: Proceedings of the 16th International Workshop on Component-Oriented Programming
(WCOP; Satellite Event of the CompArch 2011), Boulder Colorado, CO (USA).
New York, NY (USA): ACM; 2011:25-32. doi:http://dx.doi.org/10.1145/2000292.2000298'
apa: 'Brüseke, F., Becker, S., & Engels, G. (2011). Palladio-based performance
blame analysis. In Proceedings of the 16th International Workshop on Component-Oriented
Programming (WCOP; satellite event of the CompArch 2011), Boulder Colorado, CO
(USA) (pp. 25–32). New York, NY (USA): ACM. http://dx.doi.org/10.1145/2000292.2000298'
bibtex: '@inproceedings{Brüseke_Becker_Engels_2011, place={New York, NY (USA)},
title={Palladio-based performance blame analysis}, DOI={http://dx.doi.org/10.1145/2000292.2000298},
booktitle={Proceedings of the 16th International Workshop on Component-Oriented
Programming (WCOP; satellite event of the CompArch 2011), Boulder Colorado, CO
(USA)}, publisher={ACM}, author={Brüseke, Frank and Becker, Steffen and Engels,
Gregor}, year={2011}, pages={25–32} }'
chicago: 'Brüseke, Frank, Steffen Becker, and Gregor Engels. “Palladio-Based Performance
Blame Analysis.” In Proceedings of the 16th International Workshop on Component-Oriented
Programming (WCOP; Satellite Event of the CompArch 2011), Boulder Colorado, CO
(USA), 25–32. New York, NY (USA): ACM, 2011. http://dx.doi.org/10.1145/2000292.2000298.'
ieee: F. Brüseke, S. Becker, and G. Engels, “Palladio-based performance blame analysis,”
in Proceedings of the 16th International Workshop on Component-Oriented Programming
(WCOP; satellite event of the CompArch 2011), Boulder Colorado, CO (USA),
2011, pp. 25–32.
mla: Brüseke, Frank, et al. “Palladio-Based Performance Blame Analysis.” Proceedings
of the 16th International Workshop on Component-Oriented Programming (WCOP; Satellite
Event of the CompArch 2011), Boulder Colorado, CO (USA), ACM, 2011, pp. 25–32,
doi:http://dx.doi.org/10.1145/2000292.2000298.
short: 'F. Brüseke, S. Becker, G. Engels, in: Proceedings of the 16th International
Workshop on Component-Oriented Programming (WCOP; Satellite Event of the CompArch
2011), Boulder Colorado, CO (USA), ACM, New York, NY (USA), 2011, pp. 25–32.'
date_created: 2019-03-08T09:36:29Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1145/2000292.2000298
language:
- iso: eng
page: 25-32
place: New York, NY (USA)
publication: Proceedings of the 16th International Workshop on Component-Oriented
Programming (WCOP; satellite event of the CompArch 2011), Boulder Colorado, CO (USA)
publisher: ACM
status: public
title: Palladio-based performance blame analysis
type: conference
user_id: '52534'
year: '2011'
...
---
_id: '652'
abstract:
- lang: eng
text: In the development process of service-oriented systems, business process models
are used at different levels. Typically, high-level business process models that
describe business requirements and needs are stepwise refined to the IT level
by different business modelers and software architects. As a result, different
process model versions must be compared and merged by means of model version control.
An important prerequisite for process model version control is an elaborated matching
approach that results in precise mappings between different process model versions.
The challenge of such an approach is to deal with syntactically different process
models that are semantically equivalent. For that purpose, matching techniques
must consider the semantics of process modeling languages.In this paper, we present
a matching approach for process models in a versioning scenario. Based on a term
formalization of process models, we enable an efficient and effective way to match
syntactically different but semantically equivalent process models resulting in
precise mappings.
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. Precise Mappings between Business Process
Models in Versioning Scenarios. In: Proceedings of the IEEE 8th International
Conference on Service Computingt (SCC). ; 2011:218--225. doi:10.1109/SCC.2011.65'
apa: Gerth, C., Luckey, M., Küster, J., & Engels, G. (2011). Precise Mappings
between Business Process Models in Versioning Scenarios. In Proceedings of
the IEEE 8th International Conference on Service Computingt (SCC) (pp. 218--225).
https://doi.org/10.1109/SCC.2011.65
bibtex: '@inproceedings{Gerth_Luckey_Küster_Engels_2011, title={Precise Mappings
between Business Process Models in Versioning Scenarios}, DOI={10.1109/SCC.2011.65},
booktitle={Proceedings of the IEEE 8th International Conference on Service Computingt
(SCC)}, author={Gerth, Christian and Luckey, Markus and Küster, Jochen and Engels,
Gregor}, year={2011}, pages={218--225} }'
chicago: Gerth, Christian, Markus Luckey, Jochen Küster, and Gregor Engels. “Precise
Mappings between Business Process Models in Versioning Scenarios.” In Proceedings
of the IEEE 8th International Conference on Service Computingt (SCC), 218--225,
2011. https://doi.org/10.1109/SCC.2011.65.
ieee: C. Gerth, M. Luckey, J. Küster, and G. Engels, “Precise Mappings between Business
Process Models in Versioning Scenarios,” in Proceedings of the IEEE 8th International
Conference on Service Computingt (SCC), 2011, pp. 218--225.
mla: Gerth, Christian, et al. “Precise Mappings between Business Process Models
in Versioning Scenarios.” Proceedings of the IEEE 8th International Conference
on Service Computingt (SCC), 2011, pp. 218--225, doi:10.1109/SCC.2011.65.
short: 'C. Gerth, M. Luckey, J. Küster, G. Engels, in: Proceedings of the IEEE 8th
International Conference on Service Computingt (SCC), 2011, pp. 218--225.'
date_created: 2017-10-17T12:42:59Z
date_updated: 2022-01-06T07:03:10Z
ddc:
- '040'
department:
- _id: '66'
doi: 10.1109/SCC.2011.65
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-14T13:53:51Z
date_updated: 2018-03-14T13:53:51Z
file_id: '1223'
file_name: 652-06009264.pdf
file_size: 713943
relation: main_file
success: 1
file_date_updated: 2018-03-14T13:53:51Z
has_accepted_license: '1'
language:
- iso: eng
page: 218--225
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the IEEE 8th International Conference on Service Computingt
(SCC)
status: public
title: Precise Mappings between Business Process Models in Versioning Scenarios
type: conference
user_id: '477'
year: '2011'
...
---
_id: '2994'
author:
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Ansgar
full_name: Trächtler, Ansgar
last_name: Trächtler
- first_name: Mauro
full_name: Birattari, Mauro
last_name: Birattari
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
- first_name: Marco
full_name: Dorigo, Marco
last_name: Dorigo
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Rehan
full_name: O'Grady, Rehan
last_name: O'Grady
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Franz
full_name: Rammig, Franz
last_name: Rammig
- first_name: Wolfgang
full_name: Reif, Wolfgang
last_name: Reif
citation:
ama: 'Schäfer W, Trächtler A, Birattari M, et al. Engineering self-coordinating
software intensive systems. In: Proceedings of the FSE/SDP Workshop on Future
of Software Engineering Research - FoSER ’10. ACM Press; 2010. doi:10.1145/1882362.1882428'
apa: Schäfer, W., Trächtler, A., Birattari, M., Blömer, J., Dorigo, M., Engels,
G., … Reif, W. (2010). Engineering self-coordinating software intensive systems.
In Proceedings of the FSE/SDP workshop on Future of software engineering research
- FoSER ’10. ACM Press. https://doi.org/10.1145/1882362.1882428
bibtex: '@inproceedings{Schäfer_Trächtler_Birattari_Blömer_Dorigo_Engels_O’Grady_Platzner_Rammig_Reif_2010,
title={Engineering self-coordinating software intensive systems}, DOI={10.1145/1882362.1882428},
booktitle={Proceedings of the FSE/SDP workshop on Future of software engineering
research - FoSER ’10}, publisher={ACM Press}, author={Schäfer, Wilhelm and Trächtler,
Ansgar and Birattari, Mauro and Blömer, Johannes and Dorigo, Marco and Engels,
Gregor and O’Grady, Rehan and Platzner, Marco and Rammig, Franz and Reif, Wolfgang},
year={2010} }'
chicago: Schäfer, Wilhelm, Ansgar Trächtler, Mauro Birattari, Johannes Blömer, Marco
Dorigo, Gregor Engels, Rehan O’Grady, Marco Platzner, Franz Rammig, and Wolfgang
Reif. “Engineering Self-Coordinating Software Intensive Systems.” In Proceedings
of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10.
ACM Press, 2010. https://doi.org/10.1145/1882362.1882428.
ieee: W. Schäfer et al., “Engineering self-coordinating software intensive
systems,” in Proceedings of the FSE/SDP workshop on Future of software engineering
research - FoSER ’10, 2010.
mla: Schäfer, Wilhelm, et al. “Engineering Self-Coordinating Software Intensive
Systems.” Proceedings of the FSE/SDP Workshop on Future of Software Engineering
Research - FoSER ’10, ACM Press, 2010, doi:10.1145/1882362.1882428.
short: 'W. Schäfer, A. Trächtler, M. Birattari, J. Blömer, M. Dorigo, G. Engels,
R. O’Grady, M. Platzner, F. Rammig, W. Reif, in: Proceedings of the FSE/SDP Workshop
on Future of Software Engineering Research - FoSER ’10, ACM Press, 2010.'
date_created: 2018-06-05T08:03:49Z
date_updated: 2022-01-06T06:58:50Z
department:
- _id: '64'
doi: 10.1145/1882362.1882428
publication: Proceedings of the FSE/SDP workshop on Future of software engineering
research - FoSER '10
publication_identifier:
isbn:
- '9781450304276'
publication_status: published
publisher: ACM Press
status: public
title: Engineering self-coordinating software intensive systems
type: conference
user_id: '25078'
year: '2010'
...
---
_id: '7770'
citation:
ama: 'Engels G, Lewerentz C, Schäfer W, Schürr A, Westfechtel B, eds. Graph Transformations
and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion
of His 65th Birthday. Vol 5765. Berlin/Heidelberg: Springer; 2010. doi:http://dx.doi.org/10.1007/978-3-642-17322-6'
apa: 'Engels, G., Lewerentz, C., Schäfer, W., Schürr, A., & Westfechtel, B.
(Eds.). (2010). Graph Transformations and Model-Driven Engineering - Essays
Dedicated to Manfred Nagl on the Occasion of his 65th Birthday (Vol. 5765).
Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-642-17322-6'
bibtex: '@book{Engels_Lewerentz_Schäfer_Schürr_Westfechtel_2010, place={Berlin/Heidelberg},
series={LNCS}, title={Graph Transformations and Model-Driven Engineering - Essays
Dedicated to Manfred Nagl on the Occasion of his 65th Birthday}, volume={5765},
DOI={http://dx.doi.org/10.1007/978-3-642-17322-6},
publisher={Springer}, year={2010}, collection={LNCS} }'
chicago: 'Engels, Gregor, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, and Bernhard
Westfechtel, eds. Graph Transformations and Model-Driven Engineering - Essays
Dedicated to Manfred Nagl on the Occasion of His 65th Birthday. Vol. 5765.
LNCS. Berlin/Heidelberg: Springer, 2010. http://dx.doi.org/10.1007/978-3-642-17322-6.'
ieee: 'G. Engels, C. Lewerentz, W. Schäfer, A. Schürr, and B. Westfechtel, Eds.,
Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred
Nagl on the Occasion of his 65th Birthday, vol. 5765. Berlin/Heidelberg: Springer,
2010.'
mla: Engels, Gregor, et al., editors. Graph Transformations and Model-Driven
Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday.
Vol. 5765, Springer, 2010, doi:http://dx.doi.org/10.1007/978-3-642-17322-6.
short: G. Engels, C. Lewerentz, W. Schäfer, A. Schürr, B. Westfechtel, eds., Graph
Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl
on the Occasion of His 65th Birthday, Springer, Berlin/Heidelberg, 2010.
date_created: 2019-02-19T18:28:56Z
date_updated: 2022-01-06T07:03:45Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/978-3-642-17322-6
editor:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Claus
full_name: Lewerentz, Claus
last_name: Lewerentz
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Andy
full_name: Schürr, Andy
last_name: Schürr
- first_name: Bernhard
full_name: Westfechtel, Bernhard
last_name: Westfechtel
intvolume: ' 5765'
language:
- iso: eng
place: Berlin/Heidelberg
publisher: Springer
series_title: LNCS
status: public
title: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred
Nagl on the Occasion of his 65th Birthday
type: conference_editor
user_id: '52534'
volume: 5765
year: '2010'
...