---
_id: '7777'
citation:
ama: Engels G, H. Reussner R, Momm C, Sauer S, eds. Proceedings of Design for
Future - 1. Workshop Des GI-Arbeitskreises “Langlebige Softwaresysteme (L2S2).”
Vol 537. Karlsruhe; 2009.
apa: Engels, G., H. Reussner, R., Momm, C., & Sauer, S. (Eds.). (2009). Proceedings
of Design for Future - 1. Workshop des GI-Arbeitskreises “Langlebige Softwaresysteme
(L2S2)” (Vol. 537). Karlsruhe.
bibtex: '@book{Engels_H. Reussner_Momm_Sauer_2009, series={CEUR Workshop Proceedings},
title={Proceedings of Design for Future - 1. Workshop des GI-Arbeitskreises “Langlebige
Softwaresysteme (L2S2)”}, volume={537}, publisher={Karlsruhe}, year={2009}, collection={CEUR
Workshop Proceedings} }'
chicago: Engels, Gregor, Ralf H. Reussner, Christof Momm, and Stefan Sauer, eds.
Proceedings of Design for Future - 1. Workshop Des GI-Arbeitskreises “Langlebige
Softwaresysteme (L2S2).” Vol. 537. CEUR Workshop Proceedings. Karlsruhe, 2009.
ieee: G. Engels, R. H. Reussner, C. Momm, and S. Sauer, Eds., Proceedings of
Design for Future - 1. Workshop des GI-Arbeitskreises “Langlebige Softwaresysteme
(L2S2),” vol. 537. Karlsruhe, 2009.
mla: Engels, Gregor, et al., editors. Proceedings of Design for Future - 1. Workshop
Des GI-Arbeitskreises “Langlebige Softwaresysteme (L2S2).” Vol. 537, Karlsruhe,
2009.
short: G. Engels, R. H. Reussner, C. Momm, S. Sauer, eds., Proceedings of Design
for Future - 1. Workshop Des GI-Arbeitskreises “Langlebige Softwaresysteme (L2S2),”
Karlsruhe, 2009.
date_created: 2019-02-19T18:38:24Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Ralf
full_name: H. Reussner, Ralf
last_name: H. Reussner
- first_name: Christof
full_name: Momm, Christof
last_name: Momm
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
intvolume: ' 537'
language:
- iso: eng
publisher: Karlsruhe
series_title: CEUR Workshop Proceedings
status: public
title: Proceedings of Design for Future - 1. Workshop des GI-Arbeitskreises "Langlebige
Softwaresysteme (L2S2)"
type: conference_editor
user_id: '52534'
volume: 537
year: '2009'
...
---
_id: '8009'
abstract:
- lang: eng
text: In model-driven development approaches, process models are used at different
levels of abstraction and are described by different languages. Similar to other
software artifacts, process models are developed in team environments and underlie
constant change. This requires reusable techniques for the detection of changes
between different process models and the computation of dependencies and conflicts
between changes. In this paper, we propose a framework for the construction of
process model change management solutions that provides generic techniques for
the detection of differences and the computation of dependencies and conflicts
between changes. The framework contains an abstract representation for process
models that serves as a common denominator for different process models. In addition,
we show how the framework is instantiated exemplarily for BPMN.
author:
- first_name: Christian
full_name: Gerth, Christian
last_name: Gerth
- 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, Küster J, Engels G. Language-Independent Change Management of Process
Models. In: Proceedings of the ACM/IEEE 12th International Conference on Model
Driven Engineering Languages and Systems (MODELS’09). Denver (CO, USA). Vol
5795. LNCS. Berlin/Heidelberg: Springer; 2009:152-166. doi:http://dx.doi.org/10.1007/978-3-642-04425-0_12'
apa: 'Gerth, C., Küster, J., & Engels, G. (2009). Language-Independent Change
Management of Process Models. In Proceedings of the ACM/IEEE 12th International
Conference on Model Driven Engineering Languages and Systems (MODELS’09). Denver
(CO, USA) (Vol. 5795, pp. 152–166). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-642-04425-0_12'
bibtex: '@inproceedings{Gerth_Küster_Engels_2009, place={Berlin/Heidelberg}, series={LNCS},
title={Language-Independent Change Management of Process Models}, volume={5795},
DOI={http://dx.doi.org/10.1007/978-3-642-04425-0_12},
booktitle={Proceedings of the ACM/IEEE 12th International Conference on Model
Driven Engineering Languages and Systems (MODELS’09). Denver (CO, USA)}, publisher={Springer},
author={Gerth, Christian and Küster, Jochen and Engels, Gregor}, year={2009},
pages={152–166}, collection={LNCS} }'
chicago: 'Gerth, Christian, Jochen Küster, and Gregor Engels. “Language-Independent
Change Management of Process Models.” In Proceedings of the ACM/IEEE 12th International
Conference on Model Driven Engineering Languages and Systems (MODELS’09). Denver
(CO, USA), 5795:152–66. LNCS. Berlin/Heidelberg: Springer, 2009. http://dx.doi.org/10.1007/978-3-642-04425-0_12.'
ieee: C. Gerth, J. Küster, and G. Engels, “Language-Independent Change Management
of Process Models,” in Proceedings of the ACM/IEEE 12th International Conference
on Model Driven Engineering Languages and Systems (MODELS’09). Denver (CO, USA),
2009, vol. 5795, pp. 152–166.
mla: Gerth, Christian, et al. “Language-Independent Change Management of Process
Models.” Proceedings of the ACM/IEEE 12th International Conference on Model
Driven Engineering Languages and Systems (MODELS’09). Denver (CO, USA), vol.
5795, Springer, 2009, pp. 152–66, doi:http://dx.doi.org/10.1007/978-3-642-04425-0_12.
short: 'C. Gerth, J. Küster, G. Engels, in: Proceedings of the ACM/IEEE 12th International
Conference on Model Driven Engineering Languages and Systems (MODELS’09). Denver
(CO, USA), Springer, Berlin/Heidelberg, 2009, pp. 152–166.'
date_created: 2019-02-21T17:36:16Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/978-3-642-04425-0_12
language:
- iso: eng
page: 152-166
place: Berlin/Heidelberg
publication: Proceedings of the ACM/IEEE 12th International Conference on Model Driven
Engineering Languages and Systems (MODELS'09). Denver (CO, USA)
publisher: Springer
series_title: LNCS
status: public
title: Language-Independent Change Management of Process Models
type: conference
user_id: '52534'
volume: '5795 '
year: '2009'
...
---
_id: '8011'
abstract:
- lang: eng
text: Enterprises are transforming into enterprises which follow from a business
as well as from an IT perspective a service-oriented paradigm. This change towards
service-oriented enterprise and IT architectures has to be reflected in the methodologies
of developing whole application landscapes as well as individual applications.
Quasar (Quality Software Architecture) has been developed as the standard architecture
and development method of Capgemini sd&m for individual applications. For the
development of service-oriented enterprise application landscapes, Quasar Enterprise
has been designed. Both Quasar and Quasar Enterprise are integrated with each
other within a holistic software engineering method to seamlessly cover the full
development lifecycle of service-oriented application landscapes, from business
modeling and service design to actual software development. In this paper, we
illustrate how a company-wide ontology of development artifacts serves as the
key feature for integrating both methods.
author:
- first_name: Andrea
full_name: Baumann, Andrea
last_name: Baumann
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Alexander
full_name: Hofmann, Alexander
last_name: Hofmann
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Johannes
full_name: Willkomm, Johannes
last_name: Willkomm
citation:
ama: 'Baumann A, Engels G, Hofmann A, Sauer S, Willkomm J. A Holistic Software Engineering
Method for Service-Oriented Application Landscape Development. In: Proceedings
of the First NAF Academy Working Conference on Practice-Driven Research on Enterprise
Transformation (PRET 2009), Amsterdam (The Netherlands). Vol 28. Lecture Notes
in Business Information Processing. Berlin/Heidelberg: Springer; 2009:1-17. doi:http://dx.doi.org/10.1007/978-3-642-01859-6'
apa: 'Baumann, A., Engels, G., Hofmann, A., Sauer, S., & Willkomm, J. (2009).
A Holistic Software Engineering Method for Service-Oriented Application Landscape
Development. In Proceedings of the First NAF Academy Working Conference on
Practice-Driven Research on Enterprise Transformation (PRET 2009), Amsterdam (The
Netherlands) (Vol. 28, pp. 1–17). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-642-01859-6'
bibtex: '@inproceedings{Baumann_Engels_Hofmann_Sauer_Willkomm_2009, place={Berlin/Heidelberg},
series={Lecture Notes in Business Information Processing}, title={A Holistic Software
Engineering Method for Service-Oriented Application Landscape Development}, volume={28},
DOI={http://dx.doi.org/10.1007/978-3-642-01859-6},
booktitle={Proceedings of the First NAF Academy Working Conference on Practice-Driven
Research on Enterprise Transformation (PRET 2009), Amsterdam (The Netherlands)},
publisher={Springer}, author={Baumann, Andrea and Engels, Gregor and Hofmann,
Alexander and Sauer, Stefan and Willkomm, Johannes}, year={2009}, pages={1–17},
collection={Lecture Notes in Business Information Processing} }'
chicago: 'Baumann, Andrea, Gregor Engels, Alexander Hofmann, Stefan Sauer, and Johannes
Willkomm. “A Holistic Software Engineering Method for Service-Oriented Application
Landscape Development.” In Proceedings of the First NAF Academy Working Conference
on Practice-Driven Research on Enterprise Transformation (PRET 2009), Amsterdam
(The Netherlands), 28:1–17. Lecture Notes in Business Information Processing.
Berlin/Heidelberg: Springer, 2009. http://dx.doi.org/10.1007/978-3-642-01859-6.'
ieee: A. Baumann, G. Engels, A. Hofmann, S. Sauer, and J. Willkomm, “A Holistic
Software Engineering Method for Service-Oriented Application Landscape Development,”
in Proceedings of the First NAF Academy Working Conference on Practice-Driven
Research on Enterprise Transformation (PRET 2009), Amsterdam (The Netherlands),
2009, vol. 28, pp. 1–17.
mla: Baumann, Andrea, et al. “A Holistic Software Engineering Method for Service-Oriented
Application Landscape Development.” Proceedings of the First NAF Academy Working
Conference on Practice-Driven Research on Enterprise Transformation (PRET 2009),
Amsterdam (The Netherlands), vol. 28, Springer, 2009, pp. 1–17, doi:http://dx.doi.org/10.1007/978-3-642-01859-6.
short: 'A. Baumann, G. Engels, A. Hofmann, S. Sauer, J. Willkomm, in: Proceedings
of the First NAF Academy Working Conference on Practice-Driven Research on Enterprise
Transformation (PRET 2009), Amsterdam (The Netherlands), Springer, Berlin/Heidelberg,
2009, pp. 1–17.'
date_created: 2019-02-21T17:36:18Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/978-3-642-01859-6
intvolume: ' 28'
language:
- iso: eng
page: 1-17
place: Berlin/Heidelberg
publication: Proceedings of the First NAF Academy Working Conference on Practice-Driven
Research on Enterprise Transformation (PRET 2009), Amsterdam (The Netherlands)
publisher: Springer
series_title: Lecture Notes in Business Information Processing
status: public
title: A Holistic Software Engineering Method for Service-Oriented Application Landscape
Development
type: conference
user_id: '52534'
volume: 28
year: '2009'
...
---
_id: '8013'
abstract:
- lang: eng
text: Version management of models is common for structural diagrams such as class
diagrams but still challenging for behavioral models such as process models. For
process models, conflicts of change operations are difficult to resolve because
often dependencies to other change operations exist. As a consequence, conflicts
and dependencies between change operations must be computed and shown to the user
who can then take them into account while creating a consolidated version. In
this paper, we introduce the concepts of dependencies and conflicts of change
operations for process models and provide a method how to compute them. We then
discuss different possibilities for resolving conflicts. Using our approach it
is possible to enable version management of process models with minimal manual
intervention of the user.
author:
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Christian
full_name: Gerth, Christian
last_name: Gerth
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Küster J, Gerth C, Engels G. Dependent and Conflicting Change Operations of
Process Models. In: Proceedings of the 5th European Conference on Model-Driven
Architecture Foundations and Applications (ECMDA-FA’09). Vol 5562. LNCS. Berlin/Heidelberg:
Springer; 2009:158-173. doi:http://dx.doi.org/10.1007/978-3-642-02674-4_12'
apa: 'Küster, J., Gerth, C., & Engels, G. (2009). Dependent and Conflicting
Change Operations of Process Models. In Proceedings of the 5th European Conference
on Model-Driven Architecture Foundations and Applications (ECMDA-FA’09) (Vol.
5562, pp. 158–173). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-642-02674-4_12'
bibtex: '@inproceedings{Küster_Gerth_Engels_2009, place={Berlin/Heidelberg}, series={LNCS},
title={Dependent and Conflicting Change Operations of Process Models}, volume={5562},
DOI={http://dx.doi.org/10.1007/978-3-642-02674-4_12},
booktitle={Proceedings of the 5th European Conference on Model-Driven Architecture
Foundations and Applications (ECMDA-FA’09)}, publisher={Springer}, author={Küster,
Jochen and Gerth, Christian and Engels, Gregor}, year={2009}, pages={158–173},
collection={LNCS} }'
chicago: 'Küster, Jochen, Christian Gerth, and Gregor Engels. “Dependent and Conflicting
Change Operations of Process Models.” In Proceedings of the 5th European Conference
on Model-Driven Architecture Foundations and Applications (ECMDA-FA’09), 5562:158–73.
LNCS. Berlin/Heidelberg: Springer, 2009. http://dx.doi.org/10.1007/978-3-642-02674-4_12.'
ieee: J. Küster, C. Gerth, and G. Engels, “Dependent and Conflicting Change Operations
of Process Models,” in Proceedings of the 5th European Conference on Model-Driven
Architecture Foundations and Applications (ECMDA-FA’09), 2009, vol. 5562,
pp. 158–173.
mla: Küster, Jochen, et al. “Dependent and Conflicting Change Operations of Process
Models.” Proceedings of the 5th European Conference on Model-Driven Architecture
Foundations and Applications (ECMDA-FA’09), vol. 5562, Springer, 2009, pp.
158–73, doi:http://dx.doi.org/10.1007/978-3-642-02674-4_12.
short: 'J. Küster, C. Gerth, G. Engels, in: Proceedings of the 5th European Conference
on Model-Driven Architecture Foundations and Applications (ECMDA-FA’09), Springer,
Berlin/Heidelberg, 2009, pp. 158–173.'
date_created: 2019-02-21T17:36:21Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/978-3-642-02674-4_12
intvolume: ' 5562'
language:
- iso: eng
page: 158-173
place: Berlin/Heidelberg
publication: Proceedings of the 5th European Conference on Model-Driven Architecture
Foundations and Applications (ECMDA-FA'09)
publisher: Springer
series_title: LNCS
status: public
title: Dependent and Conflicting Change Operations of Process Models
type: conference
user_id: '52534'
volume: 5562
year: '2009'
...
---
_id: '8014'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Silke
full_name: Geisen, Silke
last_name: Geisen
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Olaf
full_name: Port, Olaf
last_name: Port
citation:
ama: 'Engels G, Geisen S, Sauer S, Port O. Sicherstellen der Betrachtung von nicht-funktionalen
Anforderungen in SCRUM-Prozessen durch Etablierung von Feedback. In: Informatik
2009 - Im Focus Das Leben. Vol 154. Lecture Notes in Informatics. Bonn: Gesellschaft
für Informatik (GI); 2009:458.'
apa: 'Engels, G., Geisen, S., Sauer, S., & Port, O. (2009). Sicherstellen der
Betrachtung von nicht-funktionalen Anforderungen in SCRUM-Prozessen durch Etablierung
von Feedback. In Informatik 2009 - Im Focus das Leben (Vol. 154, p. 458).
Bonn: Gesellschaft für Informatik (GI).'
bibtex: '@inproceedings{Engels_Geisen_Sauer_Port_2009, place={Bonn}, series={Lecture
Notes in Informatics}, title={Sicherstellen der Betrachtung von nicht-funktionalen
Anforderungen in SCRUM-Prozessen durch Etablierung von Feedback}, volume={154},
booktitle={Informatik 2009 - Im Focus das Leben}, publisher={Gesellschaft für
Informatik (GI)}, author={Engels, Gregor and Geisen, Silke and Sauer, Stefan and
Port, Olaf}, year={2009}, pages={458}, collection={Lecture Notes in Informatics}
}'
chicago: 'Engels, Gregor, Silke Geisen, Stefan Sauer, and Olaf Port. “Sicherstellen
Der Betrachtung von Nicht-Funktionalen Anforderungen in SCRUM-Prozessen Durch
Etablierung von Feedback.” In Informatik 2009 - Im Focus Das Leben, 154:458.
Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2009.'
ieee: G. Engels, S. Geisen, S. Sauer, and O. Port, “Sicherstellen der Betrachtung
von nicht-funktionalen Anforderungen in SCRUM-Prozessen durch Etablierung von
Feedback,” in Informatik 2009 - Im Focus das Leben, 2009, vol. 154, p.
458.
mla: Engels, Gregor, et al. “Sicherstellen Der Betrachtung von Nicht-Funktionalen
Anforderungen in SCRUM-Prozessen Durch Etablierung von Feedback.” Informatik
2009 - Im Focus Das Leben, vol. 154, Gesellschaft für Informatik (GI), 2009,
p. 458.
short: 'G. Engels, S. Geisen, S. Sauer, O. Port, in: Informatik 2009 - Im Focus
Das Leben, Gesellschaft für Informatik (GI), Bonn, 2009, p. 458.'
date_created: 2019-02-21T17:36:22Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
intvolume: ' 154'
language:
- iso: eng
page: '458'
place: Bonn
publication: Informatik 2009 - Im Focus das Leben
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Sicherstellen der Betrachtung von nicht-funktionalen Anforderungen in SCRUM-Prozessen
durch Etablierung von Feedback
type: conference
user_id: '52534'
volume: 154
year: '2009'
...
---
_id: '8015'
author:
- first_name: Frank
full_name: Salger, Frank
last_name: Salger
- 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: 'Salger F, Sauer S, Engels G. Integrated Specification and Quality Assurance
for Large Business Information Systems. In: Proceedings of the 2nd India Software
Engineering Conference (ISEC’09). New York, NY, USA: ACM Press; 2009:129-130.'
apa: 'Salger, F., Sauer, S., & Engels, G. (2009). Integrated Specification and
Quality Assurance for Large Business Information Systems. In Proceedings of
the 2nd India Software Engineering Conference (ISEC’09) (pp. 129–130). New
York, NY, USA: ACM Press.'
bibtex: '@inproceedings{Salger_Sauer_Engels_2009, place={New York, NY, USA}, title={Integrated
Specification and Quality Assurance for Large Business Information Systems}, booktitle={Proceedings
of the 2nd India Software Engineering Conference (ISEC’09)}, publisher={ACM Press},
author={Salger, Frank and Sauer, Stefan and Engels, Gregor}, year={2009}, pages={129–130}
}'
chicago: 'Salger, Frank, Stefan Sauer, and Gregor Engels. “Integrated Specification
and Quality Assurance for Large Business Information Systems.” In Proceedings
of the 2nd India Software Engineering Conference (ISEC’09), 129–30. New York,
NY, USA: ACM Press, 2009.'
ieee: F. Salger, S. Sauer, and G. Engels, “Integrated Specification and Quality
Assurance for Large Business Information Systems,” in Proceedings of the 2nd
India Software Engineering Conference (ISEC’09), 2009, pp. 129–130.
mla: Salger, Frank, et al. “Integrated Specification and Quality Assurance for Large
Business Information Systems.” Proceedings of the 2nd India Software Engineering
Conference (ISEC’09), ACM Press, 2009, pp. 129–30.
short: 'F. Salger, S. Sauer, G. Engels, in: Proceedings of the 2nd India Software
Engineering Conference (ISEC’09), ACM Press, New York, NY, USA, 2009, pp. 129–130.'
date_created: 2019-02-21T17:36:23Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
language:
- iso: eng
page: 129-130
place: New York, NY, USA
publication: Proceedings of the 2nd India Software Engineering Conference (ISEC'09)
publisher: ACM Press
status: public
title: Integrated Specification and Quality Assurance for Large Business Information
Systems
type: conference
user_id: '52534'
year: '2009'
...
---
_id: '8016'
author:
- first_name: Baris
full_name: Güldali, Baris
last_name: Güldali
- first_name: Michael
full_name: Mlynarski, Michael
last_name: Mlynarski
- first_name: Andreas
full_name: Wübbeke, Andreas
last_name: Wübbeke
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Güldali B, Mlynarski M, Wübbeke A, Engels G. Model-Based System Testing Using
Visual Contracts. In: Proceedings of Euromicro SEAA Conference 2009, Special
Session on “Model Driven Engineering.” Washington, DC, USA: IEEE Computer
Society; 2009:121-124.'
apa: 'Güldali, B., Mlynarski, M., Wübbeke, A., & Engels, G. (2009). Model-Based
System Testing Using Visual Contracts. In Proceedings of Euromicro SEAA Conference
2009, Special Session on “Model Driven Engineering” (pp. 121–124). Washington,
DC, USA: IEEE Computer Society.'
bibtex: '@inproceedings{Güldali_Mlynarski_Wübbeke_Engels_2009, place={Washington,
DC, USA}, title={Model-Based System Testing Using Visual Contracts}, booktitle={Proceedings
of Euromicro SEAA Conference 2009, Special Session on “Model Driven Engineering”},
publisher={IEEE Computer Society}, author={Güldali, Baris and Mlynarski, Michael
and Wübbeke, Andreas and Engels, Gregor}, year={2009}, pages={121–124} }'
chicago: 'Güldali, Baris, Michael Mlynarski, Andreas Wübbeke, and Gregor Engels.
“Model-Based System Testing Using Visual Contracts.” In Proceedings of Euromicro
SEAA Conference 2009, Special Session on “Model Driven Engineering,” 121–24.
Washington, DC, USA: IEEE Computer Society, 2009.'
ieee: B. Güldali, M. Mlynarski, A. Wübbeke, and G. Engels, “Model-Based System Testing
Using Visual Contracts,” in Proceedings of Euromicro SEAA Conference 2009,
Special Session on “Model Driven Engineering,” 2009, pp. 121–124.
mla: Güldali, Baris, et al. “Model-Based System Testing Using Visual Contracts.”
Proceedings of Euromicro SEAA Conference 2009, Special Session on “Model Driven
Engineering,” IEEE Computer Society, 2009, pp. 121–24.
short: 'B. Güldali, M. Mlynarski, A. Wübbeke, G. Engels, in: Proceedings of Euromicro
SEAA Conference 2009, Special Session on “Model Driven Engineering,” IEEE Computer
Society, Washington, DC, USA, 2009, pp. 121–124.'
date_created: 2019-02-21T17:36:24Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
language:
- iso: eng
page: 121-124
place: Washington, DC, USA
publication: Proceedings of Euromicro SEAA Conference 2009, Special Session on “Model
Driven Engineering”
publisher: IEEE Computer Society
status: public
title: Model-Based System Testing Using Visual Contracts
type: conference
user_id: '52534'
year: '2009'
...
---
_id: '8019'
abstract:
- lang: eng
text: 'Behavioral models are getting more and more important within the software
development cycle. To get the most use out of them, their behavior should be defined
formally. As a result, many approaches exist which aim at specifying formal semantics
for behavioral languages (e.g., Dynamic Meta Modeling (DMM), Semantic Anchoring).
Most of these approaches give rise to a formal semantics which can e.g. be used
to check the quality of a particular language instance, for instance using model
checking techniques. However, if the semantics specification itself contains errors,
it is more or less useless, since one cannot rely on the analysis results. Therefore,
the language engineer must make sure that the semantics he develops is of the
highest quality possible. To help the language engineer to achieve that goal,
we propose a test-driven semantics specification process: the semantics of the
language under consideration is first informally demonstrated using example models,
which will then be used as test cases during the actual semantics specification
process. In this paper, we present this approach using the already mentioned specification
language DMM.'
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. Towards Test-Driven Semantics Specification. In: Proceedings
of the 12th International Conference on Model Driven Engineering Languages and
Systems (MODELS 2009), Denver, Colorado (USA). Vol 5795. LNCS. Berlin/Heidelberg:
Springer; 2009:378-392. doi:http://dx.doi.org/10.1007/978-3-642-04425-0_30'
apa: 'Soltenborn, C., & Engels, G. (2009). Towards Test-Driven Semantics Specification.
In Proceedings of the 12th International Conference on Model Driven Engineering
Languages and Systems (MODELS 2009), Denver, Colorado (USA) (Vol. 5795, pp.
378–392). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-642-04425-0_30'
bibtex: '@inproceedings{Soltenborn_Engels_2009, place={Berlin/Heidelberg}, series={LNCS},
title={Towards Test-Driven Semantics Specification}, volume={5795}, DOI={http://dx.doi.org/10.1007/978-3-642-04425-0_30},
booktitle={Proceedings of the 12th International Conference on Model Driven Engineering
Languages and Systems (MODELS 2009), Denver, Colorado (USA)}, publisher={Springer},
author={Soltenborn, Christian and Engels, Gregor}, year={2009}, pages={378–392},
collection={LNCS} }'
chicago: 'Soltenborn, Christian, and Gregor Engels. “Towards Test-Driven Semantics
Specification.” In Proceedings of the 12th International Conference on Model
Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA),
5795:378–92. LNCS. Berlin/Heidelberg: Springer, 2009. http://dx.doi.org/10.1007/978-3-642-04425-0_30.'
ieee: C. Soltenborn and G. Engels, “Towards Test-Driven Semantics Specification,”
in Proceedings of the 12th International Conference on Model Driven Engineering
Languages and Systems (MODELS 2009), Denver, Colorado (USA), 2009, vol. 5795,
pp. 378–392.
mla: Soltenborn, Christian, and Gregor Engels. “Towards Test-Driven Semantics Specification.”
Proceedings of the 12th International Conference on Model Driven Engineering
Languages and Systems (MODELS 2009), Denver, Colorado (USA), vol. 5795, Springer,
2009, pp. 378–92, doi:http://dx.doi.org/10.1007/978-3-642-04425-0_30.
short: 'C. Soltenborn, G. Engels, in: Proceedings of the 12th International Conference
on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado
(USA), Springer, Berlin/Heidelberg, 2009, pp. 378–392.'
date_created: 2019-02-21T17:36:28Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/978-3-642-04425-0_30
intvolume: ' 5795'
language:
- iso: eng
page: 378-392
place: Berlin/Heidelberg
publication: Proceedings of the 12th International Conference on Model Driven Engineering
Languages and Systems (MODELS 2009), Denver, Colorado (USA)
publisher: Springer
series_title: LNCS
status: public
title: Towards Test-Driven Semantics Specification
type: conference
user_id: '14955'
volume: 5795
year: '2009'
...
---
_id: '8020'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Daniela
full_name: Fisseler, Daniela
last_name: Fisseler
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
citation:
ama: 'Engels G, Fisseler D, Soltenborn C. Improving Reusability of Dynamic Meta
Modeling Specifications with Rule Overriding. In: Proceedings of the 2009 IEEE
Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis,
Oregon (USA). Piscataway, NJ (USA): IEEE Computer Society; 2009:39-46. doi:http://dx.doi.org/10.1109/VLHCC.2009.5295302'
apa: 'Engels, G., Fisseler, D., & Soltenborn, C. (2009). Improving Reusability
of Dynamic Meta Modeling Specifications with Rule Overriding. In Proceedings
of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC
2009), Corvallis, Oregon (USA) (pp. 39–46). Piscataway, NJ (USA): IEEE Computer
Society. http://dx.doi.org/10.1109/VLHCC.2009.5295302'
bibtex: '@inproceedings{Engels_Fisseler_Soltenborn_2009, place={Piscataway, NJ (USA)},
title={Improving Reusability of Dynamic Meta Modeling Specifications with Rule
Overriding}, DOI={http://dx.doi.org/10.1109/VLHCC.2009.5295302},
booktitle={Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 2009), Corvallis, Oregon (USA)}, publisher={IEEE Computer Society},
author={Engels, Gregor and Fisseler, Daniela and Soltenborn, Christian}, year={2009},
pages={39–46} }'
chicago: 'Engels, Gregor, Daniela Fisseler, and Christian Soltenborn. “Improving
Reusability of Dynamic Meta Modeling Specifications with Rule Overriding.” In
Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 2009), Corvallis, Oregon (USA), 39–46. Piscataway, NJ (USA):
IEEE Computer Society, 2009. http://dx.doi.org/10.1109/VLHCC.2009.5295302.'
ieee: G. Engels, D. Fisseler, and C. Soltenborn, “Improving Reusability of Dynamic
Meta Modeling Specifications with Rule Overriding,” in Proceedings of the 2009
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009),
Corvallis, Oregon (USA), 2009, pp. 39–46.
mla: Engels, Gregor, et al. “Improving Reusability of Dynamic Meta Modeling Specifications
with Rule Overriding.” Proceedings of the 2009 IEEE Symposium on Visual Languages
and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA), IEEE Computer
Society, 2009, pp. 39–46, doi:http://dx.doi.org/10.1109/VLHCC.2009.5295302.
short: 'G. Engels, D. Fisseler, C. Soltenborn, in: Proceedings of the 2009 IEEE
Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis,
Oregon (USA), IEEE Computer Society, Piscataway, NJ (USA), 2009, pp. 39–46.'
date_created: 2019-02-21T17:36:29Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/VLHCC.2009.5295302
language:
- iso: eng
page: 39-46
place: Piscataway, NJ (USA)
publication: Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 2009), Corvallis, Oregon (USA)
publisher: IEEE Computer Society
status: public
title: Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding
type: conference
user_id: '14955'
year: '2009'
...
---
_id: '8021'
abstract:
- lang: eng
text: In acceptance testing, customer requirements as specified in system specifications
have to be tested for their successful implementation. This is a time-consuming
task due to inherent system complexity and thus a large number of requirements.
In order to reduce efforts in acceptance testing, we introduce a novel approach
that exploits redundancies and implicit relations in requirements specifications,
which are based on multi-viewpoint techniques, in our case the reference model
for open distributed processing (RM-ODP). It deploys requirements clustering and
linguistic analysis techniques for reducing the total number of test cases. We
report on concrete experiences with this approach within joint R&D work of the
Software Quality Lab (s-lab) of the University of Paderborn and HJP Consulting,
an international consulting company, specialized in planning, procurement and
acceptance testing of national electronic identification (e-ID) systems. The paper
is concluded with an overview on the current tool support especially for automated
detection of the redundancies and implicit relations in requirements. Also the
future work on the tool support for the overall test specification process is
discussed.
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: Michael
full_name: Jahnich, Michael
last_name: Jahnich
- 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, Jahnich M, Sauer S, Engels G. Semi-automated Test Planning
for e-ID Systems by Using Requirements Clustering. In: 24th IEEE/ACM International
Conference on Automated Software Engineering (ASE 2009), 16-20 November 2009,
Auckland, New Zeland. ; 2009:29-39. doi:http://dx.doi.org/10.1109/ASE.2009.86'
apa: Güldali, B., Funke, H., Jahnich, M., Sauer, S., & Engels, G. (2009). Semi-automated
Test Planning for e-ID Systems by Using Requirements Clustering. In 24th IEEE/ACM
International Conference on Automated Software Engineering (ASE 2009), 16-20 November
2009, Auckland, New Zeland (pp. 29–39). http://dx.doi.org/10.1109/ASE.2009.86
bibtex: '@inproceedings{Güldali_Funke_Jahnich_Sauer_Engels_2009, title={Semi-automated
Test Planning for e-ID Systems by Using Requirements Clustering}, DOI={http://dx.doi.org/10.1109/ASE.2009.86},
booktitle={24th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2009), 16-20 November 2009, Auckland, New Zeland}, author={Güldali, Baris
and Funke, Holger and Jahnich, Michael and Sauer, Stefan and Engels, Gregor},
year={2009}, pages={29–39} }'
chicago: Güldali, Baris, Holger Funke, Michael Jahnich, Stefan Sauer, and Gregor
Engels. “Semi-Automated Test Planning for e-ID Systems by Using Requirements Clustering.”
In 24th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2009), 16-20 November 2009, Auckland, New Zeland, 29–39, 2009. http://dx.doi.org/10.1109/ASE.2009.86.
ieee: B. Güldali, H. Funke, M. Jahnich, S. Sauer, and G. Engels, “Semi-automated
Test Planning for e-ID Systems by Using Requirements Clustering,” in 24th IEEE/ACM
International Conference on Automated Software Engineering (ASE 2009), 16-20 November
2009, Auckland, New Zeland, 2009, pp. 29–39.
mla: Güldali, Baris, et al. “Semi-Automated Test Planning for e-ID Systems by Using
Requirements Clustering.” 24th IEEE/ACM International Conference on Automated
Software Engineering (ASE 2009), 16-20 November 2009, Auckland, New Zeland,
2009, pp. 29–39, doi:http://dx.doi.org/10.1109/ASE.2009.86.
short: 'B. Güldali, H. Funke, M. Jahnich, S. Sauer, G. Engels, in: 24th IEEE/ACM
International Conference on Automated Software Engineering (ASE 2009), 16-20 November
2009, Auckland, New Zeland, 2009, pp. 29–39.'
date_created: 2019-02-21T17:36:30Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/ASE.2009.86
language:
- iso: eng
page: 29-39
publication: 24th IEEE/ACM International Conference on Automated Software Engineering
(ASE 2009), 16-20 November 2009, Auckland, New Zeland
status: public
title: Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering
type: conference
user_id: '52534'
year: '2009'
...
---
_id: '8022'
author:
- first_name: Martin
full_name: Assmann, Martin
last_name: Assmann
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Thomas
full_name: von der Maßen, Thomas
last_name: von der Maßen
- first_name: Andreas
full_name: Wübbeke, Andreas
last_name: Wübbeke
citation:
ama: 'Assmann M, Engels G, von der Maßen T, Wübbeke A. Identifying Software Product
Line Component Services. In: Proceedings of International Conference on Evaluation
of Novel Approaches to Software Engineering (ENASE 09). ; 2009:45–56.'
apa: Assmann, M., Engels, G., von der Maßen, T., & Wübbeke, A. (2009). Identifying
Software Product Line Component Services. In Proceedings of International Conference
on Evaluation of Novel Approaches to Software Engineering (ENASE 09) (pp.
45–56).
bibtex: '@inproceedings{Assmann_Engels_von der Maßen_Wübbeke_2009, title={Identifying
Software Product Line Component Services}, booktitle={Proceedings of International
Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 09)},
author={Assmann, Martin and Engels, Gregor and von der Maßen, Thomas and Wübbeke,
Andreas}, year={2009}, pages={45–56} }'
chicago: Assmann, Martin, Gregor Engels, Thomas von der Maßen, and Andreas Wübbeke.
“Identifying Software Product Line Component Services.” In Proceedings of International
Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 09),
45–56, 2009.
ieee: M. Assmann, G. Engels, T. von der Maßen, and A. Wübbeke, “Identifying Software
Product Line Component Services,” in Proceedings of International Conference
on Evaluation of Novel Approaches to Software Engineering (ENASE 09), 2009,
pp. 45–56.
mla: Assmann, Martin, et al. “Identifying Software Product Line Component Services.”
Proceedings of International Conference on Evaluation of Novel Approaches to
Software Engineering (ENASE 09), 2009, pp. 45–56.
short: 'M. Assmann, G. Engels, T. von der Maßen, A. Wübbeke, in: Proceedings of
International Conference on Evaluation of Novel Approaches to Software Engineering
(ENASE 09), 2009, pp. 45–56.'
date_created: 2019-02-21T17:36:31Z
date_updated: 2022-01-06T07:03:49Z
department:
- _id: '66'
language:
- iso: eng
page: 45–56
publication: Proceedings of International Conference on Evaluation of Novel Approaches
to Software Engineering (ENASE 09)
status: public
title: Identifying Software Product Line Component Services
type: conference
user_id: '52534'
year: '2009'
...
---
_id: '7365'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: Engels G. Guest Editorial to the Special Section on MODELS 2007. Software
& Systems Modeling. 2009;9(1):5-6. doi:10.1007/s10270-009-0140-5
apa: Engels, G. (2009). Guest Editorial to the Special Section on MODELS 2007. Software
& Systems Modeling, 9(1), 5–6. https://doi.org/10.1007/s10270-009-0140-5
bibtex: '@article{Engels_2009, title={Guest Editorial to the Special Section on
MODELS 2007}, volume={9}, DOI={10.1007/s10270-009-0140-5},
number={1}, journal={Software & Systems Modeling}, publisher={Springer Nature},
author={Engels, Gregor}, year={2009}, pages={5–6} }'
chicago: 'Engels, Gregor. “Guest Editorial to the Special Section on MODELS 2007.”
Software & Systems Modeling 9, no. 1 (2009): 5–6. https://doi.org/10.1007/s10270-009-0140-5.'
ieee: G. Engels, “Guest Editorial to the Special Section on MODELS 2007,” Software
& Systems Modeling, vol. 9, no. 1, pp. 5–6, 2009.
mla: Engels, Gregor. “Guest Editorial to the Special Section on MODELS 2007.” Software
& Systems Modeling, vol. 9, no. 1, Springer Nature, 2009, pp. 5–6, doi:10.1007/s10270-009-0140-5.
short: G. Engels, Software & Systems Modeling 9 (2009) 5–6.
date_created: 2019-01-31T15:18:20Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
doi: 10.1007/s10270-009-0140-5
intvolume: ' 9'
issue: '1'
language:
- iso: eng
page: 5-6
publication: Software & Systems Modeling
publication_identifier:
issn:
- 1619-1366
- 1619-1374
publication_status: published
publisher: Springer Nature
status: public
title: Guest Editorial to the Special Section on MODELS 2007
type: journal_article
user_id: '52534'
volume: 9
year: '2009'
...
---
_id: '7367'
author:
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Johannes
full_name: Willkomm, Johannes
last_name: Willkomm
- first_name: Andrea
full_name: Baumann, Andrea
last_name: Baumann
- first_name: Alexander
full_name: Hofmann, Alexander
last_name: Hofmann
citation:
ama: Sauer S, Engels G, Willkomm J, Baumann A, Hofmann A. A Holistic Software Engineering
Method for Service-Oriented Application Landscape Development. Advances in
Enterprise Engineering II. 2009:1-17.
apa: Sauer, S., Engels, G., Willkomm, J., Baumann, A., & Hofmann, A. (2009).
A Holistic Software Engineering Method for Service-Oriented Application Landscape
Development. Advances in Enterprise Engineering II, 1–17.
bibtex: '@article{Sauer_Engels_Willkomm_Baumann_Hofmann_2009, title={A Holistic
Software Engineering Method for Service-Oriented Application Landscape Development},
journal={Advances in Enterprise Engineering II}, author={Sauer, Stefan and Engels,
Gregor and Willkomm, Johannes and Baumann, Andrea and Hofmann, Alexander}, year={2009},
pages={1–17} }'
chicago: Sauer, Stefan, Gregor Engels, Johannes Willkomm, Andrea Baumann, and Alexander
Hofmann. “A Holistic Software Engineering Method for Service-Oriented Application
Landscape Development.” Advances in Enterprise Engineering II, 2009, 1–17.
ieee: S. Sauer, G. Engels, J. Willkomm, A. Baumann, and A. Hofmann, “A Holistic
Software Engineering Method for Service-Oriented Application Landscape Development,”
Advances in Enterprise Engineering II, pp. 1–17, 2009.
mla: Sauer, Stefan, et al. “A Holistic Software Engineering Method for Service-Oriented
Application Landscape Development.” Advances in Enterprise Engineering II,
2009, pp. 1–17.
short: S. Sauer, G. Engels, J. Willkomm, A. Baumann, A. Hofmann, Advances in Enterprise
Engineering II (2009) 1–17.
date_created: 2019-01-31T15:19:42Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
language:
- iso: eng
page: 1-17
publication: Advances in Enterprise Engineering II
status: public
title: A Holistic Software Engineering Method for Service-Oriented Application Landscape
Development
type: journal_article
user_id: '52534'
year: '2009'
...
---
_id: '7368'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Michael
full_name: Goedicke, Michael
last_name: Goedicke
- first_name: Ursula
full_name: Goltz, Ursula
last_name: Goltz
- first_name: Andreas
full_name: Rausch, Andreas
last_name: Rausch
- first_name: Ralf
full_name: Reussner, Ralf
last_name: Reussner
citation:
ama: Engels G, Goedicke M, Goltz U, Rausch A, Reussner R. Design for Future – Legacy-Probleme
von morgen vermeidbar? Informatik-Spektrum. 2009;32(5):393-397. doi:10.1007/s00287-009-0356-3
apa: Engels, G., Goedicke, M., Goltz, U., Rausch, A., & Reussner, R. (2009).
Design for Future – Legacy-Probleme von morgen vermeidbar? Informatik-Spektrum,
32(5), 393–397. https://doi.org/10.1007/s00287-009-0356-3
bibtex: '@article{Engels_Goedicke_Goltz_Rausch_Reussner_2009, title={Design for
Future – Legacy-Probleme von morgen vermeidbar?}, volume={32}, DOI={10.1007/s00287-009-0356-3},
number={5}, journal={Informatik-Spektrum}, publisher={Springer Nature}, author={Engels,
Gregor and Goedicke, Michael and Goltz, Ursula and Rausch, Andreas and Reussner,
Ralf}, year={2009}, pages={393–397} }'
chicago: 'Engels, Gregor, Michael Goedicke, Ursula Goltz, Andreas Rausch, and Ralf
Reussner. “Design for Future – Legacy-Probleme von morgen vermeidbar?” Informatik-Spektrum
32, no. 5 (2009): 393–97. https://doi.org/10.1007/s00287-009-0356-3.'
ieee: G. Engels, M. Goedicke, U. Goltz, A. Rausch, and R. Reussner, “Design for
Future – Legacy-Probleme von morgen vermeidbar?,” Informatik-Spektrum,
vol. 32, no. 5, pp. 393–397, 2009.
mla: Engels, Gregor, et al. “Design for Future – Legacy-Probleme von morgen vermeidbar?”
Informatik-Spektrum, vol. 32, no. 5, Springer Nature, 2009, pp. 393–97,
doi:10.1007/s00287-009-0356-3.
short: G. Engels, M. Goedicke, U. Goltz, A. Rausch, R. Reussner, Informatik-Spektrum
32 (2009) 393–397.
date_created: 2019-01-31T15:22:05Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
doi: 10.1007/s00287-009-0356-3
intvolume: ' 32'
issue: '5'
language:
- iso: ger
page: 393-397
publication: Informatik-Spektrum
publication_identifier:
issn:
- 0170-6012
- 1432-122X
publication_status: published
publisher: Springer Nature
status: public
title: Design for Future – Legacy-Probleme von morgen vermeidbar?
type: journal_article
user_id: '52534'
volume: 32
year: '2009'
...
---
_id: '8431'
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: Melanie
full_name: Späth, Melanie
last_name: Späth
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Mlynarski M, Güldali B, Späth M, Engels G. From Design Models to Test Models
by Means of Test Ideas. In: MoDeVVa ’09: Proceedings of the 6th International
Workshop on Model-Driven Engineering, Verification and Validation. New York,
NY, USA: ACM; 2009:1-10. doi:http://doi.acm.org/10.1145/1656485.1656492'
apa: 'Mlynarski, M., Güldali, B., Späth, M., & Engels, G. (2009). From Design
Models to Test Models by Means of Test Ideas. In MoDeVVa ’09: Proceedings of
the 6th International Workshop on Model-Driven Engineering, Verification and Validation
(pp. 1–10). New York, NY, USA: ACM. http://doi.acm.org/10.1145/1656485.1656492'
bibtex: '@inproceedings{Mlynarski_Güldali_Späth_Engels_2009, place={New York, NY,
USA}, title={From Design Models to Test Models by Means of Test Ideas}, DOI={http://doi.acm.org/10.1145/1656485.1656492},
booktitle={MoDeVVa ’09: Proceedings of the 6th International Workshop on Model-Driven
Engineering, Verification and Validation}, publisher={ACM}, author={Mlynarski,
Michael and Güldali, Baris and Späth, Melanie and Engels, Gregor}, year={2009},
pages={1–10} }'
chicago: 'Mlynarski, Michael, Baris Güldali, Melanie Späth, and Gregor Engels. “From
Design Models to Test Models by Means of Test Ideas.” In MoDeVVa ’09: Proceedings
of the 6th International Workshop on Model-Driven Engineering, Verification and
Validation, 1–10. New York, NY, USA: ACM, 2009. http://doi.acm.org/10.1145/1656485.1656492.'
ieee: 'M. Mlynarski, B. Güldali, M. Späth, and G. Engels, “From Design Models to
Test Models by Means of Test Ideas,” in MoDeVVa ’09: Proceedings of the 6th
International Workshop on Model-Driven Engineering, Verification and Validation,
2009, pp. 1–10.'
mla: 'Mlynarski, Michael, et al. “From Design Models to Test Models by Means of
Test Ideas.” MoDeVVa ’09: Proceedings of the 6th International Workshop on
Model-Driven Engineering, Verification and Validation, ACM, 2009, pp. 1–10,
doi:http://doi.acm.org/10.1145/1656485.1656492.'
short: 'M. Mlynarski, B. Güldali, M. Späth, G. Engels, in: MoDeVVa ’09: Proceedings
of the 6th International Workshop on Model-Driven Engineering, Verification and
Validation, ACM, New York, NY, USA, 2009, pp. 1–10.'
date_created: 2019-03-06T16:20:26Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
doi: http://doi.acm.org/10.1145/1656485.1656492
language:
- iso: eng
page: 1-10
place: New York, NY, USA
publication: 'MoDeVVa ''09: Proceedings of the 6th International Workshop on Model-Driven
Engineering, Verification and Validation'
publisher: ACM
status: public
title: From Design Models to Test Models by Means of Test Ideas
type: conference
user_id: '52534'
year: '2009'
...
---
_id: '8432'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Engels G. Automatic Generation of Behavioral Code - too ambitious or even
unwanted? In: First European Workshop on Behaviour Modelling in Model Driven
Architecture (BM-MDA). New York, NY, USA: ACM Press (New York, NY, USA); 2009:5.'
apa: 'Engels, G. (2009). Automatic Generation of Behavioral Code - too ambitious
or even unwanted? In First European Workshop on Behaviour Modelling in Model
Driven Architecture (BM-MDA) (p. 5). New York, NY, USA: ACM Press (New York,
NY, USA).'
bibtex: '@inproceedings{Engels_2009, place={New York, NY, USA}, title={Automatic
Generation of Behavioral Code - too ambitious or even unwanted?}, booktitle={First
European Workshop on Behaviour Modelling in Model Driven Architecture (BM-MDA)},
publisher={ACM Press (New York, NY, USA)}, author={Engels, Gregor}, year={2009},
pages={5} }'
chicago: 'Engels, Gregor. “Automatic Generation of Behavioral Code - Too Ambitious
or Even Unwanted?” In First European Workshop on Behaviour Modelling in Model
Driven Architecture (BM-MDA), 5. New York, NY, USA: ACM Press (New York, NY,
USA), 2009.'
ieee: G. Engels, “Automatic Generation of Behavioral Code - too ambitious or even
unwanted?,” in First European Workshop on Behaviour Modelling in Model Driven
Architecture (BM-MDA), 2009, p. 5.
mla: Engels, Gregor. “Automatic Generation of Behavioral Code - Too Ambitious or
Even Unwanted?” First European Workshop on Behaviour Modelling in Model Driven
Architecture (BM-MDA), ACM Press (New York, NY, USA), 2009, p. 5.
short: 'G. Engels, in: First European Workshop on Behaviour Modelling in Model Driven
Architecture (BM-MDA), ACM Press (New York, NY, USA), New York, NY, USA, 2009,
p. 5.'
date_created: 2019-03-06T16:20:27Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
language:
- iso: eng
page: '5'
place: New York, NY, USA
publication: First European Workshop on Behaviour Modelling in Model Driven Architecture
(BM-MDA)
publisher: ACM Press (New York, NY, USA)
status: public
title: Automatic Generation of Behavioral Code - too ambitious or even unwanted?
type: conference
user_id: '52534'
year: '2009'
...
---
_id: '8433'
author:
- first_name: Frank
full_name: Salger, Frank
last_name: Salger
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Alexander
full_name: Hofmann, Alexander
last_name: Hofmann
citation:
ama: 'Salger F, Engels G, Hofmann A. Inspection Effectiveness for Different Quality
Attributes of Software Requirement Specifications - An Industrial Case Study.
In: Proceedings of the ICSE Workshop on Software Quality (WoSQ 2009). ;
2009:15-21.'
apa: Salger, F., Engels, G., & Hofmann, A. (2009). Inspection Effectiveness
for Different Quality Attributes of Software Requirement Specifications - An Industrial
Case Study. In Proceedings of the ICSE Workshop on Software Quality (WoSQ 2009)
(pp. 15–21).
bibtex: '@inproceedings{Salger_Engels_Hofmann_2009, title={Inspection Effectiveness
for Different Quality Attributes of Software Requirement Specifications - An Industrial
Case Study}, booktitle={Proceedings of the ICSE Workshop on Software Quality (WoSQ
2009)}, author={Salger, Frank and Engels, Gregor and Hofmann, Alexander}, year={2009},
pages={15–21} }'
chicago: Salger, Frank, Gregor Engels, and Alexander Hofmann. “Inspection Effectiveness
for Different Quality Attributes of Software Requirement Specifications - An Industrial
Case Study.” In Proceedings of the ICSE Workshop on Software Quality (WoSQ
2009), 15–21, 2009.
ieee: F. Salger, G. Engels, and A. Hofmann, “Inspection Effectiveness for Different
Quality Attributes of Software Requirement Specifications - An Industrial Case
Study,” in Proceedings of the ICSE Workshop on Software Quality (WoSQ 2009),
2009, pp. 15–21.
mla: Salger, Frank, et al. “Inspection Effectiveness for Different Quality Attributes
of Software Requirement Specifications - An Industrial Case Study.” Proceedings
of the ICSE Workshop on Software Quality (WoSQ 2009), 2009, pp. 15–21.
short: 'F. Salger, G. Engels, A. Hofmann, in: Proceedings of the ICSE Workshop on
Software Quality (WoSQ 2009), 2009, pp. 15–21.'
date_created: 2019-03-06T16:20:28Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
language:
- iso: eng
page: 15-21
publication: Proceedings of the ICSE Workshop on Software Quality (WoSQ 2009)
status: public
title: Inspection Effectiveness for Different Quality Attributes of Software Requirement
Specifications - An Industrial Case Study
type: conference
user_id: '52534'
year: '2009'
...
---
_id: '8434'
abstract:
- lang: eng
text: The software specification acts as a bridge between customers, architects,
software developers and testers. If information gets lost or distorted when building
this bridge, the wrong system will be built or the system will not be built in
time and budget–or both! Standards and recommendations give advice on how to structure
specifications or check software-engineering artefacts with reviews or inspections.
But these constructive and analytical approaches are not well integrated with
each other. Moreover, they are often too generic to efficiently support the specification
of particular system types. In this paper, we present the integrated “specification
framework” of Capgemini sd&m. It consists of our specification method for business
information systems (BIS) and its concerted analytical counterpart, the “specification
quality gate”. Since this framework is tailored to the specification of large
BIS, it allows a quick ramp-up phase for software engineering projects without
the need for extensive tailoring or extension.
author:
- first_name: Frank
full_name: Salger, Frank
last_name: Salger
- 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: 'Salger F, Sauer S, Engels G. An Integrated Quality Assurance Framework for
Specifying Business Information Systems. In: Proceedings of the Forum at the
CAiSE 2009 Conference, Amsterdam (The Netherlands). Vol 453. CEUR; 2009:25-30.'
apa: Salger, F., Sauer, S., & Engels, G. (2009). An Integrated Quality Assurance
Framework for Specifying Business Information Systems. In Proceedings of the
Forum at the CAiSE 2009 Conference, Amsterdam (The Netherlands) (Vol. 453,
pp. 25–30). CEUR.
bibtex: '@inproceedings{Salger_Sauer_Engels_2009, title={An Integrated Quality Assurance
Framework for Specifying Business Information Systems}, volume={453}, booktitle={Proceedings
of the Forum at the CAiSE 2009 Conference, Amsterdam (The Netherlands)}, publisher={CEUR},
author={Salger, Frank and Sauer, Stefan and Engels, Gregor}, year={2009}, pages={25–30}
}'
chicago: Salger, Frank, Stefan Sauer, and Gregor Engels. “An Integrated Quality
Assurance Framework for Specifying Business Information Systems.” In Proceedings
of the Forum at the CAiSE 2009 Conference, Amsterdam (The Netherlands), 453:25–30.
CEUR, 2009.
ieee: F. Salger, S. Sauer, and G. Engels, “An Integrated Quality Assurance Framework
for Specifying Business Information Systems,” in Proceedings of the Forum at
the CAiSE 2009 Conference, Amsterdam (The Netherlands), 2009, vol. 453, pp.
25–30.
mla: Salger, Frank, et al. “An Integrated Quality Assurance Framework for Specifying
Business Information Systems.” Proceedings of the Forum at the CAiSE 2009 Conference,
Amsterdam (The Netherlands), vol. 453, CEUR, 2009, pp. 25–30.
short: 'F. Salger, S. Sauer, G. Engels, in: Proceedings of the Forum at the CAiSE
2009 Conference, Amsterdam (The Netherlands), CEUR, 2009, pp. 25–30.'
date_created: 2019-03-06T16:20:30Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
intvolume: ' 453'
language:
- iso: eng
page: 25-30
publication: Proceedings of the Forum at the CAiSE 2009 Conference, Amsterdam (The
Netherlands)
publisher: CEUR
status: public
title: An Integrated Quality Assurance Framework for Specifying Business Information
Systems
type: conference
user_id: '52534'
volume: 453
year: '2009'
...
---
_id: '8435'
abstract:
- lang: eng
text: Visual Process Pattern (VPP) is a visual language to describe constraints
on the behavior of UML Activities. They have been developed for the sake of formulating
and verifying requirements on business process models (with Activities being one
possible description language). In the VPP approach, a visual pattern is translated
into an LTL formula, which can then be verified against a transition system describing
the behavior of the Activity under consideration. In this paper, we aim at generalizing
VPP. We show how to formulate patterns more generally, using either concrete or
abstract syntax of the behavioral model under consideration. Additionally, we
describe how these more general patterns can be verified against a model’s behavior.
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. Towards Generalizing Visual Process Pattern. In: Proceedings
of the 1st International Workshop on Visual Formalisms for Patterns (VFfP 2009),
Corvallis, OR (USA). Vol 25. Electronic Communications of the EASST. European
Association of Software Science and Technology; 2009.'
apa: Soltenborn, C., & Engels, G. (2009). Towards Generalizing Visual Process
Pattern. In Proceedings of the 1st International Workshop on Visual Formalisms
for Patterns (VFfP 2009), Corvallis, OR (USA) (Vol. 25). European Association
of Software Science and Technology.
bibtex: '@inproceedings{Soltenborn_Engels_2009, series={Electronic Communications
of the EASST}, title={Towards Generalizing Visual Process Pattern}, volume={25},
booktitle={Proceedings of the 1st International Workshop on Visual Formalisms
for Patterns (VFfP 2009), Corvallis, OR (USA)}, publisher={European Association
of Software Science and Technology}, author={Soltenborn, Christian and Engels,
Gregor}, year={2009}, collection={Electronic Communications of the EASST} }'
chicago: Soltenborn, Christian, and Gregor Engels. “Towards Generalizing Visual
Process Pattern.” In Proceedings of the 1st International Workshop on Visual
Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA), Vol. 25. Electronic
Communications of the EASST. European Association of Software Science and Technology,
2009.
ieee: C. Soltenborn and G. Engels, “Towards Generalizing Visual Process Pattern,”
in Proceedings of the 1st International Workshop on Visual Formalisms for Patterns
(VFfP 2009), Corvallis, OR (USA), 2009, vol. 25.
mla: Soltenborn, Christian, and Gregor Engels. “Towards Generalizing Visual Process
Pattern.” Proceedings of the 1st International Workshop on Visual Formalisms
for Patterns (VFfP 2009), Corvallis, OR (USA), vol. 25, European Association
of Software Science and Technology, 2009.
short: 'C. Soltenborn, G. Engels, in: Proceedings of the 1st International Workshop
on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR (USA), European Association
of Software Science and Technology, 2009.'
date_created: 2019-03-06T16:20:31Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '66'
intvolume: ' 25'
language:
- iso: eng
publication: Proceedings of the 1st International Workshop on Visual Formalisms for
Patterns (VFfP 2009), Corvallis, OR (USA)
publisher: European Association of Software Science and Technology
series_title: Electronic Communications of the EASST
status: public
title: Towards Generalizing Visual Process Pattern
type: conference
user_id: '14955'
volume: 25
year: '2009'
...
---
_id: '3207'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Anneke
full_name: Kleppe, Anneke
last_name: Kleppe
- 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: 'Engels G, Kleppe A, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. From
{UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.
In: Schieferdecker I, Hartman A, eds. Model Driven Architecture - Foundations
and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June
9-13, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:94--109.
doi:10.1007/978-3-540-69100-6_7'
apa: Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim,
H. (2008). From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model
Transformations. In I. Schieferdecker & A. Hartman (Eds.), Model Driven
Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA}
2008, Berlin, Germany, June 9-13, 2008. Proceedings (pp. 94--109). https://doi.org/10.1007/978-3-540-69100-6_7
bibtex: '@inproceedings{Engels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008,
series={Lecture Notes in Computer Science}, title={From {UML} Activities to {TAAL}
- Towards Behaviour-Preserving Model Transformations}, DOI={10.1007/978-3-540-69100-6_7},
booktitle={Model Driven Architecture - Foundations and Applications, 4th European
Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}, author={Engels,
Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn,
Christian and Wehrheim, Heike}, editor={Schieferdecker, Ina and Hartman, AlanEditors},
year={2008}, pages={94--109}, collection={Lecture Notes in Computer Science} }'
chicago: Engels, Gregor, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian
Soltenborn, and Heike Wehrheim. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving
Model Transformations.” In Model Driven Architecture - Foundations and Applications,
4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings,
edited by Ina Schieferdecker and Alan Hartman, 94--109. Lecture Notes in Computer
Science, 2008. https://doi.org/10.1007/978-3-540-69100-6_7.
ieee: G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim,
“From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations,”
in Model Driven Architecture - Foundations and Applications, 4th European Conference,
{ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp.
94--109.
mla: Engels, Gregor, et al. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving
Model Transformations.” Model Driven Architecture - Foundations and Applications,
4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings,
edited by Ina Schieferdecker and Alan Hartman, 2008, pp. 94--109, doi:10.1007/978-3-540-69100-6_7.
short: 'G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim,
in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations
and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June
9-13, 2008. Proceedings, 2008, pp. 94--109.'
date_created: 2018-06-13T09:51:29Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-540-69100-6_7
editor:
- first_name: Ina
full_name: Schieferdecker, Ina
last_name: Schieferdecker
- first_name: Alan
full_name: Hartman, Alan
last_name: Hartman
language:
- iso: eng
page: 94--109
publication: Model Driven Architecture - Foundations and Applications, 4th European
Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations
type: conference
user_id: '14955'
year: '2008'
...