---
_id: '7533'
abstract:
- lang: eng
text: We present the adaptive cruise controller case study for B modelling and the
model checking by RAVEN. Individual translations of B operations, data types,
and invariants to the RAVEN Input Language are presented by the example of the
case study.
author:
- first_name: Alexander
full_name: Krupp, Alexander
last_name: Krupp
- first_name: Ola
full_name: Lundkvist, Ola
last_name: Lundkvist
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Colin
full_name: Snook, Colin
last_name: Snook
citation:
ama: 'Krupp A, Lundkvist O, Schattkowsky T, Snook C. Adaptive Cruise Controller
Case Study. In: Mermet J, ed. UML-B System Specification for Proven Electronic
Design. Dordrecht: Kluwer; 2004.'
apa: 'Krupp, A., Lundkvist, O., Schattkowsky, T., & Snook, C. (2004). Adaptive
Cruise Controller Case Study. In J. Mermet (Ed.), UML-B System Specification
for Proven Electronic Design. Dordrecht: Kluwer.'
bibtex: '@inbook{Krupp_Lundkvist_Schattkowsky_Snook_2004, place={Dordrecht}, title={Adaptive
Cruise Controller Case Study}, booktitle={UML-B System Specification for Proven
Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Lundkvist,
Ola and Schattkowsky, Tim and Snook, Colin}, editor={Mermet, J. Editor}, year={2004}
}'
chicago: 'Krupp, Alexander, Ola Lundkvist, Tim Schattkowsky, and Colin Snook. “Adaptive
Cruise Controller Case Study.” In UML-B System Specification for Proven Electronic
Design, edited by J. Mermet. Dordrecht: Kluwer, 2004.'
ieee: 'A. Krupp, O. Lundkvist, T. Schattkowsky, and C. Snook, “Adaptive Cruise Controller
Case Study,” in UML-B System Specification for Proven Electronic Design,
J. Mermet, Ed. Dordrecht: Kluwer, 2004.'
mla: Krupp, Alexander, et al. “Adaptive Cruise Controller Case Study.” UML-B
System Specification for Proven Electronic Design, edited by J. Mermet, Kluwer,
2004.
short: 'A. Krupp, O. Lundkvist, T. Schattkowsky, C. Snook, in: J. Mermet (Ed.),
UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004.'
date_created: 2019-02-05T12:10:31Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: 'J. '
full_name: 'Mermet, J. '
last_name: Mermet
language:
- iso: eng
place: Dordrecht
publication: UML-B System Specification for Proven Electronic Design
publisher: Kluwer
status: public
title: Adaptive Cruise Controller Case Study
type: book_chapter
user_id: '52534'
year: '2004'
...
---
_id: '7534'
abstract:
- lang: eng
text: This article presents the E-COLLEG Tool Registration and Management Services
(TRMS) with open XML-based data exchange, tool integration and remote invocation
capabilities. TRMS is a workflow management middleware tailored to distance spanning
engineering collaboration and security enabled data exchange. The infrastructure
is validated through two industrial Intranet-crossing case studies between Polish,
French, and German chip manufacturing industries applying real-world development
scenarios. In both application scenarios, common engineering practices have been
identified and built into engineering workflows. Further, the current truly pan-European
collaborative industrial scenarios show promising results with respect to the
stability of the implemented software and easy application and flexibility of
the provided interfaces.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Mueller, Wolfgang
last_name: Mueller
- first_name: Adam
full_name: Pawlak, Adam
last_name: Pawlak
citation:
ama: 'Schattkowsky T, Mueller W, Pawlak A. Workflow Management Middleware for Secure
Distance-Spanning Collaborative Engineering. In: Fischer L, ed. Workflow Handbook
2004. Lighthouse Point, FL: Workflow Management Coalition; 2004:5-14.'
apa: 'Schattkowsky, T., Mueller, W., & Pawlak, A. (2004). Workflow Management
Middleware for Secure Distance-Spanning Collaborative Engineering. In L. Fischer
(Ed.), Workflow Handbook 2004 (pp. 5–14). Lighthouse Point, FL: Workflow
Management Coalition.'
bibtex: '@inbook{Schattkowsky_Mueller_Pawlak_2004, place={Lighthouse Point, FL},
title={Workflow Management Middleware for Secure Distance-Spanning Collaborative
Engineering}, booktitle={Workflow Handbook 2004}, publisher={Workflow Management
Coalition}, author={Schattkowsky, Tim and Mueller, Wolfgang and Pawlak, Adam},
editor={Fischer, L. Editor}, year={2004}, pages={5–14} }'
chicago: 'Schattkowsky, Tim, Wolfgang Mueller, and Adam Pawlak. “Workflow Management
Middleware for Secure Distance-Spanning Collaborative Engineering.” In Workflow
Handbook 2004, edited by L. Fischer, 5–14. Lighthouse Point, FL: Workflow
Management Coalition, 2004.'
ieee: 'T. Schattkowsky, W. Mueller, and A. Pawlak, “Workflow Management Middleware
for Secure Distance-Spanning Collaborative Engineering,” in Workflow Handbook
2004, L. Fischer, Ed. Lighthouse Point, FL: Workflow Management Coalition,
2004, pp. 5–14.'
mla: Schattkowsky, Tim, et al. “Workflow Management Middleware for Secure Distance-Spanning
Collaborative Engineering.” Workflow Handbook 2004, edited by L. Fischer,
Workflow Management Coalition, 2004, pp. 5–14.
short: 'T. Schattkowsky, W. Mueller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook
2004, Workflow Management Coalition, Lighthouse Point, FL, 2004, pp. 5–14.'
date_created: 2019-02-05T12:11:41Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: 'L. '
full_name: 'Fischer, L. '
last_name: Fischer
language:
- iso: eng
page: 5-14
place: Lighthouse Point, FL
publication: Workflow Handbook 2004
publisher: Workflow Management Coalition
status: public
title: Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering
type: book_chapter
user_id: '52534'
year: '2004'
...
---
_id: '7585'
author:
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
citation:
ama: Küster J. Consistency Management of Object-Oriented Behavioral Models.;
2004.
apa: Küster, J. (2004). Consistency Management of Object-Oriented Behavioral
Models.
bibtex: '@book{Küster_2004, title={Consistency Management of Object-Oriented Behavioral
Models}, author={Küster, Jochen}, year={2004} }'
chicago: Küster, Jochen. Consistency Management of Object-Oriented Behavioral
Models, 2004.
ieee: J. Küster, Consistency Management of Object-Oriented Behavioral Models.
2004.
mla: Küster, Jochen. Consistency Management of Object-Oriented Behavioral Models.
2004.
short: J. Küster, Consistency Management of Object-Oriented Behavioral Models, 2004.
date_created: 2019-02-06T14:27:54Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: Consistency Management of Object-Oriented Behavioral Models
type: dissertation
user_id: '52534'
year: '2004'
...
---
_id: '7586'
abstract:
- lang: eng
text: 'This dissertation describes an approach to the visual modeling of software
systems which are composed of autonomous and proactive software entities interacting
with their environment. These entities are named software agents. More and more
software systems are distributed, dynamic and open with respect to their environment.
Software agents shall ease the development of such systems. Agent based systems
provide a modular structure. They are robust and can be adapted dynamically to
changing requirements. The notion of software agent relies on the fundamental
properties of autonomy, proactivity and structured interaction. According to these
properties agents are distinguished from objects and components. For the development
of agent based systems an appropriate modeling language and a process model describing
the correct usage of the language are demanded. For both aspects only unsufficient
or incomplete approaches exist. This thesis contributes to the solution in the
following way: A new abstract and formal model of agent based systems shows, that
the fundamental properties can be expressed precisely. Differently from existing
models not only a single agent but a multi agent system can be modeled. The most
important architectural models of agent-based systems are compatible with the
abstract model. The rather restricted structure of the abstract model motivates
the refinement by a model of coupled I/Oautomata. The Unified Modeling Language
is widely used in industrial software development. Therefore, the new language
AML (Agent Modeling Language) for the development of agent-based systems is defined
as a UML profile. The semantics of AML models is defined in the semantic domain
of graph transformation. The semantic domain is restricted to an adequate agent-oriented
domain. There the constituents of the fundamental agent properties are defined.
Agent based systems which are described using AML are shown to be compatible with
I/O-automata model of multi agent systems. Constituents for proactivity are goals
and strategies. In this thesis, it is shown that the reachability of goals through
the application of strategies can be checked by applying a model checking method.
The new process model APM describes, how the language AML can be applied to the
modeling of agent-based systems.'
author:
- first_name: Ralph
full_name: Depke, Ralph
last_name: Depke
citation:
ama: Depke R. Visuelle Modellierung Agentenbasierter Systeme.; 2004.
apa: Depke, R. (2004). Visuelle Modellierung agentenbasierter Systeme.
bibtex: '@book{Depke_2004, title={Visuelle Modellierung agentenbasierter Systeme},
author={Depke, Ralph}, year={2004} }'
chicago: Depke, Ralph. Visuelle Modellierung Agentenbasierter Systeme, 2004.
ieee: R. Depke, Visuelle Modellierung agentenbasierter Systeme. 2004.
mla: Depke, Ralph. Visuelle Modellierung Agentenbasierter Systeme. 2004.
short: R. Depke, Visuelle Modellierung Agentenbasierter Systeme, 2004.
date_created: 2019-02-06T14:29:56Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
related_material:
link:
- relation: confirmation
url: http://digital.ub.uni-paderborn.de/ubpb/urn/urn:nbn:de:hbz:466-20040101100
status: public
title: Visuelle Modellierung agentenbasierter Systeme
type: dissertation
user_id: '52534'
year: '2004'
...
---
_id: '7678'
author:
- first_name: E. D.
full_name: Haberer, E. D.
last_name: Haberer
- first_name: R.
full_name: Sharma, R.
last_name: Sharma
- first_name: Cedrik
full_name: Meier, Cedrik
id: '20798'
last_name: Meier
orcid: https://orcid.org/0000-0002-3787-3572
- first_name: A. R.
full_name: Stonas, A. R.
last_name: Stonas
- first_name: S.
full_name: Nakamura, S.
last_name: Nakamura
- first_name: S. P.
full_name: DenBaars, S. P.
last_name: DenBaars
- first_name: E. L.
full_name: Hu, E. L.
last_name: Hu
citation:
ama: Haberer ED, Sharma R, Meier C, et al. Free-standing, optically pumped, GaN∕InGaN
microdisk lasers fabricated by photoelectrochemical etching. Applied Physics
Letters. 2004;85(22):5179-5181. doi:10.1063/1.1829167
apa: Haberer, E. D., Sharma, R., Meier, C., Stonas, A. R., Nakamura, S., DenBaars,
S. P., & Hu, E. L. (2004). Free-standing, optically pumped, GaN∕InGaN microdisk
lasers fabricated by photoelectrochemical etching. Applied Physics Letters,
85(22), 5179–5181. https://doi.org/10.1063/1.1829167
bibtex: '@article{Haberer_Sharma_Meier_Stonas_Nakamura_DenBaars_Hu_2004, title={Free-standing,
optically pumped, GaN∕InGaN microdisk lasers fabricated by photoelectrochemical
etching}, volume={85}, DOI={10.1063/1.1829167},
number={22}, journal={Applied Physics Letters}, publisher={AIP Publishing}, author={Haberer,
E. D. and Sharma, R. and Meier, Cedrik and Stonas, A. R. and Nakamura, S. and
DenBaars, S. P. and Hu, E. L.}, year={2004}, pages={5179–5181} }'
chicago: 'Haberer, E. D., R. Sharma, Cedrik Meier, A. R. Stonas, S. Nakamura, S.
P. DenBaars, and E. L. Hu. “Free-Standing, Optically Pumped, GaN∕InGaN Microdisk
Lasers Fabricated by Photoelectrochemical Etching.” Applied Physics Letters
85, no. 22 (2004): 5179–81. https://doi.org/10.1063/1.1829167.'
ieee: E. D. Haberer et al., “Free-standing, optically pumped, GaN∕InGaN microdisk
lasers fabricated by photoelectrochemical etching,” Applied Physics Letters,
vol. 85, no. 22, pp. 5179–5181, 2004.
mla: Haberer, E. D., et al. “Free-Standing, Optically Pumped, GaN∕InGaN Microdisk
Lasers Fabricated by Photoelectrochemical Etching.” Applied Physics Letters,
vol. 85, no. 22, AIP Publishing, 2004, pp. 5179–81, doi:10.1063/1.1829167.
short: E.D. Haberer, R. Sharma, C. Meier, A.R. Stonas, S. Nakamura, S.P. DenBaars,
E.L. Hu, Applied Physics Letters 85 (2004) 5179–5181.
date_created: 2019-02-13T14:47:45Z
date_updated: 2022-01-06T07:03:43Z
department:
- _id: '15'
doi: 10.1063/1.1829167
extern: '1'
intvolume: ' 85'
issue: '22'
language:
- iso: eng
page: 5179-5181
publication: Applied Physics Letters
publication_identifier:
issn:
- 0003-6951
- 1077-3118
publication_status: published
publisher: AIP Publishing
status: public
title: Free-standing, optically pumped, GaN∕InGaN microdisk lasers fabricated by photoelectrochemical
etching
type: journal_article
user_id: '20798'
volume: 85
year: '2004'
...
---
_id: '7679'
author:
- first_name: Jörg
full_name: Knipping, Jörg
last_name: Knipping
- first_name: Hartmut
full_name: Wiggers, Hartmut
last_name: Wiggers
- first_name: Bernd
full_name: Rellinghaus, Bernd
last_name: Rellinghaus
- first_name: Paul
full_name: Roth, Paul
last_name: Roth
- first_name: Denan
full_name: Konjhodzic, Denan
last_name: Konjhodzic
- first_name: Cedrik
full_name: Meier, Cedrik
id: '20798'
last_name: Meier
orcid: https://orcid.org/0000-0002-3787-3572
citation:
ama: Knipping J, Wiggers H, Rellinghaus B, Roth P, Konjhodzic D, Meier C. Synthesis
of High Purity Silicon Nanoparticles in a Low Pressure Microwave Reactor. Journal
of Nanoscience and Nanotechnology. 2004;4(8):1039-1044. doi:10.1166/jnn.2004.149
apa: Knipping, J., Wiggers, H., Rellinghaus, B., Roth, P., Konjhodzic, D., &
Meier, C. (2004). Synthesis of High Purity Silicon Nanoparticles in a Low Pressure
Microwave Reactor. Journal of Nanoscience and Nanotechnology, 4(8),
1039–1044. https://doi.org/10.1166/jnn.2004.149
bibtex: '@article{Knipping_Wiggers_Rellinghaus_Roth_Konjhodzic_Meier_2004, title={Synthesis
of High Purity Silicon Nanoparticles in a Low Pressure Microwave Reactor}, volume={4},
DOI={10.1166/jnn.2004.149},
number={8}, journal={Journal of Nanoscience and Nanotechnology}, publisher={American
Scientific Publishers}, author={Knipping, Jörg and Wiggers, Hartmut and Rellinghaus,
Bernd and Roth, Paul and Konjhodzic, Denan and Meier, Cedrik}, year={2004}, pages={1039–1044}
}'
chicago: 'Knipping, Jörg, Hartmut Wiggers, Bernd Rellinghaus, Paul Roth, Denan Konjhodzic,
and Cedrik Meier. “Synthesis of High Purity Silicon Nanoparticles in a Low Pressure
Microwave Reactor.” Journal of Nanoscience and Nanotechnology 4, no. 8
(2004): 1039–44. https://doi.org/10.1166/jnn.2004.149.'
ieee: J. Knipping, H. Wiggers, B. Rellinghaus, P. Roth, D. Konjhodzic, and C. Meier,
“Synthesis of High Purity Silicon Nanoparticles in a Low Pressure Microwave Reactor,”
Journal of Nanoscience and Nanotechnology, vol. 4, no. 8, pp. 1039–1044,
2004.
mla: Knipping, Jörg, et al. “Synthesis of High Purity Silicon Nanoparticles in a
Low Pressure Microwave Reactor.” Journal of Nanoscience and Nanotechnology,
vol. 4, no. 8, American Scientific Publishers, 2004, pp. 1039–44, doi:10.1166/jnn.2004.149.
short: J. Knipping, H. Wiggers, B. Rellinghaus, P. Roth, D. Konjhodzic, C. Meier,
Journal of Nanoscience and Nanotechnology 4 (2004) 1039–1044.
date_created: 2019-02-13T14:48:32Z
date_updated: 2022-01-06T07:03:43Z
department:
- _id: '15'
doi: 10.1166/jnn.2004.149
extern: '1'
intvolume: ' 4'
issue: '8'
language:
- iso: eng
page: 1039-1044
publication: Journal of Nanoscience and Nanotechnology
publication_identifier:
issn:
- 1533-4880
- 0000-0000
publication_status: published
publisher: American Scientific Publishers
status: public
title: Synthesis of High Purity Silicon Nanoparticles in a Low Pressure Microwave
Reactor
type: journal_article
user_id: '20798'
volume: 4
year: '2004'
...
---
_id: '7680'
author:
- first_name: O
full_name: Wibbelhoff, O
last_name: Wibbelhoff
- first_name: Cedrik
full_name: Meier, Cedrik
id: '20798'
last_name: Meier
orcid: https://orcid.org/0000-0002-3787-3572
- first_name: A
full_name: Lorke, A
last_name: Lorke
- first_name: P
full_name: Schafmeister, P
last_name: Schafmeister
- first_name: A.D
full_name: Wieck, A.D
last_name: Wieck
citation:
ama: 'Wibbelhoff O, Meier C, Lorke A, Schafmeister P, Wieck A. Wave function mapping
of self-assembled quantum dots by capacitance spectroscopy. Physica E: Low-dimensional
Systems and Nanostructures. 2004;21(2-4):516-520. doi:10.1016/j.physe.2003.11.077'
apa: 'Wibbelhoff, O., Meier, C., Lorke, A., Schafmeister, P., & Wieck, A. .
(2004). Wave function mapping of self-assembled quantum dots by capacitance spectroscopy.
Physica E: Low-Dimensional Systems and Nanostructures, 21(2–4),
516–520. https://doi.org/10.1016/j.physe.2003.11.077'
bibtex: '@article{Wibbelhoff_Meier_Lorke_Schafmeister_Wieck_2004, title={Wave function
mapping of self-assembled quantum dots by capacitance spectroscopy}, volume={21},
DOI={10.1016/j.physe.2003.11.077},
number={2–4}, journal={Physica E: Low-dimensional Systems and Nanostructures},
publisher={Elsevier BV}, author={Wibbelhoff, O and Meier, Cedrik and Lorke, A
and Schafmeister, P and Wieck, A.D}, year={2004}, pages={516–520} }'
chicago: 'Wibbelhoff, O, Cedrik Meier, A Lorke, P Schafmeister, and A.D Wieck. “Wave
Function Mapping of Self-Assembled Quantum Dots by Capacitance Spectroscopy.”
Physica E: Low-Dimensional Systems and Nanostructures 21, no. 2–4 (2004):
516–20. https://doi.org/10.1016/j.physe.2003.11.077.'
ieee: 'O. Wibbelhoff, C. Meier, A. Lorke, P. Schafmeister, and A. . Wieck, “Wave
function mapping of self-assembled quantum dots by capacitance spectroscopy,”
Physica E: Low-dimensional Systems and Nanostructures, vol. 21, no. 2–4,
pp. 516–520, 2004.'
mla: 'Wibbelhoff, O., et al. “Wave Function Mapping of Self-Assembled Quantum Dots
by Capacitance Spectroscopy.” Physica E: Low-Dimensional Systems and Nanostructures,
vol. 21, no. 2–4, Elsevier BV, 2004, pp. 516–20, doi:10.1016/j.physe.2003.11.077.'
short: 'O. Wibbelhoff, C. Meier, A. Lorke, P. Schafmeister, A.. Wieck, Physica E:
Low-Dimensional Systems and Nanostructures 21 (2004) 516–520.'
date_created: 2019-02-13T14:49:13Z
date_updated: 2022-01-06T07:03:43Z
department:
- _id: '15'
doi: 10.1016/j.physe.2003.11.077
extern: '1'
intvolume: ' 21'
issue: 2-4
language:
- iso: eng
page: 516-520
publication: 'Physica E: Low-dimensional Systems and Nanostructures'
publication_identifier:
issn:
- 1386-9477
publication_status: published
publisher: Elsevier BV
status: public
title: Wave function mapping of self-assembled quantum dots by capacitance spectroscopy
type: journal_article
user_id: '20798'
volume: 21
year: '2004'
...
---
_id: '8386'
author:
- first_name: Shane
full_name: Sendall, Shane
last_name: Sendall
- first_name: Rainer
full_name: Hauser, Rainer
last_name: Hauser
- first_name: Jana
full_name: Koehler, Jana
last_name: Koehler
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Michael
full_name: Wahler, Michael
last_name: Wahler
citation:
ama: 'Sendall S, Hauser R, Koehler J, Küster J, Wahler M. Understanding Model Transformation
by Classification and Formalization. In: Proceedings of the Workshop on Software
Transformation Systems (STS 2004, Satellite Event of the 3rd International Conference
on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada).
; 2004.'
apa: Sendall, S., Hauser, R., Koehler, J., Küster, J., & Wahler, M. (2004).
Understanding Model Transformation by Classification and Formalization. In Proceedings
of the Workshop on Software Transformation Systems (STS 2004, satellite event
of the 3rd International Conference on Generative Programming and Component Engineering
(GPCE 2004)), Vancouver (Canada).
bibtex: '@inproceedings{Sendall_Hauser_Koehler_Küster_Wahler_2004, title={Understanding
Model Transformation by Classification and Formalization}, booktitle={Proceedings
of the Workshop on Software Transformation Systems (STS 2004, satellite event
of the 3rd International Conference on Generative Programming and Component Engineering
(GPCE 2004)), Vancouver (Canada)}, author={Sendall, Shane and Hauser, Rainer and
Koehler, Jana and Küster, Jochen and Wahler, Michael}, year={2004} }'
chicago: Sendall, Shane, Rainer Hauser, Jana Koehler, Jochen Küster, and Michael
Wahler. “Understanding Model Transformation by Classification and Formalization.”
In Proceedings of the Workshop on Software Transformation Systems (STS 2004,
Satellite Event of the 3rd International Conference on Generative Programming
and Component Engineering (GPCE 2004)), Vancouver (Canada), 2004.
ieee: S. Sendall, R. Hauser, J. Koehler, J. Küster, and M. Wahler, “Understanding
Model Transformation by Classification and Formalization,” in Proceedings of
the Workshop on Software Transformation Systems (STS 2004, satellite event of
the 3rd International Conference on Generative Programming and Component Engineering
(GPCE 2004)), Vancouver (Canada), 2004.
mla: Sendall, Shane, et al. “Understanding Model Transformation by Classification
and Formalization.” Proceedings of the Workshop on Software Transformation
Systems (STS 2004, Satellite Event of the 3rd International Conference on Generative
Programming and Component Engineering (GPCE 2004)), Vancouver (Canada), 2004.
short: 'S. Sendall, R. Hauser, J. Koehler, J. Küster, M. Wahler, in: Proceedings
of the Workshop on Software Transformation Systems (STS 2004, Satellite Event
of the 3rd International Conference on Generative Programming and Component Engineering
(GPCE 2004)), Vancouver (Canada), 2004.'
date_created: 2019-03-06T11:28:52Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the Workshop on Software Transformation Systems (STS 2004,
satellite event of the 3rd International Conference on Generative Programming and
Component Engineering (GPCE 2004)), Vancouver (Canada)
status: public
title: Understanding Model Transformation by Classification and Formalization
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '8387'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Sebastian
full_name: Thöne, Sebastian
last_name: Thöne
citation:
ama: 'Heckel R, Thöne S. Behavior-Preserving Refinement Relations between Dynamic
Software Architectures. In: Proceedings of the Workshop on Algebraic Development
Techniques (WADT 2004), Barcelona (Spain). Vol 3423. LNCS. Berlin/Heidelberg:
Springer; 2004:1-27.'
apa: 'Heckel, R., & Thöne, S. (2004). Behavior-Preserving Refinement Relations
between Dynamic Software Architectures. In Proceedings of the workshop on Algebraic
Development Techniques (WADT 2004), Barcelona (Spain) (Vol. 3423, pp. 1–27).
Berlin/Heidelberg: Springer.'
bibtex: '@inproceedings{Heckel_Thöne_2004, place={Berlin/Heidelberg}, series={LNCS},
title={Behavior-Preserving Refinement Relations between Dynamic Software Architectures},
volume={3423}, booktitle={Proceedings of the workshop on Algebraic Development
Techniques (WADT 2004), Barcelona (Spain)}, publisher={Springer}, author={Heckel,
Reiko and Thöne, Sebastian}, year={2004}, pages={1–27}, collection={LNCS} }'
chicago: 'Heckel, Reiko, and Sebastian Thöne. “Behavior-Preserving Refinement Relations
between Dynamic Software Architectures.” In Proceedings of the Workshop on
Algebraic Development Techniques (WADT 2004), Barcelona (Spain), 3423:1–27.
LNCS. Berlin/Heidelberg: Springer, 2004.'
ieee: R. Heckel and S. Thöne, “Behavior-Preserving Refinement Relations between
Dynamic Software Architectures,” in Proceedings of the workshop on Algebraic
Development Techniques (WADT 2004), Barcelona (Spain), 2004, vol. 3423, pp.
1–27.
mla: Heckel, Reiko, and Sebastian Thöne. “Behavior-Preserving Refinement Relations
between Dynamic Software Architectures.” Proceedings of the Workshop on Algebraic
Development Techniques (WADT 2004), Barcelona (Spain), vol. 3423, Springer,
2004, pp. 1–27.
short: 'R. Heckel, S. Thöne, in: Proceedings of the Workshop on Algebraic Development
Techniques (WADT 2004), Barcelona (Spain), Springer, Berlin/Heidelberg, 2004,
pp. 1–27.'
date_created: 2019-03-06T11:28:53Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
intvolume: ' 3423'
language:
- iso: eng
page: 1-27
place: Berlin/Heidelberg
publication: Proceedings of the workshop on Algebraic Development Techniques (WADT
2004), Barcelona (Spain)
publisher: Springer
series_title: LNCS
status: public
title: Behavior-Preserving Refinement Relations between Dynamic Software Architectures
type: conference
user_id: '52534'
volume: 3423
year: '2004'
...
---
_id: '8388'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Alexey
full_name: Cherchago, Alexey
last_name: Cherchago
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
citation:
ama: 'Heckel R, Cherchago A, Lohmann M. A Formal Approach to Service Specification
and Matching based on Graph Transformation. In: Proceedings of the First International
Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy. Vol
105. Elsevier; 2004:37-49. doi:http://dx.doi.org/10.1016/j.entcs.2004.05.006'
apa: Heckel, R., Cherchago, A., & Lohmann, M. (2004). A Formal Approach to Service
Specification and Matching based on Graph Transformation. In Proceedings of
the First International Workshop on Web Services and Formal Methods (WSFM 2004),
Pisa, Italy (Vol. 105, pp. 37–49). Elsevier. http://dx.doi.org/10.1016/j.entcs.2004.05.006
bibtex: '@inproceedings{Heckel_Cherchago_Lohmann_2004, title={A Formal Approach
to Service Specification and Matching based on Graph Transformation}, volume={105},
DOI={http://dx.doi.org/10.1016/j.entcs.2004.05.006},
booktitle={Proceedings of the First International Workshop on Web Services and
Formal Methods (WSFM 2004), Pisa, Italy}, publisher={Elsevier}, author={Heckel,
Reiko and Cherchago, Alexey and Lohmann, Marc}, year={2004}, pages={37–49} }'
chicago: Heckel, Reiko, Alexey Cherchago, and Marc Lohmann. “A Formal Approach to
Service Specification and Matching Based on Graph Transformation.” In Proceedings
of the First International Workshop on Web Services and Formal Methods (WSFM 2004),
Pisa, Italy, 105:37–49. Elsevier, 2004. http://dx.doi.org/10.1016/j.entcs.2004.05.006.
ieee: R. Heckel, A. Cherchago, and M. Lohmann, “A Formal Approach to Service Specification
and Matching based on Graph Transformation,” in Proceedings of the First International
Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy, 2004,
vol. 105, pp. 37–49.
mla: Heckel, Reiko, et al. “A Formal Approach to Service Specification and Matching
Based on Graph Transformation.” Proceedings of the First International Workshop
on Web Services and Formal Methods (WSFM 2004), Pisa, Italy, vol. 105, Elsevier,
2004, pp. 37–49, doi:http://dx.doi.org/10.1016/j.entcs.2004.05.006.
short: 'R. Heckel, A. Cherchago, M. Lohmann, in: Proceedings of the First International
Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy, Elsevier,
2004, pp. 37–49.'
date_created: 2019-03-06T11:28:54Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/j.entcs.2004.05.006
intvolume: ' 105'
language:
- iso: eng
page: 37-49
publication: Proceedings of the First International Workshop on Web Services and Formal
Methods (WSFM 2004), Pisa, Italy
publisher: Elsevier
status: public
title: A Formal Approach to Service Specification and Matching based on Graph Transformation
type: conference
user_id: '52534'
volume: 105
year: '2004'
...
---
_id: '8389'
author:
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
citation:
ama: 'Küster J. Systematic Validation of Model Transformations. In: Proceedings
3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal).
; 2004.'
apa: Küster, J. (2004). Systematic Validation of Model Transformations. In Proceedings
3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal).
bibtex: '@inproceedings{Küster_2004, title={Systematic Validation of Model Transformations},
booktitle={Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004),
Lisbon (Portugal)}, author={Küster, Jochen}, year={2004} }'
chicago: Küster, Jochen. “Systematic Validation of Model Transformations.” In Proceedings
3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal),
2004.
ieee: J. Küster, “Systematic Validation of Model Transformations,” in Proceedings
3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal),
2004.
mla: Küster, Jochen. “Systematic Validation of Model Transformations.” Proceedings
3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal),
2004.
short: 'J. Küster, in: Proceedings 3rd UML Workshop in Software Model Engineering
(WiSME 2004), Lisbon (Portugal), 2004.'
date_created: 2019-03-06T11:28:55Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004),
Lisbon (Portugal)
status: public
title: Systematic Validation of Model Transformations
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '8390'
author:
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Shane
full_name: Sendall, Shane
last_name: Sendall
- first_name: Michael
full_name: Wahler, Michael
last_name: Wahler
citation:
ama: 'Küster J, Sendall S, Wahler M. Comparing two Model Transformation Approaches.
In: Proceedings of the Workshop on OCL and Model Driven Engineering (Satellite
Event of the UML 2004), Lisbon (Portugal). University of Kent; 2004:114-127.'
apa: Küster, J., Sendall, S., & Wahler, M. (2004). Comparing two Model Transformation
Approaches. In Proceedings of the Workshop on OCL and Model Driven Engineering
(satellite event of the UML 2004), Lisbon (Portugal) (pp. 114–127). University
of Kent.
bibtex: '@inproceedings{Küster_Sendall_Wahler_2004, title={Comparing two Model Transformation
Approaches}, booktitle={Proceedings of the Workshop on OCL and Model Driven Engineering
(satellite event of the UML 2004), Lisbon (Portugal)}, publisher={University of
Kent}, author={Küster, Jochen and Sendall, Shane and Wahler, Michael}, year={2004},
pages={114–127} }'
chicago: Küster, Jochen, Shane Sendall, and Michael Wahler. “Comparing Two Model
Transformation Approaches.” In Proceedings of the Workshop on OCL and Model
Driven Engineering (Satellite Event of the UML 2004), Lisbon (Portugal), 114–27.
University of Kent, 2004.
ieee: J. Küster, S. Sendall, and M. Wahler, “Comparing two Model Transformation
Approaches,” in Proceedings of the Workshop on OCL and Model Driven Engineering
(satellite event of the UML 2004), Lisbon (Portugal), 2004, pp. 114–127.
mla: Küster, Jochen, et al. “Comparing Two Model Transformation Approaches.” Proceedings
of the Workshop on OCL and Model Driven Engineering (Satellite Event of the UML
2004), Lisbon (Portugal), University of Kent, 2004, pp. 114–27.
short: 'J. Küster, S. Sendall, M. Wahler, in: Proceedings of the Workshop on OCL
and Model Driven Engineering (Satellite Event of the UML 2004), Lisbon (Portugal),
University of Kent, 2004, pp. 114–127.'
date_created: 2019-03-06T11:28:57Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
page: 114-127
publication: Proceedings of the Workshop on OCL and Model Driven Engineering (satellite
event of the UML 2004), Lisbon (Portugal)
publisher: University of Kent
status: public
title: Comparing two Model Transformation Approaches
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '8391'
author:
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
citation:
ama: 'Küster J. Towards Inconsistency Handling of Object-Oriented Behavioral Models.
In: International Workshop on Graph Transformation (GT-VMT 2004), Barcelona
(Spain). Vol 109. Electronic Notes in Theoretical Computer Science. Amsterdam
,The Netherlands: Elsevier; 2004:57-69. doi:http://dx.doi.org/10.1016/j.entcs.2004.02.056'
apa: 'Küster, J. (2004). Towards Inconsistency Handling of Object-Oriented Behavioral
Models. In International Workshop on Graph Transformation (GT-VMT 2004), Barcelona
(Spain) (Vol. 109, pp. 57–69). Amsterdam ,The Netherlands: Elsevier. http://dx.doi.org/10.1016/j.entcs.2004.02.056'
bibtex: '@inproceedings{Küster_2004, place={Amsterdam ,The Netherlands}, series={Electronic
Notes in Theoretical Computer Science}, title={Towards Inconsistency Handling
of Object-Oriented Behavioral Models}, volume={109}, DOI={http://dx.doi.org/10.1016/j.entcs.2004.02.056},
booktitle={International Workshop on Graph Transformation (GT-VMT 2004), Barcelona
(Spain)}, publisher={Elsevier}, author={Küster, Jochen}, year={2004}, pages={57–69},
collection={Electronic Notes in Theoretical Computer Science} }'
chicago: 'Küster, Jochen. “Towards Inconsistency Handling of Object-Oriented Behavioral
Models.” In International Workshop on Graph Transformation (GT-VMT 2004), Barcelona
(Spain), 109:57–69. Electronic Notes in Theoretical Computer Science. Amsterdam
,The Netherlands: Elsevier, 2004. http://dx.doi.org/10.1016/j.entcs.2004.02.056.'
ieee: J. Küster, “Towards Inconsistency Handling of Object-Oriented Behavioral Models,”
in International Workshop on Graph Transformation (GT-VMT 2004), Barcelona
(Spain), 2004, vol. 109, pp. 57–69.
mla: Küster, Jochen. “Towards Inconsistency Handling of Object-Oriented Behavioral
Models.” International Workshop on Graph Transformation (GT-VMT 2004), Barcelona
(Spain), vol. 109, Elsevier, 2004, pp. 57–69, doi:http://dx.doi.org/10.1016/j.entcs.2004.02.056.
short: 'J. Küster, in: International Workshop on Graph Transformation (GT-VMT 2004),
Barcelona (Spain), Elsevier, Amsterdam ,The Netherlands, 2004, pp. 57–69.'
date_created: 2019-03-06T11:28:58Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1016/j.entcs.2004.02.056
intvolume: ' 109'
language:
- iso: eng
page: 57-69
place: Amsterdam ,The Netherlands
publication: International Workshop on Graph Transformation (GT-VMT 2004), Barcelona
(Spain)
publisher: Elsevier
series_title: Electronic Notes in Theoretical Computer Science
status: public
title: Towards Inconsistency Handling of Object-Oriented Behavioral Models
type: conference
user_id: '52534'
volume: 109
year: '2004'
...
---
_id: '8392'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Achim
full_name: Rettberg, Achim
last_name: Rettberg
citation:
ama: 'Schattkowsky T, Rettberg A. UML for FPGA Synthesis. In: Proceedings of
the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA
(USA). ; 2004.'
apa: Schattkowsky, T., & Rettberg, A. (2004). UML for FPGA Synthesis. In Proceedings
of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego,
CA (USA).
bibtex: '@inproceedings{Schattkowsky_Rettberg_2004, title={UML for FPGA Synthesis},
booktitle={Proceedings of the International Workshop on UML for SoC Design (UML-SOC
2004), San Diego, CA (USA)}, author={Schattkowsky, Tim and Rettberg, Achim}, year={2004}
}'
chicago: Schattkowsky, Tim, and Achim Rettberg. “UML for FPGA Synthesis.” In Proceedings
of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego,
CA (USA), 2004.
ieee: T. Schattkowsky and A. Rettberg, “UML for FPGA Synthesis,” in Proceedings
of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego,
CA (USA), 2004.
mla: Schattkowsky, Tim, and Achim Rettberg. “UML for FPGA Synthesis.” Proceedings
of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego,
CA (USA), 2004.
short: 'T. Schattkowsky, A. Rettberg, in: Proceedings of the International Workshop
on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA), 2004.'
date_created: 2019-03-06T11:28:59Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the International Workshop on UML for SoC Design (UML-SOC
2004), San Diego, CA (USA)
status: public
title: UML for FPGA Synthesis
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '8393'
author:
- first_name: Shane
full_name: Sendall, Shane
last_name: Sendall
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
citation:
ama: 'Sendall S, Küster J. Taming Model Round-Trip Engineering. In: Proceedings
of Workshop on Best Practices for Model-Driven Software Development (Satellite
Event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems,
Languages, and Applications (OOPSLA 2004)), Vancouver (Canada). ; 2004.'
apa: Sendall, S., & Küster, J. (2004). Taming Model Round-Trip Engineering.
In Proceedings of Workshop on Best Practices for Model-Driven Software Development
(satellite event of the 19th Annual ACM Conference on Object-Oriented Programming,
Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada).
bibtex: '@inproceedings{Sendall_Küster_2004, title={Taming Model Round-Trip Engineering},
booktitle={Proceedings of Workshop on Best Practices for Model-Driven Software
Development (satellite event of the 19th Annual ACM Conference on Object-Oriented
Programming, Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada)},
author={Sendall, Shane and Küster, Jochen}, year={2004} }'
chicago: Sendall, Shane, and Jochen Küster. “Taming Model Round-Trip Engineering.”
In Proceedings of Workshop on Best Practices for Model-Driven Software Development
(Satellite Event of the 19th Annual ACM Conference on Object-Oriented Programming,
Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada), 2004.
ieee: S. Sendall and J. Küster, “Taming Model Round-Trip Engineering,” in Proceedings
of Workshop on Best Practices for Model-Driven Software Development (satellite
event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems,
Languages, and Applications (OOPSLA 2004)), Vancouver (Canada), 2004.
mla: Sendall, Shane, and Jochen Küster. “Taming Model Round-Trip Engineering.” Proceedings
of Workshop on Best Practices for Model-Driven Software Development (Satellite
Event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems,
Languages, and Applications (OOPSLA 2004)), Vancouver (Canada), 2004.
short: 'S. Sendall, J. Küster, in: Proceedings of Workshop on Best Practices for
Model-Driven Software Development (Satellite Event of the 19th Annual ACM Conference
on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)),
Vancouver (Canada), 2004.'
date_created: 2019-03-06T11:29:00Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
main_file_link:
- url: http://www.zurich.ibm.com/pdf/csc/position-paper-mdsd04/_sendall.pdf
publication: Proceedings of Workshop on Best Practices for Model-Driven Software Development
(satellite event of the 19th Annual ACM Conference on Object-Oriented Programming,
Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada)
status: public
title: Taming Model Round-Trip Engineering
type: conference
user_id: '52534'
year: '2004'
...
---
_id: '8450'
author:
- first_name: H.-Hugo
full_name: Kremer, H.-Hugo
id: '15280'
last_name: Kremer
citation:
ama: 'Kremer H-H. Virtual conference: a telecooperative learning environment. In:
Banks S, Goodyear P, Hodgson V, et al., eds. Networked Learning 2004. A research
based conference on e-learning in higher education and lifelong learning.
Lancaster; 2004:751-752.'
apa: 'Kremer, H.-H. (2004). Virtual conference: a telecooperative learning environment.
In S. Banks, P. Goodyear, V. Hodgson, C. Jones, V. Lally, D. McConnel, & C.
Steeples (Eds.), Networked Learning 2004. A research based conference on e-learning
in higher education and lifelong learning (pp. 751–752). Lancaster.'
bibtex: '@inbook{Kremer_2004, place={Lancaster}, title={Virtual conference: a telecooperative
learning environment}, booktitle={Networked Learning 2004. A research based conference
on e-learning in higher education and lifelong learning}, author={Kremer, H.-Hugo},
editor={Banks, S. and Goodyear, P. and Hodgson, V. and Jones, C. and Lally, V.
and McConnel, D. and Steeples, C.Editors}, year={2004}, pages={751–752} }'
chicago: 'Kremer, H.-Hugo. “Virtual conference: a telecooperative learning environment.”
In Networked Learning 2004. A research based conference on e-learning in higher
education and lifelong learning, edited by S. Banks, P. Goodyear, V. Hodgson,
C. Jones, V. Lally, D. McConnel, and C. Steeples, 751–52. Lancaster, 2004.'
ieee: 'H.-H. Kremer, “Virtual conference: a telecooperative learning environment,”
in Networked Learning 2004. A research based conference on e-learning in higher
education and lifelong learning, S. Banks, P. Goodyear, V. Hodgson, C. Jones,
V. Lally, D. McConnel, and C. Steeples, Eds. Lancaster, 2004, pp. 751–752.'
mla: 'Kremer, H. Hugo. “Virtual conference: a telecooperative learning environment.”
Networked Learning 2004. A research based conference on e-learning in higher
education and lifelong learning, edited by S. Banks et al., 2004, pp. 751–52.'
short: 'H.-H. Kremer, in: S. Banks, P. Goodyear, V. Hodgson, C. Jones, V. Lally,
D. McConnel, C. Steeples (Eds.), Networked Learning 2004. A research based conference
on e-learning in higher education and lifelong learning, Lancaster, 2004, pp.
751–752.'
date_created: 2019-03-07T08:56:26Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '211'
editor:
- first_name: S.
full_name: Banks, S.
last_name: Banks
- first_name: P.
full_name: Goodyear, P.
last_name: Goodyear
- first_name: V.
full_name: Hodgson, V.
last_name: Hodgson
- first_name: C.
full_name: Jones, C.
last_name: Jones
- first_name: V.
full_name: Lally, V.
last_name: Lally
- first_name: D.
full_name: McConnel, D.
last_name: McConnel
- first_name: C.
full_name: Steeples, C.
last_name: Steeples
language:
- iso: ger
page: 751-752
place: Lancaster
publication: Networked Learning 2004. A research based conference on e-learning in
higher education and lifelong learning
status: public
title: 'Virtual conference: a telecooperative learning environment'
type: book_chapter
user_id: '44715'
year: '2004'
...
---
_id: '8451'
author:
- first_name: T.
full_name: Deißinger, T.
last_name: Deißinger
- first_name: H.-Hugo
full_name: Kremer, H.-Hugo
id: '15280'
last_name: Kremer
citation:
ama: 'Deißinger T, Kremer H-H. Organisation und didaktische Ausrichtung des “Praxissemesters”
im Rahmen des Diplomstudiengangs Wirtschaftspädagogik an der Universität Konstanz.
In: Backes-Haase A, Frommer H, eds. Theorie-Praxis-Verzahnung in der beruflichen
und gymnsasialen Lehrerbildung. Das Praxissemester in Baden-Württemberg. Baltmannsweiler;
2004:88-105.'
apa: Deißinger, T., & Kremer, H.-H. (2004). Organisation und didaktische Ausrichtung
des “Praxissemesters” im Rahmen des Diplomstudiengangs Wirtschaftspädagogik an
der Universität Konstanz. In A. Backes-Haase & H. Frommer (Eds.), Theorie-Praxis-Verzahnung
in der beruflichen und gymnsasialen Lehrerbildung. Das Praxissemester in Baden-Württemberg.
(pp. 88–105). Baltmannsweiler.
bibtex: '@inbook{Deißinger_Kremer_2004, place={Baltmannsweiler}, title={Organisation
und didaktische Ausrichtung des “Praxissemesters” im Rahmen des Diplomstudiengangs
Wirtschaftspädagogik an der Universität Konstanz}, booktitle={Theorie-Praxis-Verzahnung
in der beruflichen und gymnsasialen Lehrerbildung. Das Praxissemester in Baden-Württemberg.},
author={Deißinger, T. and Kremer, H.-Hugo}, editor={Backes-Haase, A. and Frommer,
H.Editors}, year={2004}, pages={88–105} }'
chicago: Deißinger, T., and H.-Hugo Kremer. “Organisation und didaktische Ausrichtung
des ‘Praxissemesters’ im Rahmen des Diplomstudiengangs Wirtschaftspädagogik an
der Universität Konstanz.” In Theorie-Praxis-Verzahnung in der beruflichen
und gymnsasialen Lehrerbildung. Das Praxissemester in Baden-Württemberg.,
edited by A. Backes-Haase and H. Frommer, 88–105. Baltmannsweiler, 2004.
ieee: T. Deißinger and H.-H. Kremer, “Organisation und didaktische Ausrichtung des
‘Praxissemesters’ im Rahmen des Diplomstudiengangs Wirtschaftspädagogik an der
Universität Konstanz,” in Theorie-Praxis-Verzahnung in der beruflichen und
gymnsasialen Lehrerbildung. Das Praxissemester in Baden-Württemberg., A. Backes-Haase
and H. Frommer, Eds. Baltmannsweiler, 2004, pp. 88–105.
mla: Deißinger, T., and H. Hugo Kremer. “Organisation und didaktische Ausrichtung
des ‘Praxissemesters’ im Rahmen des Diplomstudiengangs Wirtschaftspädagogik an
der Universität Konstanz.” Theorie-Praxis-Verzahnung in der beruflichen und
gymnsasialen Lehrerbildung. Das Praxissemester in Baden-Württemberg., edited
by A. Backes-Haase and H. Frommer, 2004, pp. 88–105.
short: 'T. Deißinger, H.-H. Kremer, in: A. Backes-Haase, H. Frommer (Eds.), Theorie-Praxis-Verzahnung
in der beruflichen und gymnsasialen Lehrerbildung. Das Praxissemester in Baden-Württemberg.,
Baltmannsweiler, 2004, pp. 88–105.'
date_created: 2019-03-07T09:23:51Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '211'
editor:
- first_name: A.
full_name: Backes-Haase, A.
last_name: Backes-Haase
- first_name: H.
full_name: Frommer, H.
last_name: Frommer
language:
- iso: ger
page: 88-105
place: Baltmannsweiler
publication: Theorie-Praxis-Verzahnung in der beruflichen und gymnsasialen Lehrerbildung.
Das Praxissemester in Baden-Württemberg.
status: public
title: Organisation und didaktische Ausrichtung des "Praxissemesters" im Rahmen des
Diplomstudiengangs Wirtschaftspädagogik an der Universität Konstanz
type: book_chapter
user_id: '44715'
year: '2004'
...
---
_id: '8452'
author:
- first_name: H.-Hugo
full_name: Kremer, H.-Hugo
id: '15280'
last_name: Kremer
citation:
ama: 'Kremer H-H. Qualifizierungsnetzwerke - Lernumgebung für Lehrkräfte? In: Gramlinger
F, Steinemann S, Tramm T, eds. Lernfelder gestalten - miteinander Lernen -
Innovationen vernetzen. Ergebnisse der 1. CULIK Fachtagung (12.05.2004). ;
2004.'
apa: Kremer, H.-H. (2004). Qualifizierungsnetzwerke - Lernumgebung für Lehrkräfte?
In F. Gramlinger, S. Steinemann, & T. Tramm (Eds.), Lernfelder gestalten
- miteinander Lernen - Innovationen vernetzen. Ergebnisse der 1. CULIK Fachtagung
(12.05.2004).
bibtex: '@inbook{Kremer_2004, title={Qualifizierungsnetzwerke - Lernumgebung für
Lehrkräfte?}, booktitle={Lernfelder gestalten - miteinander Lernen - Innovationen
vernetzen. Ergebnisse der 1. CULIK Fachtagung (12.05.2004)}, author={Kremer, H.-Hugo},
editor={Gramlinger, F. and Steinemann, S. and Tramm, T.Editors}, year={2004} }'
chicago: Kremer, H.-Hugo. “Qualifizierungsnetzwerke - Lernumgebung für Lehrkräfte?”
In Lernfelder gestalten - miteinander Lernen - Innovationen vernetzen. Ergebnisse
der 1. CULIK Fachtagung (12.05.2004), edited by F. Gramlinger, S. Steinemann,
and T. Tramm, 2004.
ieee: H.-H. Kremer, “Qualifizierungsnetzwerke - Lernumgebung für Lehrkräfte?,” in
Lernfelder gestalten - miteinander Lernen - Innovationen vernetzen. Ergebnisse
der 1. CULIK Fachtagung (12.05.2004), F. Gramlinger, S. Steinemann, and T.
Tramm, Eds. 2004.
mla: Kremer, H. Hugo. “Qualifizierungsnetzwerke - Lernumgebung für Lehrkräfte?”
Lernfelder gestalten - miteinander Lernen - Innovationen vernetzen. Ergebnisse
der 1. CULIK Fachtagung (12.05.2004), edited by F. Gramlinger et al., 2004.
short: 'H.-H. Kremer, in: F. Gramlinger, S. Steinemann, T. Tramm (Eds.), Lernfelder
gestalten - miteinander Lernen - Innovationen vernetzen. Ergebnisse der 1. CULIK
Fachtagung (12.05.2004), 2004.'
date_created: 2019-03-07T09:30:58Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '211'
editor:
- first_name: F.
full_name: Gramlinger, F.
last_name: Gramlinger
- first_name: S.
full_name: Steinemann, S.
last_name: Steinemann
- first_name: T.
full_name: Tramm, T.
last_name: Tramm
language:
- iso: ger
main_file_link:
- open_access: '1'
url: http://www.bwpat.de/spezial1/
oa: '1'
publication: Lernfelder gestalten - miteinander Lernen - Innovationen vernetzen. Ergebnisse
der 1. CULIK Fachtagung (12.05.2004)
status: public
title: Qualifizierungsnetzwerke - Lernumgebung für Lehrkräfte?
type: book_chapter
user_id: '44715'
year: '2004'
...
---
_id: '8453'
author:
- first_name: H.-Hugo
full_name: Kremer, H.-Hugo
id: '15280'
last_name: Kremer
citation:
ama: 'Kremer H-H. Virtual conference - a cooperative learning environment for teacher
education? In: Bennett R, ed. The annual conference of the Association for
Information Technology in Teacher Education. Chester; 2004.'
apa: Kremer, H.-H. (2004). Virtual conference - a cooperative learning environment
for teacher education? In R. Bennett (Ed.), The annual conference of the Association
for Information Technology in Teacher Education. Chester.
bibtex: '@inbook{Kremer_2004, place={Chester}, title={Virtual conference - a cooperative
learning environment for teacher education?}, booktitle={The annual conference
of the Association for Information Technology in Teacher Education}, author={Kremer,
H.-Hugo}, editor={Bennett, R.Editor}, year={2004} }'
chicago: Kremer, H.-Hugo. “Virtual conference - a cooperative learning environment
for teacher education?” In The annual conference of the Association for Information
Technology in Teacher Education, edited by R. Bennett. Chester, 2004.
ieee: H.-H. Kremer, “Virtual conference - a cooperative learning environment for
teacher education?,” in The annual conference of the Association for Information
Technology in Teacher Education, R. Bennett, Ed. Chester, 2004.
mla: Kremer, H. Hugo. “Virtual conference - a cooperative learning environment for
teacher education?” The annual conference of the Association for Information
Technology in Teacher Education, edited by R. Bennett, 2004.
short: 'H.-H. Kremer, in: R. Bennett (Ed.), The annual conference of the Association
for Information Technology in Teacher Education, Chester, 2004.'
date_created: 2019-03-07T09:40:13Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '211'
editor:
- first_name: R.
full_name: Bennett, R.
last_name: Bennett
language:
- iso: ger
place: Chester
publication: The annual conference of the Association for Information Technology in
Teacher Education
status: public
title: Virtual conference - a cooperative learning environment for teacher education?
type: book_chapter
user_id: '44715'
year: '2004'
...
---
_id: '8454'
author:
- first_name: H.-Hugo
full_name: Kremer, H.-Hugo
id: '15280'
last_name: Kremer
citation:
ama: 'Kremer H-H. Qualifizierungsnetzwerke - Lernumgebung für Lehrkräfte. In: Gramlinger
F, Steinemann S, Tramm T, eds. Lernfelder gestalten - miteinander Lernen -
Innovationen vernetzen. Ergebnisse der 1. CULIK Fachtagung. Paderborn; 2004:82-95.'
apa: Kremer, H.-H. (2004). Qualifizierungsnetzwerke - Lernumgebung für Lehrkräfte.
In F. Gramlinger, S. Steinemann, & T. Tramm (Eds.), Lernfelder gestalten
- miteinander Lernen - Innovationen vernetzen. Ergebnisse der 1. CULIK Fachtagung
(pp. 82–95). Paderborn.
bibtex: '@inbook{Kremer_2004, place={Paderborn}, title={Qualifizierungsnetzwerke
- Lernumgebung für Lehrkräfte}, booktitle={Lernfelder gestalten - miteinander
Lernen - Innovationen vernetzen. Ergebnisse der 1. CULIK Fachtagung}, author={Kremer,
H.-Hugo}, editor={Gramlinger, F. and Steinemann, S. and Tramm, T.Editors}, year={2004},
pages={82–95} }'
chicago: Kremer, H.-Hugo. “Qualifizierungsnetzwerke - Lernumgebung für Lehrkräfte.”
In Lernfelder gestalten - miteinander Lernen - Innovationen vernetzen. Ergebnisse
der 1. CULIK Fachtagung, edited by F. Gramlinger, S. Steinemann, and T. Tramm,
82–95. Paderborn, 2004.
ieee: H.-H. Kremer, “Qualifizierungsnetzwerke - Lernumgebung für Lehrkräfte,” in
Lernfelder gestalten - miteinander Lernen - Innovationen vernetzen. Ergebnisse
der 1. CULIK Fachtagung, F. Gramlinger, S. Steinemann, and T. Tramm, Eds.
Paderborn, 2004, pp. 82–95.
mla: Kremer, H. Hugo. “Qualifizierungsnetzwerke - Lernumgebung für Lehrkräfte.”
Lernfelder gestalten - miteinander Lernen - Innovationen vernetzen. Ergebnisse
der 1. CULIK Fachtagung, edited by F. Gramlinger et al., 2004, pp. 82–95.
short: 'H.-H. Kremer, in: F. Gramlinger, S. Steinemann, T. Tramm (Eds.), Lernfelder
gestalten - miteinander Lernen - Innovationen vernetzen. Ergebnisse der 1. CULIK
Fachtagung, Paderborn, 2004, pp. 82–95.'
date_created: 2019-03-07T09:44:47Z
date_updated: 2022-01-06T07:03:55Z
department:
- _id: '211'
editor:
- first_name: F.
full_name: Gramlinger, F.
last_name: Gramlinger
- first_name: S.
full_name: Steinemann, S.
last_name: Steinemann
- first_name: T.
full_name: Tramm, T.
last_name: Tramm
language:
- iso: ger
page: 82-95
place: Paderborn
publication: Lernfelder gestalten - miteinander Lernen - Innovationen vernetzen. Ergebnisse
der 1. CULIK Fachtagung
status: public
title: Qualifizierungsnetzwerke - Lernumgebung für Lehrkräfte
type: book_chapter
user_id: '44715'
year: '2004'
...