---
_id: '7304'
citation:
ama: Kremer H-H, Sloane PFE, eds. Paderborner Forschungs- und Entwicklungswerkstatt
- Forschungsfragen und -konzepte der beruflichen Bildung. Vol 1. Paderborn;
2007.
apa: Kremer, H.-H., & Sloane, P. F. E. (Eds.). (2007). Paderborner Forschungs-
und Entwicklungswerkstatt - Forschungsfragen und -konzepte der beruflichen Bildung
(Vol. 1). Paderborn.
bibtex: '@book{Kremer_Sloane_2007, place={Paderborn}, title={Paderborner Forschungs-
und Entwicklungswerkstatt - Forschungsfragen und -konzepte der beruflichen Bildung},
volume={1}, year={2007} }'
chicago: Kremer, H.-Hugo, and Peter F. E. Sloane, eds. Paderborner Forschungs-
und Entwicklungswerkstatt - Forschungsfragen und -konzepte der beruflichen Bildung.
Vol. 1. Paderborn, 2007.
ieee: H.-H. Kremer and P. F. E. Sloane, Eds., Paderborner Forschungs- und Entwicklungswerkstatt
- Forschungsfragen und -konzepte der beruflichen Bildung, vol. 1. Paderborn,
2007.
mla: Kremer, H. Hugo, and Peter F. E. Sloane, editors. Paderborner Forschungs-
und Entwicklungswerkstatt - Forschungsfragen und -konzepte der beruflichen Bildung.
Vol. 1, 2007.
short: H.-H. Kremer, P.F.E. Sloane, eds., Paderborner Forschungs- und Entwicklungswerkstatt
- Forschungsfragen und -konzepte der beruflichen Bildung, Paderborn, 2007.
date_created: 2019-01-31T09:42:17Z
date_updated: 2022-01-06T07:03:33Z
department:
- _id: '211'
editor:
- first_name: H.-Hugo
full_name: Kremer, H.-Hugo
id: '15280'
last_name: Kremer
- first_name: Peter F. E.
full_name: Sloane, Peter F. E.
id: '503'
last_name: Sloane
intvolume: ' 1'
language:
- iso: ger
place: Paderborn
status: public
title: Paderborner Forschungs- und Entwicklungswerkstatt - Forschungsfragen und -konzepte
der beruflichen Bildung
type: book_editor
user_id: '74378'
volume: 1
year: '2007'
...
---
_id: '7305'
citation:
ama: Kremer H-H, ed. Lernen in medienbasierten kooperativen Lernumgebungen -
Modellversuch KooL. Paderborn; 2007.
apa: Kremer, H.-H. (Ed.). (2007). Lernen in medienbasierten kooperativen Lernumgebungen
- Modellversuch KooL. Paderborn.
bibtex: '@book{Kremer_2007, place={Paderborn}, title={Lernen in medienbasierten
kooperativen Lernumgebungen - Modellversuch KooL}, year={2007} }'
chicago: Kremer, H.-Hugo, ed. Lernen in medienbasierten kooperativen Lernumgebungen
- Modellversuch KooL. Paderborn, 2007.
ieee: H.-H. Kremer, Ed., Lernen in medienbasierten kooperativen Lernumgebungen
- Modellversuch KooL. Paderborn, 2007.
mla: Kremer, H. Hugo, editor. Lernen in medienbasierten kooperativen Lernumgebungen
- Modellversuch KooL. 2007.
short: H.-H. Kremer, ed., Lernen in medienbasierten kooperativen Lernumgebungen
- Modellversuch KooL, Paderborn, 2007.
date_created: 2019-01-31T09:49:50Z
date_updated: 2022-01-06T07:03:33Z
department:
- _id: '211'
editor:
- first_name: H.-Hugo
full_name: Kremer, H.-Hugo
id: '15280'
last_name: Kremer
language:
- iso: ger
place: Paderborn
status: public
title: Lernen in medienbasierten kooperativen Lernumgebungen - Modellversuch KooL
type: book_editor
user_id: '74378'
year: '2007'
...
---
_id: '7306'
author:
- first_name: H.-Hugo
full_name: Kremer, H.-Hugo
id: '15280'
last_name: Kremer
- first_name: T.
full_name: Tramm, T.
last_name: Tramm
citation:
ama: Kremer H-H, Tramm T. Qualifizierung von Berufs- und Wirtschaftspädagogen zwischen
Professionalisierung und Polyvalenz. bwp@ Berufs- und Wirtschaftspädagogik
- online. 2007;(12).
apa: Kremer, H.-H., & Tramm, T. (2007). Qualifizierung von Berufs- und Wirtschaftspädagogen
zwischen Professionalisierung und Polyvalenz. bwp@ Berufs- und Wirtschaftspädagogik
- online, (12).
bibtex: '@article{Kremer_Tramm_2007, title={Qualifizierung von Berufs- und Wirtschaftspädagogen
zwischen Professionalisierung und Polyvalenz}, number={12}, journal={bwp@ Berufs-
und Wirtschaftspädagogik - online}, author={Kremer, H.-Hugo and Tramm, T.}, year={2007}
}'
chicago: Kremer, H.-Hugo, and T. Tramm. “Qualifizierung von Berufs- und Wirtschaftspädagogen
zwischen Professionalisierung und Polyvalenz.” bwp@ Berufs- und Wirtschaftspädagogik
- online, no. 12 (2007).
ieee: H.-H. Kremer and T. Tramm, “Qualifizierung von Berufs- und Wirtschaftspädagogen
zwischen Professionalisierung und Polyvalenz,” bwp@ Berufs- und Wirtschaftspädagogik
- online, no. 12, 2007.
mla: Kremer, H. Hugo, and T. Tramm. “Qualifizierung von Berufs- und Wirtschaftspädagogen
zwischen Professionalisierung und Polyvalenz.” bwp@ Berufs- und Wirtschaftspädagogik
- online, no. 12, 2007.
short: H.-H. Kremer, T. Tramm, bwp@ Berufs- und Wirtschaftspädagogik - online (2007).
date_created: 2019-01-31T09:54:38Z
date_updated: 2022-01-06T07:03:33Z
department:
- _id: '211'
issue: '12'
language:
- iso: ger
publication: bwp@ Berufs- und Wirtschaftspädagogik - online
status: public
title: Qualifizierung von Berufs- und Wirtschaftspädagogen zwischen Professionalisierung
und Polyvalenz
type: journal_article
user_id: '74378'
year: '2007'
...
---
_id: '7361'
author:
- first_name: A.
full_name: Burda, A.
last_name: Burda
- first_name: H.-Hugo
full_name: Kremer, H.-Hugo
id: '15280'
last_name: Kremer
- first_name: F. G.
full_name: Pferdt, F. G.
last_name: Pferdt
citation:
ama: Burda A, Kremer H-H, Pferdt FG. Mentoring-Modell Paderborn - Konzept und erste
Erfahrungen. Zeitschrift für Hochschulentwicklung. 2007;2(4).
apa: Burda, A., Kremer, H.-H., & Pferdt, F. G. (2007). Mentoring-Modell Paderborn
- Konzept und erste Erfahrungen. Zeitschrift Für Hochschulentwicklung,
2(4).
bibtex: '@article{Burda_Kremer_Pferdt_2007, title={Mentoring-Modell Paderborn -
Konzept und erste Erfahrungen}, volume={2}, number={4}, journal={Zeitschrift für
Hochschulentwicklung}, author={Burda, A. and Kremer, H.-Hugo and Pferdt, F. G.},
year={2007} }'
chicago: Burda, A., H.-Hugo Kremer, and F. G. Pferdt. “Mentoring-Modell Paderborn
- Konzept Und Erste Erfahrungen.” Zeitschrift Für Hochschulentwicklung
2, no. 4 (2007).
ieee: A. Burda, H.-H. Kremer, and F. G. Pferdt, “Mentoring-Modell Paderborn - Konzept
und erste Erfahrungen,” Zeitschrift für Hochschulentwicklung, vol. 2, no.
4, 2007.
mla: Burda, A., et al. “Mentoring-Modell Paderborn - Konzept Und Erste Erfahrungen.”
Zeitschrift Für Hochschulentwicklung, vol. 2, no. 4, 2007.
short: A. Burda, H.-H. Kremer, F.G. Pferdt, Zeitschrift Für Hochschulentwicklung
2 (2007).
date_created: 2019-01-31T14:28:59Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '211'
intvolume: ' 2'
issue: '4'
language:
- iso: eng
publication: Zeitschrift für Hochschulentwicklung
status: public
title: Mentoring-Modell Paderborn - Konzept und erste Erfahrungen
type: journal_article
user_id: '44715'
volume: 2
year: '2007'
...
---
_id: '7362'
author:
- first_name: H.-Hugo
full_name: Kremer, H.-Hugo
id: '15280'
last_name: Kremer
citation:
ama: 'Kremer H-H. Selbstgesteuertes Lernen in medienbasierten kooperativen Lernumgebungen.
In: Kremer H-H, ed. Lernen in medienbasierten kooperativen Lernumgebungen -
Modellversuch KooL. Paderborn; 2007:25-46.'
apa: Kremer, H.-H. (2007). Selbstgesteuertes Lernen in medienbasierten kooperativen
Lernumgebungen. In H.-H. Kremer (Ed.), Lernen in medienbasierten kooperativen
Lernumgebungen - Modellversuch KooL (pp. 25–46). Paderborn.
bibtex: '@inbook{Kremer_2007, place={Paderborn}, title={Selbstgesteuertes Lernen
in medienbasierten kooperativen Lernumgebungen}, booktitle={Lernen in medienbasierten
kooperativen Lernumgebungen - Modellversuch KooL}, author={Kremer, H.-Hugo}, editor={Kremer,
H.-HugoEditor}, year={2007}, pages={25–46} }'
chicago: Kremer, H.-Hugo. “Selbstgesteuertes Lernen in medienbasierten kooperativen
Lernumgebungen.” In Lernen in medienbasierten kooperativen Lernumgebungen -
Modellversuch KooL, edited by H.-Hugo Kremer, 25–46. Paderborn, 2007.
ieee: H.-H. Kremer, “Selbstgesteuertes Lernen in medienbasierten kooperativen Lernumgebungen,”
in Lernen in medienbasierten kooperativen Lernumgebungen - Modellversuch KooL,
H.-H. Kremer, Ed. Paderborn, 2007, pp. 25–46.
mla: Kremer, H. Hugo. “Selbstgesteuertes Lernen in medienbasierten kooperativen
Lernumgebungen.” Lernen in medienbasierten kooperativen Lernumgebungen - Modellversuch
KooL, edited by H.-Hugo Kremer, 2007, pp. 25–46.
short: 'H.-H. Kremer, in: H.-H. Kremer (Ed.), Lernen in medienbasierten kooperativen
Lernumgebungen - Modellversuch KooL, Paderborn, 2007, pp. 25–46.'
date_created: 2019-01-31T14:39:28Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '211'
editor:
- first_name: H.-Hugo
full_name: Kremer, H.-Hugo
last_name: Kremer
language:
- iso: ger
page: 25-46
place: Paderborn
publication: Lernen in medienbasierten kooperativen Lernumgebungen - Modellversuch
KooL
status: public
title: Selbstgesteuertes Lernen in medienbasierten kooperativen Lernumgebungen
type: book_chapter
user_id: '44715'
year: '2007'
...
---
_id: '7363'
author:
- first_name: H.-Hugo
full_name: Kremer, H.-Hugo
id: '15280'
last_name: Kremer
citation:
ama: 'Kremer H-H. Kooperative Lernaufgaben als Instrumente der Curriculumentwicklung.
In: Kremer H-H, ed. Lernen in medienbasierten kooperativen Lernumgebungen -
Modellversuch KooL. Paderborn; 2007:95-117.'
apa: Kremer, H.-H. (2007). Kooperative Lernaufgaben als Instrumente der Curriculumentwicklung.
In H.-H. Kremer (Ed.), Lernen in medienbasierten kooperativen Lernumgebungen
- Modellversuch KooL (pp. 95–117). Paderborn.
bibtex: '@inbook{Kremer_2007, place={Paderborn}, title={Kooperative Lernaufgaben
als Instrumente der Curriculumentwicklung}, booktitle={Lernen in medienbasierten
kooperativen Lernumgebungen - Modellversuch KooL}, author={Kremer, H.-Hugo}, editor={Kremer,
H.-HugoEditor}, year={2007}, pages={95–117} }'
chicago: Kremer, H.-Hugo. “Kooperative Lernaufgaben als Instrumente der Curriculumentwicklung.”
In Lernen in medienbasierten kooperativen Lernumgebungen - Modellversuch KooL,
edited by H.-Hugo Kremer, 95–117. Paderborn, 2007.
ieee: H.-H. Kremer, “Kooperative Lernaufgaben als Instrumente der Curriculumentwicklung,”
in Lernen in medienbasierten kooperativen Lernumgebungen - Modellversuch KooL,
H.-H. Kremer, Ed. Paderborn, 2007, pp. 95–117.
mla: Kremer, H. Hugo. “Kooperative Lernaufgaben als Instrumente der Curriculumentwicklung.”
Lernen in medienbasierten kooperativen Lernumgebungen - Modellversuch KooL,
edited by H.-Hugo Kremer, 2007, pp. 95–117.
short: 'H.-H. Kremer, in: H.-H. Kremer (Ed.), Lernen in medienbasierten kooperativen
Lernumgebungen - Modellversuch KooL, Paderborn, 2007, pp. 95–117.'
date_created: 2019-01-31T14:52:24Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '211'
editor:
- first_name: H.-Hugo
full_name: Kremer, H.-Hugo
last_name: Kremer
language:
- iso: ger
page: 95-117
place: Paderborn
publication: Lernen in medienbasierten kooperativen Lernumgebungen - Modellversuch
KooL
status: public
title: Kooperative Lernaufgaben als Instrumente der Curriculumentwicklung
type: book_chapter
user_id: '44715'
year: '2007'
...
---
_id: '7374'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Alexey
full_name: Cherchago, Alexey
last_name: Cherchago
citation:
ama: Heckel R, Cherchago A. Structural and Behavioural Compatibility of Graphical
Service Specifications. Logic and Algebraic Programming. 2007;70(1):15-33.
apa: Heckel, R., & Cherchago, A. (2007). Structural and Behavioural Compatibility
of Graphical Service Specifications. Logic and Algebraic Programming, 70(1),
15–33.
bibtex: '@article{Heckel_Cherchago_2007, title={Structural and Behavioural Compatibility
of Graphical Service Specifications}, volume={70}, number={1}, journal={Logic
and Algebraic Programming}, author={Heckel, Reiko and Cherchago, Alexey}, year={2007},
pages={15–33} }'
chicago: 'Heckel, Reiko, and Alexey Cherchago. “Structural and Behavioural Compatibility
of Graphical Service Specifications.” Logic and Algebraic Programming 70,
no. 1 (2007): 15–33.'
ieee: R. Heckel and A. Cherchago, “Structural and Behavioural Compatibility of Graphical
Service Specifications,” Logic and Algebraic Programming, vol. 70, no.
1, pp. 15–33, 2007.
mla: Heckel, Reiko, and Alexey Cherchago. “Structural and Behavioural Compatibility
of Graphical Service Specifications.” Logic and Algebraic Programming,
vol. 70, no. 1, 2007, pp. 15–33.
short: R. Heckel, A. Cherchago, Logic and Algebraic Programming 70 (2007) 15–33.
date_created: 2019-01-31T15:27:49Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
intvolume: ' 70'
issue: '1'
language:
- iso: eng
page: 15-33
publication: Logic and Algebraic Programming
status: public
title: Structural and Behavioural Compatibility of Graphical Service Specifications
type: journal_article
user_id: '52534'
volume: 70
year: '2007'
...
---
_id: '7375'
author:
- first_name: Jan-Christopher
full_name: Bals, Jan-Christopher
last_name: Bals
- first_name: Fabian
full_name: Christ, Fabian
last_name: Christ
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: Bals J-C, Christ F, Engels G, Sauer S. Software-Qualität - überall! - Excel-lente
Software. Forschungsforum Paderborn. 2007;10:56-60.
apa: Bals, J.-C., Christ, F., Engels, G., & Sauer, S. (2007). Software-Qualität
- überall! - Excel-lente Software. Forschungsforum Paderborn, 10,
56–60.
bibtex: '@article{Bals_Christ_Engels_Sauer_2007, title={Software-Qualität - überall!
- Excel-lente Software}, volume={10}, journal={Forschungsforum Paderborn}, author={Bals,
Jan-Christopher and Christ, Fabian and Engels, Gregor and Sauer, Stefan}, year={2007},
pages={56–60} }'
chicago: 'Bals, Jan-Christopher, Fabian Christ, Gregor Engels, and Stefan Sauer.
“Software-Qualität - Überall! - Excel-Lente Software.” Forschungsforum Paderborn
10 (2007): 56–60.'
ieee: J.-C. Bals, F. Christ, G. Engels, and S. Sauer, “Software-Qualität - überall!
- Excel-lente Software,” Forschungsforum Paderborn, vol. 10, pp. 56–60,
2007.
mla: Bals, Jan-Christopher, et al. “Software-Qualität - Überall! - Excel-Lente Software.”
Forschungsforum Paderborn, vol. 10, 2007, pp. 56–60.
short: J.-C. Bals, F. Christ, G. Engels, S. Sauer, Forschungsforum Paderborn 10
(2007) 56–60.
date_created: 2019-01-31T15:28:21Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
intvolume: ' 10'
language:
- iso: eng
page: 56-60
publication: Forschungsforum Paderborn
status: public
title: Software-Qualität - überall! - Excel-lente Software
type: journal_article
user_id: '52534'
volume: 10
year: '2007'
...
---
_id: '7551'
abstract:
- lang: eng
text: Service-oriented computing is distinguished by its use of dynamic discovery
and binding for the integration of services at runtime. This poses a challenge
for testing, in particular, of the interaction between services. We propose a
model-driven solution to address this challenge. Service descriptions are promoted
from largely syntactical to behavioural specifications of services in terms of
contracts (pre-conditions and effects of operations), expressed in a visual UML-like
notion. Through mappings to semantic web languages and the Java Modeling Language
(JML) contracts support the automatic discovery of services as well as the derivation
of test cases and their execution and monitoring. We discuss an extended life
cycle model for services based on the model-driven approach and illustrate its
application using a model of a hotel reservation service.
author:
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Leonardo
full_name: Mariani, Leonardo
last_name: Mariani
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Lohmann M, Mariani L, Heckel R. A Model-Driven Approach to Discovery, Testing
and Monitoring of Web Services. In: Baresi, E. Di Nitto L, ed. Test and Analysis
of Web Services. Berlin/Heidelberg: Springer; 2007:173-204.'
apa: 'Lohmann, M., Mariani, L., & Heckel, R. (2007). A Model-Driven Approach
to Discovery, Testing and Monitoring of Web Services. In L. Baresi, E. Di Nitto
(Ed.), Test and Analysis of Web Services (pp. 173–204). Berlin/Heidelberg:
Springer.'
bibtex: '@inbook{Lohmann_Mariani_Heckel_2007, place={Berlin/Heidelberg}, title={A
Model-Driven Approach to Discovery, Testing and Monitoring of Web Services}, booktitle={Test
and Analysis of Web Services}, publisher={Springer}, author={Lohmann, Marc and
Mariani, Leonardo and Heckel, Reiko}, editor={Baresi, E. Di Nitto, L.Editor},
year={2007}, pages={173–204} }'
chicago: 'Lohmann, Marc, Leonardo Mariani, and Reiko Heckel. “A Model-Driven Approach
to Discovery, Testing and Monitoring of Web Services.” In Test and Analysis
of Web Services, edited by L. Baresi, E. Di Nitto, 173–204. Berlin/Heidelberg:
Springer, 2007.'
ieee: 'M. Lohmann, L. Mariani, and R. Heckel, “A Model-Driven Approach to Discovery,
Testing and Monitoring of Web Services,” in Test and Analysis of Web Services,
L. Baresi, E. Di Nitto, Ed. Berlin/Heidelberg: Springer, 2007, pp. 173–204.'
mla: Lohmann, Marc, et al. “A Model-Driven Approach to Discovery, Testing and Monitoring
of Web Services.” Test and Analysis of Web Services, edited by L. Baresi,
E. Di Nitto, Springer, 2007, pp. 173–204.
short: 'M. Lohmann, L. Mariani, R. Heckel, in: L. Baresi, E. Di Nitto (Ed.), Test
and Analysis of Web Services, Springer, Berlin/Heidelberg, 2007, pp. 173–204.'
date_created: 2019-02-05T13:04:26Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: L.
full_name: Baresi, E. Di Nitto, L.
last_name: Baresi, E. Di Nitto
language:
- iso: eng
page: 173-204
place: Berlin/Heidelberg
publication: Test and Analysis of Web Services
publisher: Springer
status: public
title: A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services
type: book_chapter
user_id: '52534'
year: '2007'
...
---
_id: '7579'
abstract:
- lang: eng
text: 'Today, mobility is one of the most important market and technology trend
within information and communication technology. As the demand for rapid deployment
of dependable mobile applications increases, middleware for mobile systems is
emerging as one of the most active areas of system research in mobility. The middleware
is a set of distributed software services that exists between distributed operating
systems and mobile applications. The key to the middleware is to provide support
across the mobile application domains, help application developers overcome the
complexity and problems brought by mobility, and enhance dependability and usability
of developed mobile applications. The criticality and pervasiveness of middleware
for mobile systems is continually growing. However, the design and development
of the middleware are difficult tasks, and it is not easy to ensure the quality
of a developed middleware. This is mainly caused by the increasing complexity
of the middleware. In addition, the great diversity of this area makes it very
difficult for the designers to reuse the already established design knowledge
or successful experience when building new systems. All these make the design
process quite inefficient and unpredictable, and therefore risking the project.
“One man’s magic is another man’s engineering”. Engineering design is much more
routine than innovative. Founding on this fundamental notion in software engineering,
we develop an architectural style-based approach to deal with the problems in
the thesis. We build architectural styles for a class of related middleware. The
style represents a common form of design, which originates from the results that
practitioners have achieved in one area. The style is formulated to repeat successes
and avoid failures from previous projects. When building a new middleware, the
designers and developers do not need to explore all possible alternatives for
its supported architecture. Instead, they can use the architectural style that
is effective for the middleware. They can define the design as instances of the
style, or they can use the style as a reference model for further improvement
and development. By structuring the design space for a family of related middleware,
the style can drastically simplify the process of building a middleware, reduce
costs of implementation through reusable infrastructure, and improve system integrity
through style-specific analysis and checks. We develop the approach based on UML-like
meta modeling and graph transformation techniques to support sound methodological
principles, powerful modeling, formal analysis and refinement. The approach consists
of several main parts: the modeling language that supports specification of the
style and mobility, the refinement formalization that ensures that an abstract
style is correctly refined to a concrete one, as well as the consistency check
framework that validates behavioral consistency between two styles on different
abstract layers. With the Fujaba simulation tool support, we also develop a style-based
engineering process that helps us to efficiently develop correct and consistent
styles. Besides, it allows a seamless integration of our approach into the well-known
object oriented design. By providing a concrete example of how to construct the
style for a class of related middleware, and how to use the style to help the
design and development of a new middleware, we show that the architectural style-based
approach is useful and practical.'
author:
- first_name: Ping
full_name: Guo, Ping
last_name: Guo
citation:
ama: Guo P. Architectural Style-Based Modeling and Simulation of Middleware for
Mobile Systems.; 2007.
apa: Guo, P. (2007). Architectural Style-based Modeling and Simulation of Middleware
for Mobile Systems.
bibtex: '@book{Guo_2007, title={Architectural Style-based Modeling and Simulation
of Middleware for Mobile Systems}, author={Guo, Ping}, year={2007} }'
chicago: Guo, Ping. Architectural Style-Based Modeling and Simulation of Middleware
for Mobile Systems, 2007.
ieee: P. Guo, Architectural Style-based Modeling and Simulation of Middleware
for Mobile Systems. 2007.
mla: Guo, Ping. Architectural Style-Based Modeling and Simulation of Middleware
for Mobile Systems. 2007.
short: P. Guo, Architectural Style-Based Modeling and Simulation of Middleware for
Mobile Systems, 2007.
date_created: 2019-02-06T14:23:47Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: Architectural Style-based Modeling and Simulation of Middleware for Mobile
Systems
type: dissertation
user_id: '52534'
year: '2007'
...
---
_id: '7597'
alternative_title:
- Thinking Northern. Textures of Identity in the North of England
author:
- first_name: Merle
full_name: Tönnies, Merle
id: '555'
last_name: Tönnies
citation:
ama: Tönnies M. Constructing an Emblematic Northern Space. The New Brighton Photographs
of Martin Parr and Tom Wood. Spatial Practices 2. 2007:305-324.
apa: Tönnies, M. (2007). Constructing an Emblematic Northern Space. The New Brighton
Photographs of Martin Parr and Tom Wood. Spatial Practices 2, 305–324.
bibtex: '@article{Tönnies_2007, title={Constructing an Emblematic Northern Space.
The New Brighton Photographs of Martin Parr and Tom Wood}, journal={Spatial Practices
2}, publisher={Rodopi}, author={Tönnies, Merle}, year={2007}, pages={305–324}
}'
chicago: Tönnies, Merle. “Constructing an Emblematic Northern Space. The New Brighton
Photographs of Martin Parr and Tom Wood.” Spatial Practices 2, 2007, 305–24.
ieee: M. Tönnies, “Constructing an Emblematic Northern Space. The New Brighton Photographs
of Martin Parr and Tom Wood,” Spatial Practices 2, pp. 305–324, 2007.
mla: Tönnies, Merle. “Constructing an Emblematic Northern Space. The New Brighton
Photographs of Martin Parr and Tom Wood.” Spatial Practices 2, Rodopi,
2007, pp. 305–24.
short: M. Tönnies, Spatial Practices 2 (2007) 305–324.
date_created: 2019-02-07T17:20:16Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '36'
- _id: '1'
- _id: '380'
language:
- iso: eng
page: 305-324
publication: Spatial Practices 2
publication_status: published
publisher: Rodopi
status: public
title: Constructing an Emblematic Northern Space. The New Brighton Photographs of
Martin Parr and Tom Wood
type: journal_article
user_id: '32277'
year: '2007'
...
---
_id: '7641'
author:
- first_name: Bastian
full_name: Marquardt, Bastian
last_name: Marquardt
- first_name: Marco
full_name: Russ, Marco
last_name: Russ
- first_name: Axel
full_name: Lorke, Axel
last_name: Lorke
- first_name: Cedrik
full_name: Meier, Cedrik
id: '20798'
last_name: Meier
orcid: https://orcid.org/0000-0002-3787-3572
- first_name: Dirk
full_name: Reuter, Dirk
last_name: Reuter
- first_name: Andreas D.
full_name: Wieck, Andreas D.
last_name: Wieck
citation:
ama: 'Marquardt B, Russ M, Lorke A, Meier C, Reuter D, Wieck AD. Quantum dots as
tunable scatterers for 2D- and 1D-electron systems. Physica E: Low-dimensional
Systems and Nanostructures. 2007;40(6):2075-2077. doi:10.1016/j.physe.2007.09.198'
apa: 'Marquardt, B., Russ, M., Lorke, A., Meier, C., Reuter, D., & Wieck, A.
D. (2007). Quantum dots as tunable scatterers for 2D- and 1D-electron systems.
Physica E: Low-Dimensional Systems and Nanostructures, 40(6), 2075–2077.
https://doi.org/10.1016/j.physe.2007.09.198'
bibtex: '@article{Marquardt_Russ_Lorke_Meier_Reuter_Wieck_2007, title={Quantum dots
as tunable scatterers for 2D- and 1D-electron systems}, volume={40}, DOI={10.1016/j.physe.2007.09.198},
number={6}, journal={Physica E: Low-dimensional Systems and Nanostructures}, publisher={Elsevier
BV}, author={Marquardt, Bastian and Russ, Marco and Lorke, Axel and Meier, Cedrik
and Reuter, Dirk and Wieck, Andreas D.}, year={2007}, pages={2075–2077} }'
chicago: 'Marquardt, Bastian, Marco Russ, Axel Lorke, Cedrik Meier, Dirk Reuter,
and Andreas D. Wieck. “Quantum Dots as Tunable Scatterers for 2D- and 1D-Electron
Systems.” Physica E: Low-Dimensional Systems and Nanostructures 40, no.
6 (2007): 2075–77. https://doi.org/10.1016/j.physe.2007.09.198.'
ieee: 'B. Marquardt, M. Russ, A. Lorke, C. Meier, D. Reuter, and A. D. Wieck, “Quantum
dots as tunable scatterers for 2D- and 1D-electron systems,” Physica E: Low-dimensional
Systems and Nanostructures, vol. 40, no. 6, pp. 2075–2077, 2007.'
mla: 'Marquardt, Bastian, et al. “Quantum Dots as Tunable Scatterers for 2D- and
1D-Electron Systems.” Physica E: Low-Dimensional Systems and Nanostructures,
vol. 40, no. 6, Elsevier BV, 2007, pp. 2075–77, doi:10.1016/j.physe.2007.09.198.'
short: 'B. Marquardt, M. Russ, A. Lorke, C. Meier, D. Reuter, A.D. Wieck, Physica
E: Low-Dimensional Systems and Nanostructures 40 (2007) 2075–2077.'
date_created: 2019-02-13T11:31:39Z
date_updated: 2022-01-06T07:03:43Z
department:
- _id: '15'
doi: 10.1016/j.physe.2007.09.198
extern: '1'
intvolume: ' 40'
issue: '6'
language:
- iso: eng
page: 2075-2077
publication: 'Physica E: Low-dimensional Systems and Nanostructures'
publication_identifier:
issn:
- 1386-9477
publication_status: published
publisher: Elsevier BV
status: public
title: Quantum dots as tunable scatterers for 2D- and 1D-electron systems
type: journal_article
user_id: '20798'
volume: 40
year: '2007'
...
---
_id: '7643'
article_number: '103112'
author:
- first_name: Cedrik
full_name: Meier, Cedrik
id: '20798'
last_name: Meier
orcid: https://orcid.org/0000-0002-3787-3572
- first_name: Andreas
full_name: Gondorf, Andreas
last_name: Gondorf
- first_name: Stephan
full_name: Lüttjohann, Stephan
last_name: Lüttjohann
- first_name: Axel
full_name: Lorke, Axel
last_name: Lorke
- first_name: Hartmut
full_name: Wiggers, Hartmut
last_name: Wiggers
citation:
ama: 'Meier C, Gondorf A, Lüttjohann S, Lorke A, Wiggers H. Silicon nanoparticles:
Absorption, emission, and the nature of the electronic bandgap. Journal of
Applied Physics. 2007;101(10). doi:10.1063/1.2720095'
apa: 'Meier, C., Gondorf, A., Lüttjohann, S., Lorke, A., & Wiggers, H. (2007).
Silicon nanoparticles: Absorption, emission, and the nature of the electronic
bandgap. Journal of Applied Physics, 101(10). https://doi.org/10.1063/1.2720095'
bibtex: '@article{Meier_Gondorf_Lüttjohann_Lorke_Wiggers_2007, title={Silicon nanoparticles:
Absorption, emission, and the nature of the electronic bandgap}, volume={101},
DOI={10.1063/1.2720095}, number={10103112},
journal={Journal of Applied Physics}, publisher={AIP Publishing}, author={Meier,
Cedrik and Gondorf, Andreas and Lüttjohann, Stephan and Lorke, Axel and Wiggers,
Hartmut}, year={2007} }'
chicago: 'Meier, Cedrik, Andreas Gondorf, Stephan Lüttjohann, Axel Lorke, and Hartmut
Wiggers. “Silicon Nanoparticles: Absorption, Emission, and the Nature of the Electronic
Bandgap.” Journal of Applied Physics 101, no. 10 (2007). https://doi.org/10.1063/1.2720095.'
ieee: 'C. Meier, A. Gondorf, S. Lüttjohann, A. Lorke, and H. Wiggers, “Silicon nanoparticles:
Absorption, emission, and the nature of the electronic bandgap,” Journal of
Applied Physics, vol. 101, no. 10, 2007.'
mla: 'Meier, Cedrik, et al. “Silicon Nanoparticles: Absorption, Emission, and the
Nature of the Electronic Bandgap.” Journal of Applied Physics, vol. 101,
no. 10, 103112, AIP Publishing, 2007, doi:10.1063/1.2720095.'
short: C. Meier, A. Gondorf, S. Lüttjohann, A. Lorke, H. Wiggers, Journal of Applied
Physics 101 (2007).
date_created: 2019-02-13T11:33:50Z
date_updated: 2022-01-06T07:03:43Z
department:
- _id: '15'
doi: 10.1063/1.2720095
extern: '1'
intvolume: ' 101'
issue: '10'
language:
- iso: eng
publication: Journal of Applied Physics
publication_identifier:
issn:
- 0021-8979
- 1089-7550
publication_status: published
publisher: AIP Publishing
status: public
title: 'Silicon nanoparticles: Absorption, emission, and the nature of the electronic
bandgap'
type: journal_article
user_id: '20798'
volume: 101
year: '2007'
...
---
_id: '7644'
article_number: '143113'
author:
- first_name: Cedrik
full_name: Meier, Cedrik
id: '20798'
last_name: Meier
orcid: https://orcid.org/0000-0002-3787-3572
- first_name: Kevin
full_name: Hennessy, Kevin
last_name: Hennessy
citation:
ama: Meier C, Hennessy K. Technique for tilting GaAs photonic crystal nanocavities
out of plane. Applied Physics Letters. 2007;90(14). doi:10.1063/1.2719612
apa: Meier, C., & Hennessy, K. (2007). Technique for tilting GaAs photonic crystal
nanocavities out of plane. Applied Physics Letters, 90(14). https://doi.org/10.1063/1.2719612
bibtex: '@article{Meier_Hennessy_2007, title={Technique for tilting GaAs photonic
crystal nanocavities out of plane}, volume={90}, DOI={10.1063/1.2719612},
number={14143113}, journal={Applied Physics Letters}, publisher={AIP Publishing},
author={Meier, Cedrik and Hennessy, Kevin}, year={2007} }'
chicago: Meier, Cedrik, and Kevin Hennessy. “Technique for Tilting GaAs Photonic
Crystal Nanocavities out of Plane.” Applied Physics Letters 90, no. 14
(2007). https://doi.org/10.1063/1.2719612.
ieee: C. Meier and K. Hennessy, “Technique for tilting GaAs photonic crystal nanocavities
out of plane,” Applied Physics Letters, vol. 90, no. 14, 2007.
mla: Meier, Cedrik, and Kevin Hennessy. “Technique for Tilting GaAs Photonic Crystal
Nanocavities out of Plane.” Applied Physics Letters, vol. 90, no. 14, 143113,
AIP Publishing, 2007, doi:10.1063/1.2719612.
short: C. Meier, K. Hennessy, Applied Physics Letters 90 (2007).
date_created: 2019-02-13T11:34:33Z
date_updated: 2022-01-06T07:03:43Z
department:
- _id: '15'
doi: 10.1063/1.2719612
extern: '1'
intvolume: ' 90'
issue: '14'
language:
- iso: eng
publication: Applied Physics Letters
publication_identifier:
issn:
- 0003-6951
- 1077-3118
publication_status: published
publisher: AIP Publishing
status: public
title: Technique for tilting GaAs photonic crystal nanocavities out of plane
type: journal_article
user_id: '20798'
volume: 90
year: '2007'
...
---
_id: '7645'
article_number: '37002'
author:
- first_name: S
full_name: Lüttjohann, S
last_name: Lüttjohann
- first_name: Cedrik
full_name: Meier, Cedrik
id: '20798'
last_name: Meier
orcid: https://orcid.org/0000-0002-3787-3572
- first_name: M
full_name: Offer, M
last_name: Offer
- first_name: A
full_name: Lorke, A
last_name: Lorke
- first_name: H
full_name: Wiggers, H
last_name: Wiggers
citation:
ama: Lüttjohann S, Meier C, Offer M, Lorke A, Wiggers H. Temperature-induced crossover
between bright and dark exciton emission in silicon nanoparticles. Europhysics
Letters (EPL). 2007;79(3). doi:10.1209/0295-5075/79/37002
apa: Lüttjohann, S., Meier, C., Offer, M., Lorke, A., & Wiggers, H. (2007).
Temperature-induced crossover between bright and dark exciton emission in silicon
nanoparticles. Europhysics Letters (EPL), 79(3). https://doi.org/10.1209/0295-5075/79/37002
bibtex: '@article{Lüttjohann_Meier_Offer_Lorke_Wiggers_2007, title={Temperature-induced
crossover between bright and dark exciton emission in silicon nanoparticles},
volume={79}, DOI={10.1209/0295-5075/79/37002},
number={337002}, journal={Europhysics Letters (EPL)}, publisher={IOP Publishing},
author={Lüttjohann, S and Meier, Cedrik and Offer, M and Lorke, A and Wiggers,
H}, year={2007} }'
chicago: Lüttjohann, S, Cedrik Meier, M Offer, A Lorke, and H Wiggers. “Temperature-Induced
Crossover between Bright and Dark Exciton Emission in Silicon Nanoparticles.”
Europhysics Letters (EPL) 79, no. 3 (2007). https://doi.org/10.1209/0295-5075/79/37002.
ieee: S. Lüttjohann, C. Meier, M. Offer, A. Lorke, and H. Wiggers, “Temperature-induced
crossover between bright and dark exciton emission in silicon nanoparticles,”
Europhysics Letters (EPL), vol. 79, no. 3, 2007.
mla: Lüttjohann, S., et al. “Temperature-Induced Crossover between Bright and Dark
Exciton Emission in Silicon Nanoparticles.” Europhysics Letters (EPL),
vol. 79, no. 3, 37002, IOP Publishing, 2007, doi:10.1209/0295-5075/79/37002.
short: S. Lüttjohann, C. Meier, M. Offer, A. Lorke, H. Wiggers, Europhysics Letters
(EPL) 79 (2007).
date_created: 2019-02-13T11:35:34Z
date_updated: 2022-01-06T07:03:43Z
department:
- _id: '15'
doi: 10.1209/0295-5075/79/37002
extern: '1'
intvolume: ' 79'
issue: '3'
language:
- iso: eng
publication: Europhysics Letters (EPL)
publication_identifier:
issn:
- 0295-5075
- 1286-4854
publication_status: published
publisher: IOP Publishing
status: public
title: Temperature-induced crossover between bright and dark exciton emission in silicon
nanoparticles
type: journal_article
user_id: '20798'
volume: 79
year: '2007'
...
---
_id: '835'
author:
- first_name: Stefan
full_name: Valentin, Stefan
last_name: Valentin
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
citation:
ama: 'Valentin S, Karl H. Effect of User Mobility in Coded Cooperative Systems with
Joint Partner and Cooperation Level Selection. In: IEEE Wireless Communications
and Networking Conference, WCNC 2007, Hong Kong, China, 11-15 March, 2007.
; 2007:896--901. doi:10.1109/WCNC.2007.170'
apa: Valentin, S., & Karl, H. (2007). Effect of User Mobility in Coded Cooperative
Systems with Joint Partner and Cooperation Level Selection. In IEEE Wireless
Communications and Networking Conference, WCNC 2007, Hong Kong, China, 11-15 March,
2007 (pp. 896--901). https://doi.org/10.1109/WCNC.2007.170
bibtex: '@inproceedings{Valentin_Karl_2007, title={Effect of User Mobility in Coded
Cooperative Systems with Joint Partner and Cooperation Level Selection}, DOI={10.1109/WCNC.2007.170}, booktitle={IEEE
Wireless Communications and Networking Conference, WCNC 2007, Hong Kong, China,
11-15 March, 2007}, author={Valentin, Stefan and Karl, Holger}, year={2007}, pages={896--901}
}'
chicago: Valentin, Stefan, and Holger Karl. “Effect of User Mobility in Coded Cooperative
Systems with Joint Partner and Cooperation Level Selection.” In IEEE Wireless
Communications and Networking Conference, WCNC 2007, Hong Kong, China, 11-15 March,
2007, 896--901, 2007. https://doi.org/10.1109/WCNC.2007.170.
ieee: S. Valentin and H. Karl, “Effect of User Mobility in Coded Cooperative Systems
with Joint Partner and Cooperation Level Selection,” in IEEE Wireless Communications
and Networking Conference, WCNC 2007, Hong Kong, China, 11-15 March, 2007,
2007, pp. 896--901.
mla: Valentin, Stefan, and Holger Karl. “Effect of User Mobility in Coded Cooperative
Systems with Joint Partner and Cooperation Level Selection.” IEEE Wireless
Communications and Networking Conference, WCNC 2007, Hong Kong, China, 11-15 March,
2007, 2007, pp. 896--901, doi:10.1109/WCNC.2007.170.
short: 'S. Valentin, H. Karl, in: IEEE Wireless Communications and Networking Conference,
WCNC 2007, Hong Kong, China, 11-15 March, 2007, 2007, pp. 896--901.'
date_created: 2017-11-27T10:22:27Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '75'
doi: 10.1109/WCNC.2007.170
page: 896--901
publication: IEEE Wireless Communications and Networking Conference, WCNC 2007, Hong
Kong, China, 11-15 March, 2007
status: public
title: Effect of User Mobility in Coded Cooperative Systems with Joint Partner and
Cooperation Level Selection
type: conference
user_id: '15572'
year: '2007'
...
---
_id: '836'
author:
- first_name: Laura
full_name: Marie Feeney, Laura
last_name: Marie Feeney
- first_name: Bilge
full_name: Cetin, Bilge
last_name: Cetin
- first_name: Daniel
full_name: Hollos, Daniel
last_name: Hollos
- first_name: Martin
full_name: Kubisch, Martin
last_name: Kubisch
- first_name: Seble
full_name: Mengesha, Seble
last_name: Mengesha
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
citation:
ama: 'Marie Feeney L, Cetin B, Hollos D, Kubisch M, Mengesha S, Karl H. Multi-rate
Relaying for Performance Improvement in IEEE 802.11 WLANs. In: Wired/Wireless
Internet Communications, 5th International Conference, WWIC 2007, Coimbra, Portugal,
May 23-25, 2007, Proceedings. ; 2007:201--212. doi:10.1007/978-3-540-72697-5_17'
apa: Marie Feeney, L., Cetin, B., Hollos, D., Kubisch, M., Mengesha, S., & Karl,
H. (2007). Multi-rate Relaying for Performance Improvement in IEEE 802.11 WLANs.
In Wired/Wireless Internet Communications, 5th International Conference, WWIC
2007, Coimbra, Portugal, May 23-25, 2007, Proceedings (pp. 201--212). https://doi.org/10.1007/978-3-540-72697-5_17
bibtex: '@inproceedings{Marie Feeney_Cetin_Hollos_Kubisch_Mengesha_Karl_2007, title={Multi-rate
Relaying for Performance Improvement in IEEE 802.11 WLANs}, DOI={10.1007/978-3-540-72697-5_17},
booktitle={Wired/Wireless Internet Communications, 5th International Conference,
WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings}, author={Marie Feeney,
Laura and Cetin, Bilge and Hollos, Daniel and Kubisch, Martin and Mengesha, Seble
and Karl, Holger}, year={2007}, pages={201--212} }'
chicago: Marie Feeney, Laura, Bilge Cetin, Daniel Hollos, Martin Kubisch, Seble
Mengesha, and Holger Karl. “Multi-Rate Relaying for Performance Improvement in
IEEE 802.11 WLANs.” In Wired/Wireless Internet Communications, 5th International
Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings, 201--212,
2007. https://doi.org/10.1007/978-3-540-72697-5_17.
ieee: L. Marie Feeney, B. Cetin, D. Hollos, M. Kubisch, S. Mengesha, and H. Karl,
“Multi-rate Relaying for Performance Improvement in IEEE 802.11 WLANs,” in Wired/Wireless
Internet Communications, 5th International Conference, WWIC 2007, Coimbra, Portugal,
May 23-25, 2007, Proceedings, 2007, pp. 201--212.
mla: Marie Feeney, Laura, et al. “Multi-Rate Relaying for Performance Improvement
in IEEE 802.11 WLANs.” Wired/Wireless Internet Communications, 5th International
Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings, 2007,
pp. 201--212, doi:10.1007/978-3-540-72697-5_17.
short: 'L. Marie Feeney, B. Cetin, D. Hollos, M. Kubisch, S. Mengesha, H. Karl,
in: Wired/Wireless Internet Communications, 5th International Conference, WWIC
2007, Coimbra, Portugal, May 23-25, 2007, Proceedings, 2007, pp. 201--212.'
date_created: 2017-11-27T10:22:27Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '75'
doi: 10.1007/978-3-540-72697-5_17
page: 201--212
publication: Wired/Wireless Internet Communications, 5th International Conference,
WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings
status: public
title: Multi-rate Relaying for Performance Improvement in IEEE 802.11 WLANs
type: conference
user_id: '15572'
year: '2007'
...
---
_id: '8413'
author:
- first_name: Kyriakos
full_name: Anastasakis, Kyriakos
last_name: Anastasakis
- first_name: Behzad
full_name: Bordbar, Behzad
last_name: Bordbar
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
citation:
ama: 'Anastasakis K, Bordbar B, Küster J. Analysis of Model Transformations via
Alloy. In: Proceedings of the Workshop on Model-Driven Engineering, Verification
and Validation (MoDeVVA 2007), Nashville, TN (USA). Vol 5002. LNCS. Berlin/Heidelberg:
Springer; 2007:47-56.'
apa: 'Anastasakis, K., Bordbar, B., & Küster, J. (2007). Analysis of Model Transformations
via Alloy. In Proceedings of the workshop on Model-Driven Engineering, Verification
and Validation (MoDeVVA 2007), Nashville, TN (USA) (Vol. 5002, pp. 47–56).
Berlin/Heidelberg: Springer.'
bibtex: '@inproceedings{Anastasakis_Bordbar_Küster_2007, place={Berlin/Heidelberg},
series={LNCS}, title={Analysis of Model Transformations via Alloy}, volume={5002},
booktitle={Proceedings of the workshop on Model-Driven Engineering, Verification
and Validation (MoDeVVA 2007), Nashville, TN (USA)}, publisher={Springer}, author={Anastasakis,
Kyriakos and Bordbar, Behzad and Küster, Jochen}, year={2007}, pages={47–56},
collection={LNCS} }'
chicago: 'Anastasakis, Kyriakos, Behzad Bordbar, and Jochen Küster. “Analysis of
Model Transformations via Alloy.” In Proceedings of the Workshop on Model-Driven
Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA),
5002:47–56. LNCS. Berlin/Heidelberg: Springer, 2007.'
ieee: K. Anastasakis, B. Bordbar, and J. Küster, “Analysis of Model Transformations
via Alloy,” in Proceedings of the workshop on Model-Driven Engineering, Verification
and Validation (MoDeVVA 2007), Nashville, TN (USA), 2007, vol. 5002, pp. 47–56.
mla: Anastasakis, Kyriakos, et al. “Analysis of Model Transformations via Alloy.”
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
(MoDeVVA 2007), Nashville, TN (USA), vol. 5002, Springer, 2007, pp. 47–56.
short: 'K. Anastasakis, B. Bordbar, J. Küster, in: Proceedings of the Workshop on
Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville,
TN (USA), Springer, Berlin/Heidelberg, 2007, pp. 47–56.'
date_created: 2019-03-06T11:44:56Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
intvolume: ' 5002'
language:
- iso: eng
page: 47-56
place: Berlin/Heidelberg
publication: Proceedings of the workshop on Model-Driven Engineering, Verification
and Validation (MoDeVVA 2007), Nashville, TN (USA)
publisher: Springer
series_title: LNCS
status: public
title: Analysis of Model Transformations via Alloy
type: conference
user_id: '52534'
volume: 5002
year: '2007'
...
---
_id: '8414'
abstract:
- lang: eng
text: The Model-Driven Architecture (MDA) approach for constructing software systems
advocates a stepwise refinement and transformation process starting from high-level
models to concrete program code. In contrast to numerous research efforts that
try to generate executable function code from models, we propose a novel approach
termed model-driven monitoring. On the model level the behavior of an operation
is specified with a pair of UML composite structure diagrams (visual contract),
a visual notation for pre- and post-conditions. The specified behavior is implemented
by a programmer manually. An automatic translation from our visual contracts to
JML assertions allows for monitoring the hand-coded programs during their execution.
In this paper we present an approach to extend our model-driven monitoring approach
to allow for model-driven unit testing. In this approach we utilize the generated
JML assertions as test oracles. Further, we present an idea how to generate sufficient
test cases from our visual contracts with the help of model-checking techniques.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Baris
full_name: Güldali, Baris
last_name: Güldali
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
citation:
ama: 'Engels G, Güldali B, Lohmann M. Towards Model-Driven Unit Testing. In: Proceedings
of the 2006 International Conference on Models in Software Engineering (MoDELS
2006). Vol 4364. LNCS. Berlin/Heidelberg: Springer; 2007:182-192. doi:http://dx.doi.org/10.1007/978-3-540-69489-2_23'
apa: 'Engels, G., Güldali, B., & Lohmann, M. (2007). Towards Model-Driven Unit
Testing. In Proceedings of the 2006 International Conference on Models in Software
Engineering (MoDELS 2006) (Vol. 4364, pp. 182–192). Berlin/Heidelberg: Springer.
http://dx.doi.org/10.1007/978-3-540-69489-2_23'
bibtex: '@inproceedings{Engels_Güldali_Lohmann_2007, place={Berlin/Heidelberg},
series={LNCS}, title={Towards Model-Driven Unit Testing}, volume={4364}, DOI={http://dx.doi.org/10.1007/978-3-540-69489-2_23},
booktitle={Proceedings of the 2006 International Conference on Models in Software
Engineering (MoDELS 2006)}, publisher={Springer}, author={Engels, Gregor and Güldali,
Baris and Lohmann, Marc}, year={2007}, pages={182–192}, collection={LNCS} }'
chicago: 'Engels, Gregor, Baris Güldali, and Marc Lohmann. “Towards Model-Driven
Unit Testing.” In Proceedings of the 2006 International Conference on Models
in Software Engineering (MoDELS 2006), 4364:182–92. LNCS. Berlin/Heidelberg:
Springer, 2007. http://dx.doi.org/10.1007/978-3-540-69489-2_23.'
ieee: G. Engels, B. Güldali, and M. Lohmann, “Towards Model-Driven Unit Testing,”
in Proceedings of the 2006 International Conference on Models in Software Engineering
(MoDELS 2006), 2007, vol. 4364, pp. 182–192.
mla: Engels, Gregor, et al. “Towards Model-Driven Unit Testing.” Proceedings
of the 2006 International Conference on Models in Software Engineering (MoDELS
2006), vol. 4364, Springer, 2007, pp. 182–92, doi:http://dx.doi.org/10.1007/978-3-540-69489-2_23.
short: 'G. Engels, B. Güldali, M. Lohmann, in: Proceedings of the 2006 International
Conference on Models in Software Engineering (MoDELS 2006), Springer, Berlin/Heidelberg,
2007, pp. 182–192.'
date_created: 2019-03-06T11:44:57Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/978-3-540-69489-2_23
intvolume: ' 4364'
language:
- iso: eng
page: 182-192
place: Berlin/Heidelberg
publication: Proceedings of the 2006 International Conference on Models in Software
Engineering (MoDELS 2006)
publisher: Springer
series_title: LNCS
status: public
title: Towards Model-Driven Unit Testing
type: conference
user_id: '52534'
volume: 4364
year: '2007'
...
---
_id: '8415'
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. Analysis of UML Activities with Dynamic Meta Modeling
Techniques. In: Symposium “A Formal Semantics for UML” (Satellite Event of
the MoDELS Conference 2006), Genova (Italy). Vol 4364. LNCS. Berlin/Heidelberg:
Springer; 2007:329-330. doi:http://dx.doi.org/10.1007/978-3-540-69489-2_42'
apa: 'Soltenborn, C., & Engels, G. (2007). Analysis of UML Activities with Dynamic
Meta Modeling Techniques. In Symposium “A Formal Semantics for UML” (satellite
event of the MoDELS conference 2006), Genova (Italy) (Vol. 4364, pp. 329–330).
Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-540-69489-2_42'
bibtex: '@inproceedings{Soltenborn_Engels_2007, place={Berlin/Heidelberg}, series={LNCS},
title={Analysis of UML Activities with Dynamic Meta Modeling Techniques}, volume={4364},
DOI={http://dx.doi.org/10.1007/978-3-540-69489-2_42},
booktitle={Symposium “A Formal Semantics for UML” (satellite event of the MoDELS
conference 2006), Genova (Italy)}, publisher={Springer}, author={Soltenborn, Christian
and Engels, Gregor}, year={2007}, pages={329–330}, collection={LNCS} }'
chicago: 'Soltenborn, Christian, and Gregor Engels. “Analysis of UML Activities
with Dynamic Meta Modeling Techniques.” In Symposium “A Formal Semantics for
UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy), 4364:329–30.
LNCS. Berlin/Heidelberg: Springer, 2007. http://dx.doi.org/10.1007/978-3-540-69489-2_42.'
ieee: C. Soltenborn and G. Engels, “Analysis of UML Activities with Dynamic Meta
Modeling Techniques,” in Symposium “A Formal Semantics for UML” (satellite
event of the MoDELS conference 2006), Genova (Italy), 2007, vol. 4364, pp.
329–330.
mla: Soltenborn, Christian, and Gregor Engels. “Analysis of UML Activities with
Dynamic Meta Modeling Techniques.” Symposium “A Formal Semantics for UML” (Satellite
Event of the MoDELS Conference 2006), Genova (Italy), vol. 4364, Springer,
2007, pp. 329–30, doi:http://dx.doi.org/10.1007/978-3-540-69489-2_42.
short: 'C. Soltenborn, G. Engels, in: Symposium “A Formal Semantics for UML” (Satellite
Event of the MoDELS Conference 2006), Genova (Italy), Springer, Berlin/Heidelberg,
2007, pp. 329–330.'
date_created: 2019-03-06T11:44:58Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/978-3-540-69489-2_42
intvolume: ' 4364'
language:
- iso: eng
page: 329-330
place: Berlin/Heidelberg
publication: Symposium "A Formal Semantics for UML" (satellite event of the MoDELS
conference 2006), Genova (Italy)
publisher: Springer
series_title: LNCS
status: public
title: Analysis of UML Activities with Dynamic Meta Modeling Techniques
type: conference
user_id: '14955'
volume: 4364
year: '2007'
...