---
_id: '7938'
author:
- first_name: Ping
full_name: Guo, Ping
last_name: Guo
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Guo P, Engels G, Heckel R. Architectural Style - Based Modeling and Simulation
of Complex Software Systems. In: Proceedings of the 12th Asia-Pacific Software
Engineering Conference (APSEC 2005), Taipei (Taiwan). Washington, DC, USA:
IEEE Computer Society; 2005:367-374. doi:http://dx.doi.org/10.1109/APSEC.2005.41'
apa: 'Guo, P., Engels, G., & Heckel, R. (2005). Architectural Style - Based
Modeling and Simulation of Complex Software Systems. In Proceedings of the
12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei (Taiwan)
(pp. 367–374). Washington, DC, USA: IEEE Computer Society. http://dx.doi.org/10.1109/APSEC.2005.41'
bibtex: '@inproceedings{Guo_Engels_Heckel_2005, place={Washington, DC, USA}, title={Architectural
Style - Based Modeling and Simulation of Complex Software Systems}, DOI={http://dx.doi.org/10.1109/APSEC.2005.41},
booktitle={Proceedings of the 12th Asia-Pacific Software Engineering Conference
(APSEC 2005), Taipei (Taiwan)}, publisher={IEEE Computer Society}, author={Guo,
Ping and Engels, Gregor and Heckel, Reiko}, year={2005}, pages={367–374} }'
chicago: 'Guo, Ping, Gregor Engels, and Reiko Heckel. “Architectural Style - Based
Modeling and Simulation of Complex Software Systems.” In Proceedings of the
12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei (Taiwan),
367–74. Washington, DC, USA: IEEE Computer Society, 2005. http://dx.doi.org/10.1109/APSEC.2005.41.'
ieee: P. Guo, G. Engels, and R. Heckel, “Architectural Style - Based Modeling and
Simulation of Complex Software Systems,” in Proceedings of the 12th Asia-Pacific
Software Engineering Conference (APSEC 2005), Taipei (Taiwan), 2005, pp. 367–374.
mla: Guo, Ping, et al. “Architectural Style - Based Modeling and Simulation of Complex
Software Systems.” Proceedings of the 12th Asia-Pacific Software Engineering
Conference (APSEC 2005), Taipei (Taiwan), IEEE Computer Society, 2005, pp.
367–74, doi:http://dx.doi.org/10.1109/APSEC.2005.41.
short: 'P. Guo, G. Engels, R. Heckel, in: Proceedings of the 12th Asia-Pacific Software
Engineering Conference (APSEC 2005), Taipei (Taiwan), IEEE Computer Society, Washington,
DC, USA, 2005, pp. 367–374.'
date_created: 2019-02-21T11:34:46Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/APSEC.2005.41
language:
- iso: eng
page: 367-374
place: Washington, DC, USA
publication: Proceedings of the 12th Asia-Pacific Software Engineering Conference
(APSEC 2005), Taipei (Taiwan)
publisher: IEEE Computer Society
status: public
title: Architectural Style - Based Modeling and Simulation of Complex Software Systems
type: conference
user_id: '52534'
year: '2005'
...
---
_id: '7939'
author:
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Lohmann M, Sauer S, Engels G. Executable Visual Contracts. In: Proceedings
of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC
2005). Washington, DC, USA: IEEE Computer Society; 2005:63-70. doi:http://dx.doi.org/10.1109/VLHCC.2005.35'
apa: 'Lohmann, M., Sauer, S., & Engels, G. (2005). Executable Visual Contracts.
In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 2005) (pp. 63–70). Washington, DC, USA: IEEE Computer Society.
http://dx.doi.org/10.1109/VLHCC.2005.35'
bibtex: '@inproceedings{Lohmann_Sauer_Engels_2005, place={Washington, DC, USA},
title={Executable Visual Contracts}, DOI={http://dx.doi.org/10.1109/VLHCC.2005.35},
booktitle={Proceedings of the IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 2005)}, publisher={IEEE Computer Society}, author={Lohmann,
Marc and Sauer, Stefan and Engels, Gregor}, year={2005}, pages={63–70} }'
chicago: 'Lohmann, Marc, Stefan Sauer, and Gregor Engels. “Executable Visual Contracts.”
In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 2005), 63–70. Washington, DC, USA: IEEE Computer Society,
2005. http://dx.doi.org/10.1109/VLHCC.2005.35.'
ieee: M. Lohmann, S. Sauer, and G. Engels, “Executable Visual Contracts,” in Proceedings
of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC
2005), 2005, pp. 63–70.
mla: Lohmann, Marc, et al. “Executable Visual Contracts.” Proceedings of the
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005),
IEEE Computer Society, 2005, pp. 63–70, doi:http://dx.doi.org/10.1109/VLHCC.2005.35.
short: 'M. Lohmann, S. Sauer, G. Engels, in: Proceedings of the IEEE Symposium on
Visual Languages and Human-Centric Computing (VL/HCC 2005), IEEE Computer Society,
Washington, DC, USA, 2005, pp. 63–70.'
date_created: 2019-02-21T11:35:17Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/VLHCC.2005.35
language:
- iso: eng
page: 63-70
place: Washington, DC, USA
publication: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 2005)
publisher: IEEE Computer Society
status: public
title: Executable Visual Contracts
type: conference
user_id: '52534'
year: '2005'
...
---
_id: '8214'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Jan
full_name: Hendrik Hausmann, Jan
last_name: Hendrik Hausmann
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: Engels G, Hendrik Hausmann J, Lohmann M, Sauer S. Teaching UML Is Teaching
Software Engineering Is Teaching Abstraction. Fakultät für Elektrotechnik,Informatik
und Mathematik, Universität Paderborn; 2005. doi:http://dx.doi.org/10.1007/11663430_32
apa: Engels, G., Hendrik Hausmann, J., Lohmann, M., & Sauer, S. (2005). Teaching
UML is Teaching Software Engineering is Teaching Abstraction. Fakultät für
Elektrotechnik,Informatik und Mathematik, Universität Paderborn. http://dx.doi.org/10.1007/11663430_32
bibtex: '@book{Engels_Hendrik Hausmann_Lohmann_Sauer_2005, title={Teaching UML is
Teaching Software Engineering is Teaching Abstraction}, DOI={http://dx.doi.org/10.1007/11663430_32},
publisher={Fakultät für Elektrotechnik,Informatik und Mathematik, Universität
Paderborn}, author={Engels, Gregor and Hendrik Hausmann, Jan and Lohmann, Marc
and Sauer, Stefan}, year={2005} }'
chicago: Engels, Gregor, Jan Hendrik Hausmann, Marc Lohmann, and Stefan Sauer. Teaching
UML Is Teaching Software Engineering Is Teaching Abstraction. Fakultät für
Elektrotechnik,Informatik und Mathematik, Universität Paderborn, 2005. http://dx.doi.org/10.1007/11663430_32.
ieee: G. Engels, J. Hendrik Hausmann, M. Lohmann, and S. Sauer, Teaching UML
is Teaching Software Engineering is Teaching Abstraction. Fakultät für Elektrotechnik,Informatik
und Mathematik, Universität Paderborn, 2005.
mla: Engels, Gregor, et al. Teaching UML Is Teaching Software Engineering Is
Teaching Abstraction. Fakultät für Elektrotechnik,Informatik und Mathematik,
Universität Paderborn, 2005, doi:http://dx.doi.org/10.1007/11663430_32.
short: G. Engels, J. Hendrik Hausmann, M. Lohmann, S. Sauer, Teaching UML Is Teaching
Software Engineering Is Teaching Abstraction, Fakultät für Elektrotechnik,Informatik
und Mathematik, Universität Paderborn, 2005.
date_created: 2019-03-03T16:13:13Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/11663430_32
language:
- iso: eng
publisher: Fakultät für Elektrotechnik,Informatik und Mathematik, Universität Paderborn
status: public
title: Teaching UML is Teaching Software Engineering is Teaching Abstraction
type: report
user_id: '52534'
year: '2005'
...
---
_id: '7379'
abstract:
- lang: eng
text: eLearning supports the education in certain disciplines. Here, we report about
novel eLearning concepts, techniques, and tools to support education in Software
Engineering, a subdiscipline of computer science. We call this "Software Engineering
eLearning". On the other side, software support is a substantial prerequisite
for eLearning in any discipline. Thus, Software Engineering techniques have to
be applied to develop and maintain those software systems. We call this "eLearning
Software Engineering". Both aspects have been investigated in a large joint, BMBF-funded
research project, termed MuSofT (Multimedia in Software Engineering). The main
results are summarized in this paper.
author:
- first_name: Ernst-Erich
full_name: Doberkat, Ernst-Erich
last_name: Doberkat
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Jan
full_name: Hendrik Hausmann, Jan
last_name: Hendrik Hausmann
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Jörg
full_name: Pleumann, Jörg
last_name: Pleumann
- first_name: Jens
full_name: Schröder, Jens
last_name: Schröder
citation:
ama: 'Doberkat E-E, Engels G, Hendrik Hausmann J, Lohmann M, Pleumann J, Schröder
J. Software Engineering and eLearning: The MuSofT Project. e-learning and education
(eleed) Journal. 2005;2.'
apa: 'Doberkat, E.-E., Engels, G., Hendrik Hausmann, J., Lohmann, M., Pleumann,
J., & Schröder, J. (2005). Software Engineering and eLearning: The MuSofT
Project. E-Learning and Education (Eleed) Journal, 2.'
bibtex: '@article{Doberkat_Engels_Hendrik Hausmann_Lohmann_Pleumann_Schröder_2005,
title={Software Engineering and eLearning: The MuSofT Project}, volume={2}, journal={e-learning
and education (eleed) Journal}, author={Doberkat, Ernst-Erich and Engels, Gregor
and Hendrik Hausmann, Jan and Lohmann, Marc and Pleumann, Jörg and Schröder, Jens},
year={2005} }'
chicago: 'Doberkat, Ernst-Erich, Gregor Engels, Jan Hendrik Hausmann, Marc Lohmann,
Jörg Pleumann, and Jens Schröder. “Software Engineering and ELearning: The MuSofT
Project.” E-Learning and Education (Eleed) Journal 2 (2005).'
ieee: 'E.-E. Doberkat, G. Engels, J. Hendrik Hausmann, M. Lohmann, J. Pleumann,
and J. Schröder, “Software Engineering and eLearning: The MuSofT Project,” e-learning
and education (eleed) Journal, vol. 2, 2005.'
mla: 'Doberkat, Ernst-Erich, et al. “Software Engineering and ELearning: The MuSofT
Project.” E-Learning and Education (Eleed) Journal, vol. 2, 2005.'
short: E.-E. Doberkat, G. Engels, J. Hendrik Hausmann, M. Lohmann, J. Pleumann,
J. Schröder, E-Learning and Education (Eleed) Journal 2 (2005).
date_created: 2019-01-31T15:30:51Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
intvolume: ' 2'
language:
- iso: eng
publication: e-learning and education (eleed) Journal
status: public
title: 'Software Engineering and eLearning: The MuSofT Project'
type: journal_article
user_id: '52534'
volume: 2
year: '2005'
...
---
_id: '7546'
abstract:
- lang: eng
text: This chapter provides an introduction to the Unified Modeling Language (UML),
a widely adopted object-oriented modeling standard, and shows how the language
can be applied to (business) process modeling. As major perspectives of process
modeling with UML 2.0, the chapter covers control flow, data objects and object
flow, organizational structure, business partner interactions, and system-specific
process models. Various types of UML diagrams are presented with a special focus
on how these diagrams fit together and complement each other to form a coherent
view of a process. Moreover, a running example is used throughout the chapter
to illustrate the different facets of a process model.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Alexander
full_name: Förster, Alexander
last_name: Förster
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Sebastian
full_name: Thöne, Sebastian
last_name: Thöne
citation:
ama: 'Engels G, Förster A, Heckel R, Thöne S. Process Modeling using UML. In: Dumas
M, van der Aalst W, ter Hofstede A, eds. Process-Aware Information Systems.
New York, NY: Wiley; 2005:85-117.'
apa: 'Engels, G., Förster, A., Heckel, R., & Thöne, S. (2005). Process Modeling
using UML. In M. Dumas, W. van der Aalst, & A. ter Hofstede (Eds.), Process-Aware
Information Systems (pp. 85–117). New York, NY: Wiley.'
bibtex: '@inbook{Engels_Förster_Heckel_Thöne_2005, place={New York, NY}, title={Process
Modeling using UML}, booktitle={Process-Aware Information Systems}, publisher={Wiley},
author={Engels, Gregor and Förster, Alexander and Heckel, Reiko and Thöne, Sebastian},
editor={Dumas, M. and van der Aalst, W. and ter Hofstede, A.Editors}, year={2005},
pages={85–117} }'
chicago: 'Engels, Gregor, Alexander Förster, Reiko Heckel, and Sebastian Thöne.
“Process Modeling Using UML.” In Process-Aware Information Systems, edited
by M. Dumas, W. van der Aalst, and A. ter Hofstede, 85–117. New York, NY: Wiley,
2005.'
ieee: 'G. Engels, A. Förster, R. Heckel, and S. Thöne, “Process Modeling using UML,”
in Process-Aware Information Systems, M. Dumas, W. van der Aalst, and A.
ter Hofstede, Eds. New York, NY: Wiley, 2005, pp. 85–117.'
mla: Engels, Gregor, et al. “Process Modeling Using UML.” Process-Aware Information
Systems, edited by M. Dumas et al., Wiley, 2005, pp. 85–117.
short: 'G. Engels, A. Förster, R. Heckel, S. Thöne, in: M. Dumas, W. van der Aalst,
A. ter Hofstede (Eds.), Process-Aware Information Systems, Wiley, New York, NY,
2005, pp. 85–117.'
date_created: 2019-02-05T12:58:16Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: 'M. '
full_name: 'Dumas, M. '
last_name: Dumas
- first_name: 'W. '
full_name: 'van der Aalst, W. '
last_name: van der Aalst
- first_name: A.
full_name: ter Hofstede, A.
last_name: ter Hofstede
language:
- iso: eng
page: 85-117
place: New York, NY
publication: Process-Aware Information Systems
publisher: Wiley
status: public
title: Process Modeling using UML
type: book_chapter
user_id: '52534'
year: '2005'
...
---
_id: '7547'
abstract:
- lang: eng
text: Modularization is a well-known concept to structure software systems as well
as their specifications. Modules are equipped with export and import interfaces
and thus can be connected with other modules requesting or providing certain features.
In this paper, we study modules the interfaces of which consist of behavioral
specifications given by typed graph transformation systems. We introduce a framework
for classifying and systematically defining relations between typed graph transformation
systems. The framework comprises a number of standard ingredients, like homomorphisms
between type graphs and mappings between sets of graph transformation rules. The
framework is applied to develop a novel concept of substitution morphism by separating
preconditions and effects in the specification of rules. This substitution morphism
is suited to define the semantic relation between export and import interfaces
of requesting and providing modules.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Alexey
full_name: Cherchago, Alexey
last_name: Cherchago
citation:
ama: 'Engels G, Heckel R, Cherchago A. Flexible Interconnection of Graph Transformation
Modules - A Systematic Approach. In: Kreowski, U. Montanari, F. Orejas, G. Rozenberg,
G. Taentzer H-J, ed. Formal Methods in Software and System Modeling. Essays
Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday. Vol 3393.
LNCS. Berlin/Heidelberg: Springer; 2005:38-63.'
apa: 'Engels, G., Heckel, R., & Cherchago, A. (2005). Flexible Interconnection
of Graph Transformation Modules - A Systematic Approach. In H.-J. Kreowski, U.
Montanari, F. Orejas, G. Rozenberg, G. Taentzer (Ed.), Formal Methods in Software
and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His
60th Birthday (Vol. 3393, pp. 38–63). Berlin/Heidelberg: Springer.'
bibtex: '@inbook{Engels_Heckel_Cherchago_2005, place={Berlin/Heidelberg}, series={LNCS},
title={Flexible Interconnection of Graph Transformation Modules - A Systematic
Approach}, volume={3393}, booktitle={Formal Methods in Software and System Modeling.
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday}, publisher={Springer},
author={Engels, Gregor and Heckel, Reiko and Cherchago, Alexey}, editor={ Kreowski,
U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, H.-J.Editor}, year={2005},
pages={38–63}, collection={LNCS} }'
chicago: 'Engels, Gregor, Reiko Heckel, and Alexey Cherchago. “Flexible Interconnection
of Graph Transformation Modules - A Systematic Approach.” In Formal Methods
in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion
of His 60th Birthday, edited by H.-J. Kreowski, U. Montanari, F. Orejas,
G. Rozenberg, G. Taentzer, 3393:38–63. LNCS. Berlin/Heidelberg: Springer, 2005.'
ieee: 'G. Engels, R. Heckel, and A. Cherchago, “Flexible Interconnection of Graph
Transformation Modules - A Systematic Approach,” in Formal Methods in Software
and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His
60th Birthday, vol. 3393, H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg,
G. Taentzer, Ed. Berlin/Heidelberg: Springer, 2005, pp. 38–63.'
mla: Engels, Gregor, et al. “Flexible Interconnection of Graph Transformation Modules
- A Systematic Approach.” Formal Methods in Software and System Modeling. Essays
Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, edited by
H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, vol. 3393,
Springer, 2005, pp. 38–63.
short: 'G. Engels, R. Heckel, A. Cherchago, in: H.-J. Kreowski, U. Montanari, F.
Orejas, G. Rozenberg, G. Taentzer (Ed.), Formal Methods in Software and System
Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday,
Springer, Berlin/Heidelberg, 2005, pp. 38–63.'
date_created: 2019-02-05T13:00:17Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: H.-J.
full_name: ' Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer, H.-J.'
last_name: ' Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer'
intvolume: ' 3393'
language:
- iso: eng
page: 38-63
place: Berlin/Heidelberg
publication: Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut
Ehrig on the Occasion of His 60th Birthday
publisher: Springer
series_title: LNCS
status: public
title: Flexible Interconnection of Graph Transformation Modules - A Systematic Approach
type: book_chapter
user_id: '52534'
volume: 3393
year: '2005'
...
---
_id: '8396'
author:
- first_name: Alexey
full_name: Cherchago, Alexey
last_name: Cherchago
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Cherchago A, Engels G. Preservation of Compatibility under Evolution of Software
Components. In: International ERCIM-ESF Workshop on Challenges in Software
Evolution (ChaSE 2005), Berne (Switzerland). ; 2005.'
apa: Cherchago, A., & Engels, G. (2005). Preservation of Compatibility under
Evolution of Software Components. In International ERCIM-ESF Workshop on Challenges
in Software Evolution (ChaSE 2005), Berne (Switzerland).
bibtex: '@inproceedings{Cherchago_Engels_2005, title={Preservation of Compatibility
under Evolution of Software Components}, booktitle={International ERCIM-ESF Workshop
on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland)}, author={Cherchago,
Alexey and Engels, Gregor}, year={2005} }'
chicago: Cherchago, Alexey, and Gregor Engels. “Preservation of Compatibility under
Evolution of Software Components.” In International ERCIM-ESF Workshop on Challenges
in Software Evolution (ChaSE 2005), Berne (Switzerland), 2005.
ieee: A. Cherchago and G. Engels, “Preservation of Compatibility under Evolution
of Software Components,” in International ERCIM-ESF Workshop on Challenges
in Software Evolution (ChaSE 2005), Berne (Switzerland), 2005.
mla: Cherchago, Alexey, and Gregor Engels. “Preservation of Compatibility under
Evolution of Software Components.” International ERCIM-ESF Workshop on Challenges
in Software Evolution (ChaSE 2005), Berne (Switzerland), 2005.
short: 'A. Cherchago, G. Engels, in: International ERCIM-ESF Workshop on Challenges
in Software Evolution (ChaSE 2005), Berne (Switzerland), 2005.'
date_created: 2019-03-06T11:29:04Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
language:
- iso: eng
publication: International ERCIM-ESF Workshop on Challenges in Software Evolution
(ChaSE 2005), Berne (Switzerland)
status: public
title: Preservation of Compatibility under Evolution of Software Components
type: conference
user_id: '52534'
year: '2005'
...
---
_id: '8397'
abstract:
- lang: ger
text: Die Vision von Web Services ist, dass ein Service Requestor einen Ser-vice
Provider dynamisch finden und binden kann. Für das Finden eines Web Ser-vices
müssen die Anforderungen eines Requestors und die Beschreibung eines Services
miteinander verglichen werden. Syntaktische Beschreibungen reichen hierfür nicht
aus. Eine Möglichkeit zur semantischen Beschreibung von Web Ser-vices basiert
auf der Technik Design by Contract. In diesem Papier führen wir eine UML-basierte
Notation für Kontrakte sowie ein Matching-Konzept ein. Damit wird eine automatisierte,
semantische Suche nach Web Services möglich.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Engels G, Lohmann M, Sauer S. Design by Contract zur semantischen Beschreibung
von Web Services. In: Proceedings of Informatik 2005 - Informatik LIVE! Band
2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop
Service-Orientierte Architekturen - Zusammenwirken von Business & IT, Bonn
(Germany). Vol 68. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik
(GI); 2005:612-616.'
apa: 'Engels, G., Lohmann, M., & Sauer, S. (2005). Design by Contract zur semantischen
Beschreibung von Web Services. In Proceedings of Informatik 2005 - Informatik
LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V.
(GI), Workshop Service-orientierte Architekturen - Zusammenwirken von Business
& IT, Bonn (Germany) (Vol. 68, pp. 612–616). Bonn: Gesellschaft für Informatik
(GI).'
bibtex: '@inproceedings{Engels_Lohmann_Sauer_2005, place={Bonn}, series={Lecture
Notes in Informatics}, title={Design by Contract zur semantischen Beschreibung
von Web Services}, volume={68}, booktitle={Proceedings of Informatik 2005 - Informatik
LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V.
(GI), Workshop Service-orientierte Architekturen - Zusammenwirken von Business
& IT, Bonn (Germany)}, publisher={Gesellschaft für Informatik (GI)}, author={Engels,
Gregor and Lohmann, Marc and Sauer, Stefan}, year={2005}, pages={612–616}, collection={Lecture
Notes in Informatics} }'
chicago: 'Engels, Gregor, Marc Lohmann, and Stefan Sauer. “Design by Contract Zur
Semantischen Beschreibung von Web Services.” In Proceedings of Informatik 2005
- Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für
Informatik e.V. (GI), Workshop Service-Orientierte Architekturen - Zusammenwirken
von Business & IT, Bonn (Germany), 68:612–16. Lecture Notes in Informatics.
Bonn: Gesellschaft für Informatik (GI), 2005.'
ieee: G. Engels, M. Lohmann, and S. Sauer, “Design by Contract zur semantischen
Beschreibung von Web Services,” in Proceedings of Informatik 2005 - Informatik
LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V.
(GI), Workshop Service-orientierte Architekturen - Zusammenwirken von Business
& IT, Bonn (Germany), 2005, vol. 68, pp. 612–616.
mla: Engels, Gregor, et al. “Design by Contract Zur Semantischen Beschreibung von
Web Services.” Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge
Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Service-Orientierte
Architekturen - Zusammenwirken von Business & IT, Bonn (Germany), vol.
68, Gesellschaft für Informatik (GI), 2005, pp. 612–16.
short: 'G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik
LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V.
(GI), Workshop Service-Orientierte Architekturen - Zusammenwirken von Business
& IT, Bonn (Germany), Gesellschaft für Informatik (GI), Bonn, 2005, pp. 612–616.'
date_created: 2019-03-06T11:29:05Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
intvolume: ' 68'
language:
- iso: eng
page: 612-616
place: Bonn
publication: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der
35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Service-orientierte
Architekturen - Zusammenwirken von Business & IT, Bonn (Germany)
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Design by Contract zur semantischen Beschreibung von Web Services
type: conference
user_id: '52534'
volume: 68
year: '2005'
...
---
_id: '8398'
abstract:
- lang: eng
text: 'Die Qualität Service-orientierter Softwaresysteme hängt wesentlich von der
Einbindung der richtigen Dienste ab. Zwei grundsätzliche Aspekte kommen hierbei
zum Tragen: (1) Passen die Anforderungen eines Service Requestors und die Servicebeschreibung
eines Service Providers zusammen und (2) ist die Imple-mentierung der Web Services
korrekt gegenüber der Servicebeschreibung. Wir verwenden Design by Contract Techniken
auf der Modellebene zur semantischen Beschreibung von Web Services und führen
ein Matching-Konzept für den Ver-gleich von Requestor- und Provider-Kontrakten
ein. Damit wird eine automatisier-te, semantische Suche nach Web Services möglich.
Wir erläutern zudem eine mo-dellbasierte Vorgehensweise zur Entwicklung von Web
Services. Hierbei werden aus den Modellen der Anwendung (1) die auswertbaren semantischen
Beschrei-bungen und (2) Runtime-Assertions erzeugt, um die Korrektheit der Implementie-rung
eines Web Services gegenüber seiner Spezifikation zu überprüfen. So wird eine
konstruktive und prüfende Qualitätssicherung unterstützt.'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Engels G, Lohmann M, Sauer S. Modellbasierte Entwicklung von Web Services
mit Design by Contract. In: Proceedings of Informatik 2005 - Informatik LIVE!
Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI),
Workshop Modellbasierte Qualitätssicherung, Bonn, Germany. Vol 68. Lecture
Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2005:491-495.'
apa: 'Engels, G., Lohmann, M., & Sauer, S. (2005). Modellbasierte Entwicklung
von Web Services mit Design by Contract. In Proceedings of Informatik 2005
- Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für
Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany
(Vol. 68, pp. 491–495). Bonn: Gesellschaft für Informatik (GI).'
bibtex: '@inproceedings{Engels_Lohmann_Sauer_2005, place={Bonn}, series={Lecture
Notes in Informatics}, title={Modellbasierte Entwicklung von Web Services mit
Design by Contract}, volume={68}, booktitle={Proceedings of Informatik 2005 -
Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik
e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany}, publisher={Gesellschaft
für Informatik (GI)}, author={Engels, Gregor and Lohmann, Marc and Sauer, Stefan},
year={2005}, pages={491–495}, collection={Lecture Notes in Informatics} }'
chicago: 'Engels, Gregor, Marc Lohmann, and Stefan Sauer. “Modellbasierte Entwicklung
von Web Services Mit Design by Contract.” In Proceedings of Informatik 2005
- Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für
Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany,
68:491–95. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI),
2005.'
ieee: G. Engels, M. Lohmann, and S. Sauer, “Modellbasierte Entwicklung von Web Services
mit Design by Contract,” in Proceedings of Informatik 2005 - Informatik LIVE!
Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI),
Workshop Modellbasierte Qualitätssicherung, Bonn, Germany, 2005, vol. 68,
pp. 491–495.
mla: Engels, Gregor, et al. “Modellbasierte Entwicklung von Web Services Mit Design
by Contract.” Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge
Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte
Qualitätssicherung, Bonn, Germany, vol. 68, Gesellschaft für Informatik (GI),
2005, pp. 491–95.
short: 'G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik
LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V.
(GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany, Gesellschaft
für Informatik (GI), Bonn, 2005, pp. 491–495.'
date_created: 2019-03-06T11:29:06Z
date_updated: 2022-01-06T07:03:54Z
department:
- _id: '66'
intvolume: ' 68'
language:
- iso: eng
page: 491-495
place: Bonn
publication: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der
35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte
Qualitätssicherung, Bonn, Germany
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Modellbasierte Entwicklung von Web Services mit Design by Contract
type: conference
user_id: '52534'
volume: 68
year: '2005'
...
---
_id: '7782'
citation:
ama: 'Engels G, Seehusen S, eds. Proceedings of “DeLFI 2004: Die 2. e-Learning
Fachtagung Informatik”, Paderborn (Germany). Bonn: Gesellschaft für Informatik
(GI); 2004.'
apa: 'Engels, G., & Seehusen, S. (Eds.). (2004). Proceedings of “DeLFI 2004:
Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany). Bonn: Gesellschaft
für Informatik (GI).'
bibtex: '@book{Engels_Seehusen_2004, place={Bonn}, series={Lecture Notes in Informatics},
title={Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn
(Germany)}, number={P-52}, publisher={Gesellschaft für Informatik (GI)}, year={2004},
collection={Lecture Notes in Informatics} }'
chicago: 'Engels, Gregor, and S. Seehusen, eds. Proceedings of “DeLFI 2004: Die
2. e-Learning Fachtagung Informatik”, Paderborn (Germany). Lecture Notes in
Informatics. Bonn: Gesellschaft für Informatik (GI), 2004.'
ieee: 'G. Engels and S. Seehusen, Eds., Proceedings of “DeLFI 2004: Die 2. e-Learning
Fachtagung Informatik”, Paderborn (Germany), no. P-52. Bonn: Gesellschaft
für Informatik (GI), 2004.'
mla: 'Engels, Gregor, and S. Seehusen, editors. Proceedings of “DeLFI 2004: Die
2. e-Learning Fachtagung Informatik”, Paderborn (Germany). no. P-52, Gesellschaft
für Informatik (GI), 2004.'
short: 'G. Engels, S. Seehusen, eds., Proceedings of “DeLFI 2004: Die 2. e-Learning
Fachtagung Informatik”, Paderborn (Germany), Gesellschaft für Informatik (GI),
Bonn, 2004.'
date_created: 2019-02-19T18:42:54Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: S.
full_name: Seehusen, S.
last_name: Seehusen
issue: P-52
language:
- iso: eng
place: Bonn
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: 'Proceedings of "DeLFI 2004: Die 2. e-Learning Fachtagung Informatik", Paderborn
(Germany)'
type: conference_editor
user_id: '52534'
year: '2004'
...
---
_id: '7783'
citation:
ama: Engels G, Sauer S, eds. Modeling and Development of Multimedia Systems.
Vol 14. World Scientific; 2004. doi:http://dx.doi.org/10.1142/S021819400400183X
apa: Engels, G., & Sauer, S. (Eds.). (2004). Modeling and Development of
Multimedia Systems (Vol. 14). World Scientific. http://dx.doi.org/10.1142/S021819400400183X
bibtex: '@book{Engels_Sauer_2004, series={Special Issue of the International Journal
of Software Engineering and Knowledge Engineering}, title={Modeling and Development
of Multimedia Systems}, volume={14}, DOI={http://dx.doi.org/10.1142/S021819400400183X},
number={6}, publisher={World Scientific}, year={2004}, collection={Special Issue
of the International Journal of Software Engineering and Knowledge Engineering}
}'
chicago: Engels, Gregor, and Stefan Sauer, eds. Modeling and Development of Multimedia
Systems. Vol. 14. Special Issue of the International Journal of Software Engineering
and Knowledge Engineering. World Scientific, 2004. http://dx.doi.org/10.1142/S021819400400183X.
ieee: G. Engels and S. Sauer, Eds., Modeling and Development of Multimedia Systems,
vol. 14, no. 6. World Scientific, 2004.
mla: Engels, Gregor, and Stefan Sauer, editors. Modeling and Development of Multimedia
Systems. Vol. 14, no. 6, World Scientific, 2004, doi:http://dx.doi.org/10.1142/S021819400400183X.
short: G. Engels, S. Sauer, eds., Modeling and Development of Multimedia Systems,
World Scientific, 2004.
date_created: 2019-02-19T18:43:42Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1142/S021819400400183X
editor:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
intvolume: ' 14'
issue: '6'
language:
- iso: eng
publisher: World Scientific
series_title: Special Issue of the International Journal of Software Engineering and
Knowledge Engineering
status: public
title: Modeling and Development of Multimedia Systems
type: conference_editor
user_id: '52534'
volume: 14
year: '2004'
...
---
_id: '7784'
citation:
ama: 'Ehrig H, Engels G, Parisi-Presicce F, Rozenberg G, eds. Proceedings of
the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy).
Vol 3256. Berlin/Heidelberg: Springer; 2004. doi:http://dx.doi.org/10.1007/b100934'
apa: 'Ehrig, H., Engels, G., Parisi-Presicce, F., & Rozenberg, G. (Eds.). (2004).
Proceedings of the 2nd International Conference on Graph Transformations (ICGT
2004), Rome (Italy) (Vol. 3256). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/b100934'
bibtex: '@book{Ehrig_Engels_Parisi-Presicce_Rozenberg_2004, place={Berlin/Heidelberg},
series={LNCS}, title={Proceedings of the 2nd International Conference on Graph
Transformations (ICGT 2004), Rome (Italy)}, volume={3256}, DOI={http://dx.doi.org/10.1007/b100934},
publisher={Springer}, year={2004}, collection={LNCS} }'
chicago: 'Ehrig, Hartmut, Gregor Engels, F. Parisi-Presicce, and Grzegorz Rozenberg,
eds. Proceedings of the 2nd International Conference on Graph Transformations
(ICGT 2004), Rome (Italy). Vol. 3256. LNCS. Berlin/Heidelberg: Springer, 2004.
http://dx.doi.org/10.1007/b100934.'
ieee: 'H. Ehrig, G. Engels, F. Parisi-Presicce, and G. Rozenberg, Eds., Proceedings
of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome
(Italy), vol. 3256. Berlin/Heidelberg: Springer, 2004.'
mla: Ehrig, Hartmut, et al., editors. Proceedings of the 2nd International Conference
on Graph Transformations (ICGT 2004), Rome (Italy). Vol. 3256, Springer, 2004,
doi:http://dx.doi.org/10.1007/b100934.
short: H. Ehrig, G. Engels, F. Parisi-Presicce, G. Rozenberg, eds., Proceedings
of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome
(Italy), Springer, Berlin/Heidelberg, 2004.
date_created: 2019-02-19T18:44:31Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/b100934
editor:
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: F.
full_name: Parisi-Presicce, F.
last_name: Parisi-Presicce
- first_name: Grzegorz
full_name: Rozenberg, Grzegorz
last_name: Rozenberg
intvolume: ' 3256'
language:
- iso: eng
place: Berlin/Heidelberg
publisher: Springer
series_title: LNCS
status: public
title: Proceedings of the 2nd International Conference on Graph Transformations (ICGT
2004), Rome (Italy)
type: conference_editor
user_id: '52534'
volume: 3256
year: '2004'
...
---
_id: '7926'
author:
- 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: 'Engels G, Sauer S. Guest Editors’ Introduction. In: International Journal
of Software Engineering and Knowledge Engineering (IJSEKE). Vol 14. World
Scientific Publishing; 2004:543-544. doi:http://dx.doi.org/10.1142/S021819400400183X'
apa: Engels, G., & Sauer, S. (2004). Guest Editors’ Introduction. In International
Journal of Software Engineering and Knowledge Engineering (IJSEKE) (Vol. 14,
pp. 543–544). World Scientific Publishing. http://dx.doi.org/10.1142/S021819400400183X
bibtex: '@inproceedings{Engels_Sauer_2004, title={Guest Editors’ Introduction},
volume={14}, DOI={http://dx.doi.org/10.1142/S021819400400183X},
number={6}, booktitle={International Journal of Software Engineering and Knowledge
Engineering (IJSEKE)}, publisher={World Scientific Publishing}, author={Engels,
Gregor and Sauer, Stefan}, year={2004}, pages={543–544} }'
chicago: Engels, Gregor, and Stefan Sauer. “Guest Editors’ Introduction.” In International
Journal of Software Engineering and Knowledge Engineering (IJSEKE), 14:543–44.
World Scientific Publishing, 2004. http://dx.doi.org/10.1142/S021819400400183X.
ieee: G. Engels and S. Sauer, “Guest Editors’ Introduction,” in International
Journal of Software Engineering and Knowledge Engineering (IJSEKE), 2004,
vol. 14, no. 6, pp. 543–544.
mla: Engels, Gregor, and Stefan Sauer. “Guest Editors’ Introduction.” International
Journal of Software Engineering and Knowledge Engineering (IJSEKE), vol. 14,
no. 6, World Scientific Publishing, 2004, pp. 543–44, doi:http://dx.doi.org/10.1142/S021819400400183X.
short: 'G. Engels, S. Sauer, in: International Journal of Software Engineering and
Knowledge Engineering (IJSEKE), World Scientific Publishing, 2004, pp. 543–544.'
date_created: 2019-02-21T11:28:11Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1142/S021819400400183X
intvolume: ' 14'
issue: '6'
language:
- iso: eng
page: 543-544
publication: International Journal of Software Engineering and Knowledge Engineering
(IJSEKE)
publisher: World Scientific Publishing
status: public
title: Guest Editors' Introduction
type: conference
user_id: '52534'
volume: 14
year: '2004'
...
---
_id: '7908'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Bettina
full_name: Neu, Bettina
last_name: Neu
citation:
ama: 'Engels G, Sauer S, Neu B. Integrating software engineering and user-centred
design for multimedia software developments. In: Proceedings of the Conference
on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New
Zealand). Washington, DC, USA: IEEE Computer Society; 2003:254-256. doi:http://dx.doi.org/10.1109/HCC.2003.1260240'
apa: 'Engels, G., Sauer, S., & Neu, B. (2003). Integrating software engineering
and user-centred design for multimedia software developments. In Proceedings
of the conference on Human-Centric Computing Languages and Environments (HCC 2003),
Auckland (New Zealand) (pp. 254–256). Washington, DC, USA: IEEE Computer Society.
http://dx.doi.org/10.1109/HCC.2003.1260240'
bibtex: '@inproceedings{Engels_Sauer_Neu_2003, place={Washington, DC, USA}, title={Integrating
software engineering and user-centred design for multimedia software developments},
DOI={http://dx.doi.org/10.1109/HCC.2003.1260240},
booktitle={Proceedings of the conference on Human-Centric Computing Languages
and Environments (HCC 2003), Auckland (New Zealand)}, publisher={IEEE Computer
Society}, author={Engels, Gregor and Sauer, Stefan and Neu, Bettina}, year={2003},
pages={254–256} }'
chicago: 'Engels, Gregor, Stefan Sauer, and Bettina Neu. “Integrating Software Engineering
and User-Centred Design for Multimedia Software Developments.” In Proceedings
of the Conference on Human-Centric Computing Languages and Environments (HCC 2003),
Auckland (New Zealand), 254–56. Washington, DC, USA: IEEE Computer Society,
2003. http://dx.doi.org/10.1109/HCC.2003.1260240.'
ieee: G. Engels, S. Sauer, and B. Neu, “Integrating software engineering and user-centred
design for multimedia software developments,” in Proceedings of the conference
on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New
Zealand), 2003, pp. 254–256.
mla: Engels, Gregor, et al. “Integrating Software Engineering and User-Centred Design
for Multimedia Software Developments.” Proceedings of the Conference on Human-Centric
Computing Languages and Environments (HCC 2003), Auckland (New Zealand), IEEE
Computer Society, 2003, pp. 254–56, doi:http://dx.doi.org/10.1109/HCC.2003.1260240.
short: 'G. Engels, S. Sauer, B. Neu, in: Proceedings of the Conference on Human-Centric
Computing Languages and Environments (HCC 2003), Auckland (New Zealand), IEEE
Computer Society, Washington, DC, USA, 2003, pp. 254–256.'
date_created: 2019-02-21T11:03:20Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/HCC.2003.1260240
language:
- iso: eng
page: 254-256
place: Washington, DC, USA
publication: Proceedings of the conference on Human-Centric Computing Languages and
Environments (HCC 2003), Auckland (New Zealand)
publisher: IEEE Computer Society
status: public
title: Integrating software engineering and user-centred design for multimedia software
developments
type: conference
user_id: '52534'
year: '2003'
...
---
_id: '7909'
author:
- first_name: Klaus
full_name: Alfert, Klaus
last_name: Alfert
- first_name: Ernst-Erich
full_name: Doberkat, Ernst-Erich
last_name: Doberkat
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Johannes
full_name: Magenheim, Johannes
last_name: Magenheim
- first_name: Andy
full_name: Schürr, Andy
last_name: Schürr
citation:
ama: 'Alfert K, Doberkat E-E, Engels G, Lohmann M, Magenheim J, Schürr A. MuSofT:
Multimedia in der Softwaretechnik. In: Proceedings of the Conference on Software
Engineering Im Unterricht Der Hochschulen (SEUH 2003), Berlin (Germany). Heidelberg:
dpunkt Verlag; 2003:70-80.'
apa: 'Alfert, K., Doberkat, E.-E., Engels, G., Lohmann, M., Magenheim, J., &
Schürr, A. (2003). MuSofT: Multimedia in der Softwaretechnik. In Proceedings
of the conference on Software Engineering im Unterricht der Hochschulen (SEUH
2003), Berlin (Germany) (pp. 70–80). Heidelberg: dpunkt Verlag.'
bibtex: '@inproceedings{Alfert_Doberkat_Engels_Lohmann_Magenheim_Schürr_2003, place={Heidelberg},
title={MuSofT: Multimedia in der Softwaretechnik}, booktitle={Proceedings of the
conference on Software Engineering im Unterricht der Hochschulen (SEUH 2003),
Berlin (Germany)}, publisher={dpunkt Verlag}, author={Alfert, Klaus and Doberkat,
Ernst-Erich and Engels, Gregor and Lohmann, Marc and Magenheim, Johannes and Schürr,
Andy}, year={2003}, pages={70–80} }'
chicago: 'Alfert, Klaus, Ernst-Erich Doberkat, Gregor Engels, Marc Lohmann, Johannes
Magenheim, and Andy Schürr. “MuSofT: Multimedia in Der Softwaretechnik.” In Proceedings
of the Conference on Software Engineering Im Unterricht Der Hochschulen (SEUH
2003), Berlin (Germany), 70–80. Heidelberg: dpunkt Verlag, 2003.'
ieee: 'K. Alfert, E.-E. Doberkat, G. Engels, M. Lohmann, J. Magenheim, and A. Schürr,
“MuSofT: Multimedia in der Softwaretechnik,” in Proceedings of the conference
on Software Engineering im Unterricht der Hochschulen (SEUH 2003), Berlin (Germany),
2003, pp. 70–80.'
mla: 'Alfert, Klaus, et al. “MuSofT: Multimedia in Der Softwaretechnik.” Proceedings
of the Conference on Software Engineering Im Unterricht Der Hochschulen (SEUH
2003), Berlin (Germany), dpunkt Verlag, 2003, pp. 70–80.'
short: 'K. Alfert, E.-E. Doberkat, G. Engels, M. Lohmann, J. Magenheim, A. Schürr,
in: Proceedings of the Conference on Software Engineering Im Unterricht Der Hochschulen
(SEUH 2003), Berlin (Germany), dpunkt Verlag, Heidelberg, 2003, pp. 70–80.'
date_created: 2019-02-21T11:17:38Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
page: 70-80
place: Heidelberg
publication: Proceedings of the conference on Software Engineering im Unterricht der
Hochschulen (SEUH 2003), Berlin (Germany)
publisher: dpunkt Verlag
status: public
title: 'MuSofT: Multimedia in der Softwaretechnik'
type: conference
user_id: '52534'
year: '2003'
...
---
_id: '7910'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
citation:
ama: 'Engels G, Heckel R, Küster J. The Consistency Workbench: A Tool for Consistency
Management in UML-based Development. In: Proceedings of the 6th International
Conference on The Unified Modeling Language: Modeling Languages and Applications
(UML 2003), San Francisco, CA (USA). Vol 2863. LNCS. Berlin/Heidelberg: Springer;
2003:356-359.'
apa: 'Engels, G., Heckel, R., & Küster, J. (2003). The Consistency Workbench:
A Tool for Consistency Management in UML-based Development. In Proceedings
of the 6th International Conference on The Unified Modeling Language: Modeling
Languages and Applications (UML 2003), San Francisco, CA (USA) (Vol. 2863,
pp. 356–359). Berlin/Heidelberg: Springer.'
bibtex: '@inproceedings{Engels_Heckel_Küster_2003, place={Berlin/Heidelberg}, series={LNCS},
title={The Consistency Workbench: A Tool for Consistency Management in UML-based
Development}, volume={2863}, booktitle={Proceedings of the 6th International Conference
on The Unified Modeling Language: Modeling Languages and Applications (UML 2003),
San Francisco, CA (USA)}, publisher={Springer}, author={Engels, Gregor and Heckel,
Reiko and Küster, Jochen}, year={2003}, pages={356–359}, collection={LNCS} }'
chicago: 'Engels, Gregor, Reiko Heckel, and Jochen Küster. “The Consistency Workbench:
A Tool for Consistency Management in UML-Based Development.” In Proceedings
of the 6th International Conference on The Unified Modeling Language: Modeling
Languages and Applications (UML 2003), San Francisco, CA (USA), 2863:356–59.
LNCS. Berlin/Heidelberg: Springer, 2003.'
ieee: 'G. Engels, R. Heckel, and J. Küster, “The Consistency Workbench: A Tool for
Consistency Management in UML-based Development,” in Proceedings of the 6th
International Conference on The Unified Modeling Language: Modeling Languages
and Applications (UML 2003), San Francisco, CA (USA), 2003, vol. 2863, pp.
356–359.'
mla: 'Engels, Gregor, et al. “The Consistency Workbench: A Tool for Consistency
Management in UML-Based Development.” Proceedings of the 6th International
Conference on The Unified Modeling Language: Modeling Languages and Applications
(UML 2003), San Francisco, CA (USA), vol. 2863, Springer, 2003, pp. 356–59.'
short: 'G. Engels, R. Heckel, J. Küster, in: Proceedings of the 6th International
Conference on The Unified Modeling Language: Modeling Languages and Applications
(UML 2003), San Francisco, CA (USA), Springer, Berlin/Heidelberg, 2003, pp. 356–359.'
date_created: 2019-02-21T11:19:12Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: ' 2863'
language:
- iso: eng
page: 356-359
place: Berlin/Heidelberg
publication: 'Proceedings of the 6th International Conference on The Unified Modeling
Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA)'
publisher: Springer
series_title: LNCS
status: public
title: 'The Consistency Workbench: A Tool for Consistency Management in UML-based
Development'
type: conference
user_id: '52534'
volume: 2863
year: '2003'
...
---
_id: '7911'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
citation:
ama: 'Engels G, Küster J, Heckel R, Lohmann M. Model Based Verification and Validation
of Properties. In: Proceedings of the Conference on Uniform Approaches to Graphical
Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003),
Warsaw (Poland). Vol 82. Electronic Notes in Theoretical Computer Science.
Elsevier; 2003:1-18. doi:dx.doi.org/10.1016/S1571-0661(04)80752-7'
apa: Engels, G., Küster, J., Heckel, R., & Lohmann, M. (2003). Model Based Verification
and Validation of Properties. In Proceedings of the conference on Uniform Approaches
to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of
the ETAPS 2003), Warsaw (Poland) (Vol. 82, pp. 1–18). Elsevier. https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7
bibtex: '@inproceedings{Engels_Küster_Heckel_Lohmann_2003, series={Electronic Notes
in Theoretical Computer Science}, title={Model Based Verification and Validation
of Properties}, volume={82}, DOI={dx.doi.org/10.1016/S1571-0661(04)80752-7},
number={7}, booktitle={Proceedings of the conference on Uniform Approaches to
Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the
ETAPS 2003), Warsaw (Poland)}, publisher={Elsevier}, author={Engels, Gregor and
Küster, Jochen and Heckel, Reiko and Lohmann, Marc}, year={2003}, pages={1–18},
collection={Electronic Notes in Theoretical Computer Science} }'
chicago: Engels, Gregor, Jochen Küster, Reiko Heckel, and Marc Lohmann. “Model Based
Verification and Validation of Properties.” In Proceedings of the Conference
on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003,
Satellite Event of the ETAPS 2003), Warsaw (Poland), 82:1–18. Electronic Notes
in Theoretical Computer Science. Elsevier, 2003. https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7.
ieee: G. Engels, J. Küster, R. Heckel, and M. Lohmann, “Model Based Verification
and Validation of Properties,” in Proceedings of the conference on Uniform
Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite
Event of the ETAPS 2003), Warsaw (Poland), 2003, vol. 82, no. 7, pp. 1–18.
mla: Engels, Gregor, et al. “Model Based Verification and Validation of Properties.”
Proceedings of the Conference on Uniform Approaches to Graphical Process Specification
Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland),
vol. 82, no. 7, Elsevier, 2003, pp. 1–18, doi:dx.doi.org/10.1016/S1571-0661(04)80752-7.
short: 'G. Engels, J. Küster, R. Heckel, M. Lohmann, in: Proceedings of the Conference
on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003,
Satellite Event of the ETAPS 2003), Warsaw (Poland), Elsevier, 2003, pp. 1–18.'
date_created: 2019-02-21T11:19:37Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: dx.doi.org/10.1016/S1571-0661(04)80752-7
intvolume: ' 82'
issue: '7'
language:
- iso: eng
page: 1-18
publication: Proceedings of the conference on Uniform Approaches to Graphical Process
Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw
(Poland)
publisher: Elsevier
series_title: Electronic Notes in Theoretical Computer Science
status: public
title: Model Based Verification and Validation of Properties
type: conference
user_id: '52534'
volume: 82
year: '2003'
...
---
_id: '7916'
author:
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Küster J, Heckel R, Engels G. Defining and Validating Transformations of UML
Models. In: Proceedings of the Conference on Human Centric Computing Languages
and Environments (HCC 2003), Auckland (New Zealand). Washington, DC, USA:
IEEE Computer Society; 2003:145-152. doi:https://groups.uni-paderborn.de/fg-engels/Publications/dx.doi.org/10.1109/HCC.2003.1260218'
apa: 'Küster, J., Heckel, R., & Engels, G. (2003). Defining and Validating Transformations
of UML Models. In Proceedings of the conference on Human Centric Computing
Languages and Environments (HCC 2003), Auckland (New Zealand) (pp. 145–152).
Washington, DC, USA: IEEE Computer Society. https://groups.uni-paderborn.de/fg-engels/Publications/dx.doi.org/10.1109/HCC.2003.1260218'
bibtex: '@inproceedings{Küster_Heckel_Engels_2003, place={Washington, DC, USA},
title={Defining and Validating Transformations of UML Models}, DOI={https://groups.uni-paderborn.de/fg-engels/Publications/dx.doi.org/10.1109/HCC.2003.1260218},
booktitle={Proceedings of the conference on Human Centric Computing Languages
and Environments (HCC 2003), Auckland (New Zealand)}, publisher={IEEE Computer
Society}, author={Küster, Jochen and Heckel, Reiko and Engels, Gregor}, year={2003},
pages={145–152} }'
chicago: 'Küster, Jochen, Reiko Heckel, and Gregor Engels. “Defining and Validating
Transformations of UML Models.” In Proceedings of the Conference on Human Centric
Computing Languages and Environments (HCC 2003), Auckland (New Zealand), 145–52.
Washington, DC, USA: IEEE Computer Society, 2003. https://groups.uni-paderborn.de/fg-engels/Publications/dx.doi.org/10.1109/HCC.2003.1260218.'
ieee: J. Küster, R. Heckel, and G. Engels, “Defining and Validating Transformations
of UML Models,” in Proceedings of the conference on Human Centric Computing
Languages and Environments (HCC 2003), Auckland (New Zealand), 2003, pp. 145–152.
mla: Küster, Jochen, et al. “Defining and Validating Transformations of UML Models.”
Proceedings of the Conference on Human Centric Computing Languages and Environments
(HCC 2003), Auckland (New Zealand), IEEE Computer Society, 2003, pp. 145–52,
doi:https://groups.uni-paderborn.de/fg-engels/Publications/dx.doi.org/10.1109/HCC.2003.1260218.
short: 'J. Küster, R. Heckel, G. Engels, in: Proceedings of the Conference on Human
Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand),
IEEE Computer Society, Washington, DC, USA, 2003, pp. 145–152.'
date_created: 2019-02-21T11:22:44Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: https://groups.uni-paderborn.de/fg-engels/Publications/dx.doi.org/10.1109/HCC.2003.1260218
language:
- iso: eng
page: 145-152
place: Washington, DC, USA
publication: Proceedings of the conference on Human Centric Computing Languages and
Environments (HCC 2003), Auckland (New Zealand)
publisher: IEEE Computer Society
status: public
title: Defining and Validating Transformations of UML Models
type: conference
user_id: '52534'
year: '2003'
...
---
_id: '7384'
abstract:
- lang: ger
text: Der Einfluss neuer Technologien auf die Art wie wir Lehren und Lernen wird
seit einigen Jahren unter dem Begriff eLearning diskutiert. Auch an den Hochschulen
gibt es Bemhungen, eLearning-Konzepte zu etablieren. Dabei versprechen so genannte
eLearning-Plattformen ein integriertes und reibungsloses Zusammenarbeiten aller
Beteiligten am eLearning zu ermglichen. Der Einsatz einer so zentralen Software
in einem System wie der Hochschule ist ein komplexes Problem, fr dessen Bewltigung
die Softwaretechnik, ein Fachgebiet der Informatik, Methoden und Sprachen bereitstellt.
Zentrale Idee dabei ist es, von existierenden Strukturen und den Bedrfnissen der
Anwender auszugehen. In diesem Beitrag wird beschrieben, wie die Analyse von Hochschulstrukturen
und Prozessen der Planung des Einsatzes von eLearning-Plattformen dient.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Jan
full_name: Hendrik Hausmann, Jan
last_name: Hendrik Hausmann
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
citation:
ama: 'Engels G, Hendrik Hausmann J, Lohmann M. eLearning-Plattformen für die Hochschule:
Bedarfsgerechte Bestimmung der Anforderungen. ForschungsForum Paderborn.
2003;6:44-47.'
apa: 'Engels, G., Hendrik Hausmann, J., & Lohmann, M. (2003). eLearning-Plattformen
für die Hochschule: Bedarfsgerechte Bestimmung der Anforderungen. ForschungsForum
Paderborn, 6, 44–47.'
bibtex: '@article{Engels_Hendrik Hausmann_Lohmann_2003, title={eLearning-Plattformen
für die Hochschule: Bedarfsgerechte Bestimmung der Anforderungen}, volume={6},
journal={ForschungsForum Paderborn}, author={Engels, Gregor and Hendrik Hausmann,
Jan and Lohmann, Marc}, year={2003}, pages={44–47} }'
chicago: 'Engels, Gregor, Jan Hendrik Hausmann, and Marc Lohmann. “ELearning-Plattformen
Für Die Hochschule: Bedarfsgerechte Bestimmung Der Anforderungen.” ForschungsForum
Paderborn 6 (2003): 44–47.'
ieee: 'G. Engels, J. Hendrik Hausmann, and M. Lohmann, “eLearning-Plattformen für
die Hochschule: Bedarfsgerechte Bestimmung der Anforderungen,” ForschungsForum
Paderborn, vol. 6, pp. 44–47, 2003.'
mla: 'Engels, Gregor, et al. “ELearning-Plattformen Für Die Hochschule: Bedarfsgerechte
Bestimmung Der Anforderungen.” ForschungsForum Paderborn, vol. 6, 2003,
pp. 44–47.'
short: G. Engels, J. Hendrik Hausmann, M. Lohmann, ForschungsForum Paderborn 6 (2003)
44–47.
date_created: 2019-01-31T15:35:31Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: ' 6'
language:
- iso: eng
page: 44-47
publication: ForschungsForum Paderborn
status: public
title: 'eLearning-Plattformen für die Hochschule: Bedarfsgerechte Bestimmung der Anforderungen'
type: journal_article
user_id: '52534'
volume: 6
year: '2003'
...
---
_id: '7532'
abstract:
- lang: ger
text: Ist es möglich klassische Softwareentwicklungsprozesse für die Entwicklung
von Web-Anwendungen zu nutzen? Dazu formulieren wir sechs grundlegende Anforderungen
an den Prozess der Entwicklung von Web-Anwendungen. Diese Anforderungen werden
zur Evaluation des Rational Unified Process (RUP) und von Extreme Programming
(XP) verwendet. Dabei konzentrieren wir uns auf den eigentlichen Prozess, d.h.
die Organisation des Ablaufs der Entwicklung, und lassen die zugrunde liegenden
Methoden so weit wie möglich ausgeklammert. Es zeigt sich, dass keiner der Prozesse
in der Lage ist, alle Anforderungen zu erfüllen. Die Stärken des RUP liegen in
seiner Anpassbarkeit an den Grad der Komplexität der zu entwickelnden Anwendung.
Die Stärken von XP dagegen liegen im Umgang mit kurzen Entwicklungszeiten und
sich erst entwickelnden bzw. sich ändernden Anforderungen.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Marc
full_name: Lohmann, Marc
last_name: Lohmann
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: 'Engels G, Lohmann M, Wagner A. Entwicklungsprozess von Web-Anwendungen. In:
Kappel G, Proell B, Reich S, Retschnitzegger W, eds. Web Engineering: Systematische
Entwicklung von Web-Anwendungen. Heidelberg: dpunkt-Verlag; 2003:239-264.'
apa: 'Engels, G., Lohmann, M., & Wagner, A. (2003). Entwicklungsprozess von
Web-Anwendungen. In G. Kappel, B. Proell, S. Reich, & W. Retschnitzegger (Eds.),
Web Engineering: Systematische Entwicklung von Web-Anwendungen (pp. 239–264).
Heidelberg: dpunkt-Verlag.'
bibtex: '@inbook{Engels_Lohmann_Wagner_2003, place={Heidelberg}, title={Entwicklungsprozess
von Web-Anwendungen}, booktitle={Web Engineering: Systematische Entwicklung von
Web-Anwendungen}, publisher={dpunkt-Verlag}, author={Engels, Gregor and Lohmann,
Marc and Wagner, Annika}, editor={Kappel, G. and Proell, B. and Reich, S. and
Retschnitzegger, W.Editors}, year={2003}, pages={239–264} }'
chicago: 'Engels, Gregor, Marc Lohmann, and Annika Wagner. “Entwicklungsprozess
von Web-Anwendungen.” In Web Engineering: Systematische Entwicklung von Web-Anwendungen,
edited by G. Kappel, B. Proell, S. Reich, and W. Retschnitzegger, 239–64. Heidelberg:
dpunkt-Verlag, 2003.'
ieee: 'G. Engels, M. Lohmann, and A. Wagner, “Entwicklungsprozess von Web-Anwendungen,”
in Web Engineering: Systematische Entwicklung von Web-Anwendungen, G. Kappel,
B. Proell, S. Reich, and W. Retschnitzegger, Eds. Heidelberg: dpunkt-Verlag, 2003,
pp. 239–264.'
mla: 'Engels, Gregor, et al. “Entwicklungsprozess von Web-Anwendungen.” Web Engineering:
Systematische Entwicklung von Web-Anwendungen, edited by G. Kappel et al.,
dpunkt-Verlag, 2003, pp. 239–64.'
short: 'G. Engels, M. Lohmann, A. Wagner, in: G. Kappel, B. Proell, S. Reich, W.
Retschnitzegger (Eds.), Web Engineering: Systematische Entwicklung von Web-Anwendungen,
dpunkt-Verlag, Heidelberg, 2003, pp. 239–264.'
date_created: 2019-02-05T12:07:44Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: 'G. '
full_name: 'Kappel, G. '
last_name: Kappel
- first_name: 'B. '
full_name: 'Proell, B. '
last_name: Proell
- first_name: 'S. '
full_name: 'Reich, S. '
last_name: Reich
- first_name: W.
full_name: Retschnitzegger, W.
last_name: Retschnitzegger
language:
- iso: eng
page: 239-264
place: Heidelberg
publication: 'Web Engineering: Systematische Entwicklung von Web-Anwendungen'
publisher: dpunkt-Verlag
status: public
title: Entwicklungsprozess von Web-Anwendungen
type: book_chapter
user_id: '52534'
year: '2003'
...