---
_id: '5189'
author:
- first_name: Steven
full_name: Arzt, Steven
last_name: Arzt
- first_name: Siegfried
full_name: Rasthofer, Siegfried
last_name: Rasthofer
- first_name: Christian
full_name: Fritz, Christian
last_name: Fritz
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Alexandre
full_name: Bartel, Alexandre
last_name: Bartel
- first_name: Jacques
full_name: Klein, Jacques
last_name: Klein
- first_name: Yves
full_name: Le Traon, Yves
last_name: Le Traon
- first_name: Damien
full_name: Octeau, Damien
last_name: Octeau
- first_name: Patrick
full_name: McDaniel, Patrick
last_name: McDaniel
citation:
ama: 'Arzt S, Rasthofer S, Fritz C, et al. FlowDroid: Precise Context, Flow, Field,
Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps. In: Proceedings
of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
- PLDI ’14. ACM Press; 2014. doi:10.1145/2594291.2594299'
apa: 'Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., … McDaniel,
P. (2014). FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware
Taint Analysis for Android Apps. In Proceedings of the 35th ACM SIGPLAN Conference
on Programming Language Design and Implementation - PLDI ’14. ACM Press. https://doi.org/10.1145/2594291.2594299'
bibtex: '@inproceedings{Arzt_Rasthofer_Fritz_Bodden_Bartel_Klein_Le Traon_Octeau_McDaniel_2014,
title={FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware
Taint Analysis for Android Apps}, DOI={10.1145/2594291.2594299},
booktitle={Proceedings of the 35th ACM SIGPLAN Conference on Programming Language
Design and Implementation - PLDI ’14}, publisher={ACM Press}, author={Arzt, Steven
and Rasthofer, Siegfried and Fritz, Christian and Bodden, Eric and Bartel, Alexandre
and Klein, Jacques and Le Traon, Yves and Octeau, Damien and McDaniel, Patrick},
year={2014} }'
chicago: 'Arzt, Steven, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre
Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, and Patrick McDaniel. “FlowDroid:
Precise Context, Flow, Field, Object-Sensitive and Lifecycle-Aware Taint Analysis
for Android Apps.” In Proceedings of the 35th ACM SIGPLAN Conference on Programming
Language Design and Implementation - PLDI ’14. ACM Press, 2014. https://doi.org/10.1145/2594291.2594299.'
ieee: 'S. Arzt et al., “FlowDroid: Precise Context, Flow, Field, Object-sensitive
and Lifecycle-aware Taint Analysis for Android Apps,” in Proceedings of the
35th ACM SIGPLAN Conference on Programming Language Design and Implementation
- PLDI ’14, 2014.'
mla: 'Arzt, Steven, et al. “FlowDroid: Precise Context, Flow, Field, Object-Sensitive
and Lifecycle-Aware Taint Analysis for Android Apps.” Proceedings of the 35th
ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI
’14, ACM Press, 2014, doi:10.1145/2594291.2594299.'
short: 'S. Arzt, S. Rasthofer, C. Fritz, E. Bodden, A. Bartel, J. Klein, Y. Le Traon,
D. Octeau, P. McDaniel, in: Proceedings of the 35th ACM SIGPLAN Conference on
Programming Language Design and Implementation - PLDI ’14, ACM Press, 2014.'
date_created: 2018-10-31T10:55:28Z
date_updated: 2022-01-06T07:01:42Z
ddc:
- '000'
department:
- _id: '76'
doi: 10.1145/2594291.2594299
extern: '1'
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T13:59:33Z
date_updated: 2018-11-02T13:59:33Z
file_id: '5258'
file_name: p259-arzt.pdf
file_size: 406920
relation: main_file
success: 1
file_date_updated: 2018-11-02T13:59:33Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/far+14flowdroid.pdf
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language
Design and Implementation - PLDI '14
publication_identifier:
isbn:
- '9781450327848'
publication_status: published
publisher: ACM Press
status: public
title: 'FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware
Taint Analysis for Android Apps'
type: conference
user_id: '477'
year: '2014'
...
---
_id: '5190'
author:
- first_name: Steven
full_name: Arzt, Steven
last_name: Arzt
- first_name: Siegfried
full_name: Rasthofer, Siegfried
last_name: Rasthofer
- first_name: Enrico
full_name: Lovat, Enrico
last_name: Lovat
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: 'Arzt S, Rasthofer S, Lovat E, Bodden E. DroidForce: Enforcing Complex, Data-Centric,
System-Wide Policies in Android. In: International Conference on Availability,
Reliability and Security (ARES 2014). IEEE; 2014:40-49.'
apa: 'Arzt, S., Rasthofer, S., Lovat, E., & Bodden, E. (2014). DroidForce: Enforcing
Complex, Data-Centric, System-Wide Policies in Android. In International Conference
on Availability, Reliability and Security (ARES 2014) (pp. 40–49). IEEE.'
bibtex: '@inproceedings{Arzt_Rasthofer_Lovat_Bodden_2014, title={DroidForce: Enforcing
Complex, Data-Centric, System-Wide Policies in Android}, booktitle={International
Conference on Availability, Reliability and Security (ARES 2014)}, publisher={IEEE},
author={Arzt, Steven and Rasthofer, Siegfried and Lovat, Enrico and Bodden, Eric},
year={2014}, pages={40–49} }'
chicago: 'Arzt, Steven, Siegfried Rasthofer, Enrico Lovat, and Eric Bodden. “DroidForce:
Enforcing Complex, Data-Centric, System-Wide Policies in Android.” In International
Conference on Availability, Reliability and Security (ARES 2014), 40–49. IEEE,
2014.'
ieee: 'S. Arzt, S. Rasthofer, E. Lovat, and E. Bodden, “DroidForce: Enforcing Complex,
Data-Centric, System-Wide Policies in Android,” in International Conference
on Availability, Reliability and Security (ARES 2014), 2014, pp. 40–49.'
mla: 'Arzt, Steven, et al. “DroidForce: Enforcing Complex, Data-Centric, System-Wide
Policies in Android.” International Conference on Availability, Reliability
and Security (ARES 2014), IEEE, 2014, pp. 40–49.'
short: 'S. Arzt, S. Rasthofer, E. Lovat, E. Bodden, in: International Conference
on Availability, Reliability and Security (ARES 2014), IEEE, 2014, pp. 40–49.'
date_created: 2018-10-31T11:04:43Z
date_updated: 2022-01-06T07:01:43Z
ddc:
- '004'
department:
- _id: '76'
extern: '1'
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T13:21:13Z
date_updated: 2018-11-02T13:21:13Z
file_id: '5247'
file_name: ralb14droidforce.pdf
file_size: 661565
relation: main_file
file_date_updated: 2018-11-02T13:21:13Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/ralb14droidforce.pdf
page: 40-49
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: International Conference on Availability, Reliability and Security (ARES
2014)
publisher: IEEE
status: public
title: 'DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android'
type: conference
user_id: '477'
year: '2014'
...
---
_id: '20978'
author:
- first_name: Marcus
full_name: Hüwe, Marcus
id: '13606'
last_name: Hüwe
citation:
ama: Hüwe M. Das Verteilungsproblem Für Mechatronische Systeme. Universität
Paderborn, Heinz Nixdorf Institut, Softwaretechnik; 2013.
apa: Hüwe, M. (2013). Das Verteilungsproblem für mechatronische Systeme.
Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.
bibtex: '@book{Hüwe_2013, title={Das Verteilungsproblem für mechatronische Systeme},
publisher={Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik}, author={Hüwe,
Marcus}, year={2013} }'
chicago: Hüwe, Marcus. Das Verteilungsproblem Für Mechatronische Systeme.
Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.
ieee: M. Hüwe, Das Verteilungsproblem für mechatronische Systeme. Universität
Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.
mla: Hüwe, Marcus. Das Verteilungsproblem Für Mechatronische Systeme. Universität
Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.
short: M. Hüwe, Das Verteilungsproblem Für Mechatronische Systeme, Universität Paderborn,
Heinz Nixdorf Institut, Softwaretechnik, 2013.
date_created: 2021-01-13T13:23:53Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
language:
- iso: eng
publisher: Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik
status: public
title: Das Verteilungsproblem für mechatronische Systeme
type: bachelorsthesis
user_id: '5786'
year: '2013'
...
---
_id: '20980'
abstract:
- lang: ger
text: Das Thema Elektromobilität hat in der Fahrzeugindustrie in den letzten Jahren
viel Aufmerksamkeit erhalten. Gerade im Bereich der Entwicklung von Steuergeräte-Software
ist der Bedarf an frühzeitiger Absicherung hoch. Nur so können Produkteinführungszeiten
minimiert und effektiv Entwicklungskosten eingespart werden. Komplexe Werkzeugketten
und die verteilte Entwicklung erschweren den Prozess und verlängern die Entwicklungszeit.
Das Förderprojekt „Simulationsgestützter Entwurf für Elektrofahrzeuge“, kurz „E-Mobil“,
nimmt sich der Herausforderungen einer verteilten Entwicklung von Steuergeräte-Software
an. Vier Projektpartner aus Industrie und Forschung untersuchen die Besonderheiten
sowohl bzgl. des Entwurfsprozesses, als auch der beteiligten Entwurfswerkzeuge
im Vergleich zur konventionellen Fahrzeugentwicklung. Im Fokus stehen die Modellierung
und die simulationsgestützte Absicherung in frühen Entwurfsstadien. Die Modellierung
umfasst Regelungssoftware sowie die für die Simulation nötigen elektrischen und
mechatronischen Komponenten. Die vorliegende Arbeit stellt die Kernthemen sowie
aktuelle Ergebnisse aus dem Projekt vor.
author:
- first_name: Emad
full_name: Farshizadeh, Emad
last_name: Farshizadeh
- first_name: Hermann
full_name: Briese, Hermann
last_name: Briese
- first_name: David
full_name: Steinmann, David
last_name: Steinmann
- first_name: Lars
full_name: Stockmann, Lars
id: '48144'
last_name: Stockmann
- first_name: Steffen
full_name: Beringer, Steffen
last_name: Beringer
- first_name: Dominik
full_name: Holler, Dominik
last_name: Holler
- first_name: Kay
full_name: Klobedanz, Kay
last_name: Klobedanz
- first_name: Christian
full_name: Heinzemann, Christian
last_name: Heinzemann
- first_name: Klaus
full_name: Peter, Klaus
last_name: Peter
- first_name: Michael
full_name: Leuer, Michael
last_name: Leuer
citation:
ama: 'Farshizadeh E, Briese H, Steinmann D, et al. Simulationsgestützter Entwurf
für Elektrofahrzeuge. In: 8. Dortmunder Autotag. ; 2013.'
apa: Farshizadeh, E., Briese, H., Steinmann, D., Stockmann, L., Beringer, S., Holler,
D., Klobedanz, K., Heinzemann, C., Peter, K., & Leuer, M. (2013). Simulationsgestützter
Entwurf für Elektrofahrzeuge. 8. Dortmunder Autotag.
bibtex: '@inproceedings{Farshizadeh_Briese_Steinmann_Stockmann_Beringer_Holler_Klobedanz_Heinzemann_Peter_Leuer_2013,
title={Simulationsgestützter Entwurf für Elektrofahrzeuge}, booktitle={8. Dortmunder
Autotag}, author={Farshizadeh, Emad and Briese, Hermann and Steinmann, David and
Stockmann, Lars and Beringer, Steffen and Holler, Dominik and Klobedanz, Kay and
Heinzemann, Christian and Peter, Klaus and Leuer, Michael}, year={2013} }'
chicago: Farshizadeh, Emad, Hermann Briese, David Steinmann, Lars Stockmann, Steffen
Beringer, Dominik Holler, Kay Klobedanz, Christian Heinzemann, Klaus Peter, and
Michael Leuer. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” In 8.
Dortmunder Autotag, 2013.
ieee: E. Farshizadeh et al., “Simulationsgestützter Entwurf für Elektrofahrzeuge,”
2013.
mla: Farshizadeh, Emad, et al. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.”
8. Dortmunder Autotag, 2013.
short: 'E. Farshizadeh, H. Briese, D. Steinmann, L. Stockmann, S. Beringer, D. Holler,
K. Klobedanz, C. Heinzemann, K. Peter, M. Leuer, in: 8. Dortmunder Autotag, 2013.'
date_created: 2021-01-13T13:28:47Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
language:
- iso: eng
publication: 8. Dortmunder Autotag
status: public
title: Simulationsgestützter Entwurf für Elektrofahrzeuge
type: conference
user_id: '5786'
year: '2013'
...
---
_id: '20985'
abstract:
- lang: ger
text: "Die in der Automobilindustrie verwendeten eingebetteten Systeme gehören zu
den komplexesten eingebetteten Systemen. Die Automobilhersteller sind in der Entwicklung
ständig bemüht sowohl die Sicherheit und den Komfort des Fahrers also auch der
anderen Insassen zu verbessern. Die meisten der entwickelten Systeme sind sowohl
zeit- als auch sicherheitskritisch. Einer Studie von Mercedes-Benz zufolge resultieren
80% der Innovationen in der Automobilbranche aus neuen Elektronikkomponenten,
deren Funktionen zu 90% durch Software realisiert wird. Um die steigende Komplexität
in der Entwicklung von eingebetteten Systemen zu beherrschen wird in der Automobilbranche
immer öfter die modelbasierte Softwareentwicklung anstelle der klassischen Programmierung
eingesetzt. Im Requirements Engineering, der ersten Phase der Entwicklung eines
Produktes, werden die Anforderungen gesammelt und dokumentiert. Die Dokumentation
erfolgt mittels natürlicher Sprache. Modellbasierte Ansätze werden heutzutage
höchstens unterstützend eingesetzt. Während des Requirements Engineerings muss
der Requirements Engineer sowohl die funktionalen Anforderungen an das zu entwickelnde
System als auch seine zeitlichen Anforderungen spezifizieren und analysieren.
Die funktionalen Anforderungen umfassen dabei insbesondere die Kommunikation zwischen
den verschiedenen Teilsystemen. Szenarien stellen eine intuitive Möglichkeit zur
Modellierung von funktionalen Anforderungen dar. Im Rahmen dieser Arbeit wird
ein modellbasierter Ansatz zur Modellierung von Szenarien verwendet. Anforderungen
an das zeitliche Verhalten werden innerhalb der Architektur spezifiziert. Dazu
stehen in der Automobilbranche Architekturbeschreibungssprachen wie EAST-ADL zur
Verfügung. Obwohl sowohl funktionale als auch zeitliche Anforderungen an das System
spezifiziert und analysiert werden müssen, existiert bisher keine Methodik, die
beide Ansätze miteinander kombiniert. Aus diesem Grund wurde im Rahmen dieser
Arbeit eine neue Requirements Engineering Methodik entwickelt, die eine systematische
und ganzheitliche Spezifikation und Analyse der funktionalen und zeitlichen Anforderungen
bereitstellt. Wir haben zwei Modelltransformationen entwickelt, um den Requirements
Engineer beim Übergang von den funktionalen zu den zeitlichen Anforderungen zu
unterstützen. Die vorliegende Arbeit wird durch eine Evaluierung der Methodik,
sowie der Modelltransformationen auf Basis eines Komfortsteuergerätes abgerundet.\r\n"
author:
- first_name: Thorsten
full_name: Koch, Thorsten
id: '13616'
last_name: Koch
citation:
ama: Koch T. Combining Scenario-Based and Architecture-Based Timing Requirements.
University of Paderborn; 2013.
apa: Koch, T. (2013). Combining Scenario-based and Architecture-based Timing
Requirements. University of Paderborn.
bibtex: '@book{Koch_2013, title={Combining Scenario-based and Architecture-based
Timing Requirements}, publisher={University of Paderborn}, author={Koch, Thorsten},
year={2013} }'
chicago: Koch, Thorsten. Combining Scenario-Based and Architecture-Based Timing
Requirements. University of Paderborn, 2013.
ieee: T. Koch, Combining Scenario-based and Architecture-based Timing Requirements.
University of Paderborn, 2013.
mla: Koch, Thorsten. Combining Scenario-Based and Architecture-Based Timing Requirements.
University of Paderborn, 2013.
short: T. Koch, Combining Scenario-Based and Architecture-Based Timing Requirements,
University of Paderborn, 2013.
date_created: 2021-01-13T13:44:06Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
language:
- iso: eng
publisher: University of Paderborn
status: public
title: Combining Scenario-based and Architecture-based Timing Requirements
type: mastersthesis
user_id: '5786'
year: '2013'
...
---
_id: '20831'
abstract:
- lang: ger
text: Die Komplexität von mechatronischen Systemen wird stetig größer. MechatronicUML
(MUML) ist eine Methode zur Entwicklung für Software von mechatronischen Systemen.
Im Rahmen einer Bachelorarbeit wurde ein bestehender Quelltextgenerator für MUML-Modelle
so erweitert, dass Quelltext für ein Echtzeitbetriebssystem generiert werden kann,
welches auf einem LEGO Mindstorms-Roboter installiert ist.
author:
- first_name: Johannes
full_name: Geismann, Johannes
id: '20063'
last_name: Geismann
orcid: https://orcid.org/0000-0003-2015-2047
citation:
ama: 'Geismann J. Quelltextgenerierung für LEGO Mindstorms-Roboter. In: Berichtsband
Der Informatiktage 2013: Smarte Sichten, Smarte Schichten. Vol 12. GI-Edition
- Lecture Notes in Informatics (LNI). Köllen Verlag; 2013:71-74.'
apa: 'Geismann, J. (2013). Quelltextgenerierung für LEGO Mindstorms-Roboter. Berichtsband
Der Informatiktage 2013: Smarte Sichten, Smarte Schichten, 12, 71–74.'
bibtex: '@inproceedings{Geismann_2013, place={Bonn, Germany}, series={GI-Edition
- Lecture Notes in Informatics (LNI)}, title={Quelltextgenerierung für LEGO Mindstorms-Roboter},
volume={12}, booktitle={Berichtsband der Informatiktage 2013: Smarte Sichten,
smarte Schichten}, publisher={Köllen Verlag}, author={Geismann, Johannes}, year={2013},
pages={71–74}, collection={GI-Edition - Lecture Notes in Informatics (LNI)} }'
chicago: 'Geismann, Johannes. “Quelltextgenerierung Für LEGO Mindstorms-Roboter.”
In Berichtsband Der Informatiktage 2013: Smarte Sichten, Smarte Schichten,
12:71–74. GI-Edition - Lecture Notes in Informatics (LNI). Bonn, Germany: Köllen
Verlag, 2013.'
ieee: 'J. Geismann, “Quelltextgenerierung für LEGO Mindstorms-Roboter,” in Berichtsband
der Informatiktage 2013: Smarte Sichten, smarte Schichten, 2013, vol. 12,
pp. 71–74.'
mla: 'Geismann, Johannes. “Quelltextgenerierung Für LEGO Mindstorms-Roboter.” Berichtsband
Der Informatiktage 2013: Smarte Sichten, Smarte Schichten, vol. 12, Köllen
Verlag, 2013, pp. 71–74.'
short: 'J. Geismann, in: Berichtsband Der Informatiktage 2013: Smarte Sichten, Smarte
Schichten, Köllen Verlag, Bonn, Germany, 2013, pp. 71–74.'
date_created: 2020-12-22T09:59:27Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '76'
intvolume: ' 12'
language:
- iso: eng
main_file_link:
- url: http://subs.emis.de/LNI/Seminar/Seminar12/S-12.pdf#page=72
page: 71-74
place: Bonn, Germany
publication: 'Berichtsband der Informatiktage 2013: Smarte Sichten, smarte Schichten'
publisher: Köllen Verlag
series_title: GI-Edition - Lecture Notes in Informatics (LNI)
status: public
title: Quelltextgenerierung für LEGO Mindstorms-Roboter
type: conference
user_id: '5786'
volume: 12
year: '2013'
...
---
_id: '20913'
author:
- first_name: Jens
full_name: Frieben, Jens
last_name: Frieben
- first_name: Henning
full_name: Heutger, Henning
last_name: Heutger
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
citation:
ama: 'Frieben J, Heutger H, Meyer M, Becker S. Modulare Leistungsprognose von Kompaktsteuerungen.
In: 9. Paderborner Workshop Entwurf Mechatronischer Systeme. Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn; 2013:147-160.'
apa: Frieben, J., Heutger, H., Meyer, M., & Becker, S. (2013). Modulare Leistungsprognose
von Kompaktsteuerungen. 9. Paderborner Workshop Entwurf Mechatronischer Systeme,
147–160.
bibtex: '@inproceedings{Frieben_Heutger_Meyer_Becker_2013, place={Paderborn}, title={Modulare
Leistungsprognose von Kompaktsteuerungen}, booktitle={9. Paderborner Workshop
Entwurf mechatronischer Systeme}, publisher={Verlagsschriftenreihe des Heinz Nixdorf
Instituts, Paderborn}, author={Frieben, Jens and Heutger, Henning and Meyer, Matthias
and Becker, Steffen}, year={2013}, pages={147–160} }'
chicago: 'Frieben, Jens, Henning Heutger, Matthias Meyer, and Steffen Becker. “Modulare
Leistungsprognose von Kompaktsteuerungen.” In 9. Paderborner Workshop Entwurf
Mechatronischer Systeme, 147–60. Paderborn: Verlagsschriftenreihe des Heinz
Nixdorf Instituts, Paderborn, 2013.'
ieee: J. Frieben, H. Heutger, M. Meyer, and S. Becker, “Modulare Leistungsprognose
von Kompaktsteuerungen,” in 9. Paderborner Workshop Entwurf mechatronischer
Systeme, 2013, pp. 147–160.
mla: Frieben, Jens, et al. “Modulare Leistungsprognose von Kompaktsteuerungen.”
9. Paderborner Workshop Entwurf Mechatronischer Systeme, Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn, 2013, pp. 147–60.
short: 'J. Frieben, H. Heutger, M. Meyer, S. Becker, in: 9. Paderborner Workshop
Entwurf Mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts,
Paderborn, Paderborn, 2013, pp. 147–160.'
date_created: 2021-01-12T14:20:58Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
page: 147-160
place: Paderborn
publication: 9. Paderborner Workshop Entwurf mechatronischer Systeme
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: Modulare Leistungsprognose von Kompaktsteuerungen
type: conference
user_id: '5786'
year: '2013'
...
---
_id: '484'
abstract:
- lang: eng
text: One of the main ideas of Service-Oriented Computing (SOC) is the delivery
of flexibly composable services provided on world-wide markets. For a successful
service discovery,service requests have to be matched with the available service
offers. However, in a situation in which no service that completely matches the
request can be discovered, the customer may tolerate slight discrepancies between
request and offer. Some existing fuzzy matching approaches are able to detectsuch
service variants, but they do not allow to explicitly specify which parts of a
request are not mandatory. In this paper, we improve an existing service matching
approach based onVisual Contracts leveraging our preliminary work of design pattern
detection. Thereby, we support explicit specifications of service variants and
realize gradual matching results that can be ranked in order to discover the service
offer that matches a customer’s request best.
author:
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
- first_name: Christian
full_name: Gerth, Christian
last_name: Gerth
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Platenius MC, von Detten M, Gerth C, Schäfer W, Engels G. Service Matching
under Consideration of Explicitly Specified Service Variants. In: IEEE 20th
International Conference on Web Services (ICWS 2013). ; 2013:613-614. doi:10.1109/ICWS.2013.98'
apa: Platenius, M. C., von Detten, M., Gerth, C., Schäfer, W., & Engels, G.
(2013). Service Matching under Consideration of Explicitly Specified Service Variants.
In IEEE 20th International Conference on Web Services (ICWS 2013) (pp.
613–614). https://doi.org/10.1109/ICWS.2013.98
bibtex: '@inproceedings{Platenius_von Detten_Gerth_Schäfer_Engels_2013, title={Service
Matching under Consideration of Explicitly Specified Service Variants}, DOI={10.1109/ICWS.2013.98}, booktitle={IEEE
20th International Conference on Web Services (ICWS 2013)}, author={Platenius,
Marie Christin and von Detten, Markus and Gerth, Christian and Schäfer, Wilhelm
and Engels, Gregor}, year={2013}, pages={613–614} }'
chicago: Platenius, Marie Christin, Markus von Detten, Christian Gerth, Wilhelm
Schäfer, and Gregor Engels. “Service Matching under Consideration of Explicitly
Specified Service Variants.” In IEEE 20th International Conference on Web Services
(ICWS 2013), 613–14, 2013. https://doi.org/10.1109/ICWS.2013.98.
ieee: M. C. Platenius, M. von Detten, C. Gerth, W. Schäfer, and G. Engels, “Service
Matching under Consideration of Explicitly Specified Service Variants,” in IEEE
20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–614.
mla: Platenius, Marie Christin, et al. “Service Matching under Consideration of
Explicitly Specified Service Variants.” IEEE 20th International Conference
on Web Services (ICWS 2013), 2013, pp. 613–14, doi:10.1109/ICWS.2013.98.
short: 'M.C. Platenius, M. von Detten, C. Gerth, W. Schäfer, G. Engels, in: IEEE
20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–614.'
date_created: 2017-10-17T12:42:26Z
date_updated: 2022-01-06T07:01:27Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
doi: 10.1109/ICWS.2013.98
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T13:57:42Z
date_updated: 2018-03-15T13:57:42Z
file_id: '1319'
file_name: 484-Platenius_et_al_ICWS2013.pdf
file_size: 262082
relation: main_file
success: 1
file_date_updated: 2018-03-15T13:57:42Z
has_accepted_license: '1'
language:
- iso: eng
page: 613-614
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publication: IEEE 20th International Conference on Web Services (ICWS 2013)
status: public
title: Service Matching under Consideration of Explicitly Specified Service Variants
type: conference
user_id: '477'
year: '2013'
...
---
_id: '494'
abstract:
- lang: eng
text: The maintenance of component-based software systems requires up-to-date models
of their concrete architecture, i.e. the architecture that is realised in the
source code. These models help in systematically planning, analysing and executing
typical reengineering activities. Often no or only outdated architectural models
of such systems exist. Therefore, various reverse engineering methods have been
developed which try to recover a system's components, subsystems and connectors.
However, these reverse engineering methods are severely impacted by design deciencies
in the system's code base, especially violations of the component encapsulation.
As long as design deciencies are not considered in the reverse engineering process,
they reduce the quality of the recovered component structures. Despite this impact
of design deciencies, no existing architecture reconstruction approach explicitly
integrates a systematic deciency detection and removal into the recovery process.
Therefore, I have developed Archimetrix. Archimetrix is a tool-supported architecture
reconstruction process. It enhances a clustering-based architecture recovery approach
with an extensible, pattern-based deciency detection. After the detection of deciencies,
Archimetrix supports the software architect in removing the de ciencies and provides
the means to preview the architectural consequences of such a removal. I also
provide a process to identify and formalise additional deciencies. I validated
the approach on three case studies which show that Archimetrix is able to identify
relevant deciencies and that the removal of these deciencies leads to an increased
quality of the recovered architectures, i.e. they are closer to the corresponding
conceptual architectures.
author:
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
citation:
ama: von Detten M. Reengineering of Component-Based Software Systems in the Presence
of Design Deficiencies. Universität Paderborn; 2013.
apa: von Detten, M. (2013). Reengineering of Component-Based Software Systems
in the Presence of Design Deficiencies. Universität Paderborn.
bibtex: '@book{von Detten_2013, title={Reengineering of Component-Based Software
Systems in the Presence of Design Deficiencies}, publisher={Universität Paderborn},
author={von Detten, Markus}, year={2013} }'
chicago: Detten, Markus von. Reengineering of Component-Based Software Systems
in the Presence of Design Deficiencies. Universität Paderborn, 2013.
ieee: M. von Detten, Reengineering of Component-Based Software Systems in the
Presence of Design Deficiencies. Universität Paderborn, 2013.
mla: von Detten, Markus. Reengineering of Component-Based Software Systems in
the Presence of Design Deficiencies. Universität Paderborn, 2013.
short: M. von Detten, Reengineering of Component-Based Software Systems in the Presence
of Design Deficiencies, Universität Paderborn, 2013.
date_created: 2017-10-17T12:42:28Z
date_updated: 2022-01-06T07:01:30Z
ddc:
- '040'
department:
- _id: '76'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T13:43:42Z
date_updated: 2018-03-15T13:43:42Z
file_id: '1315'
file_name: 494-Dissertation-vonDetten.pdf
file_size: 11101635
relation: main_file
success: 1
file_date_updated: 2018-03-15T13:43:42Z
has_accepted_license: '1'
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
title: Reengineering of Component-Based Software Systems in the Presence of Design
Deficiencies
type: dissertation
user_id: '477'
year: '2013'
...
---
_id: '527'
abstract:
- lang: eng
text: 'In the future vision of software engineering, services from world-wide markets
are composed automated in order to build custom-made systems.Supporting such scenarios
requires an adequate service matching approach.Many existing approaches do not
fulfill two key requirements of emerging concepts like On-The-Fly-Computing, namely
(1) comprehensiveness, i.e., the consideration of different service aspects that
cover not only functional properties, but also non-functional properties and (2)
fuzzy matching, i.e., the ability to deliver gradual results in order to cope
with a certain extent of uncertainty, incompleteness, and tolerance ranges.In
this paper, I present a fuzzy matching process that distinguishes between different
fuzziness sources and leverages fuzziness in different matching steps which consider
different service aspects, e.g., behavior and quality properties. '
author:
- first_name: Marie
full_name: Christin Platenius, Marie
last_name: Christin Platenius
citation:
ama: 'Christin Platenius M. Fuzzy Service Matching in On-The-Fly Computing. In:
Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European
Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations
of Software Engineering (FSE). ; 2013:715-718. doi:10.1145/2491411.2492405'
apa: Christin Platenius, M. (2013). Fuzzy Service Matching in On-The-Fly Computing.
In Proceedings of the Doctoral Symposium of the 9th joint meeting of the European
Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations
of Software Engineering (FSE) (pp. 715–718). https://doi.org/10.1145/2491411.2492405
bibtex: '@inproceedings{Christin Platenius_2013, title={Fuzzy Service Matching in
On-The-Fly Computing}, DOI={10.1145/2491411.2492405},
booktitle={Proceedings of the Doctoral Symposium of the 9th joint meeting of the
European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium
on the Foundations of Software Engineering (FSE)}, author={Christin Platenius,
Marie}, year={2013}, pages={715–718} }'
chicago: Christin Platenius, Marie. “Fuzzy Service Matching in On-The-Fly Computing.”
In Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European
Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations
of Software Engineering (FSE), 715–18, 2013. https://doi.org/10.1145/2491411.2492405.
ieee: M. Christin Platenius, “Fuzzy Service Matching in On-The-Fly Computing,” in
Proceedings of the Doctoral Symposium of the 9th joint meeting of the European
Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations
of Software Engineering (FSE), 2013, pp. 715–718.
mla: Christin Platenius, Marie. “Fuzzy Service Matching in On-The-Fly Computing.”
Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European
Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations
of Software Engineering (FSE), 2013, pp. 715–18, doi:10.1145/2491411.2492405.
short: 'M. Christin Platenius, in: Proceedings of the Doctoral Symposium of the
9th Joint Meeting of the European Software Engineering Conference (ESEC) and the
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2013,
pp. 715–718.'
date_created: 2017-10-17T12:42:35Z
date_updated: 2022-01-06T07:01:48Z
ddc:
- '040'
department:
- _id: '76'
doi: 10.1145/2491411.2492405
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T10:36:38Z
date_updated: 2018-03-15T10:36:38Z
file_id: '1295'
file_name: 527-p715-platenius.pdf
file_size: 730490
relation: main_file
success: 1
file_date_updated: 2018-03-15T10:36:38Z
has_accepted_license: '1'
language:
- iso: eng
page: ' 715-718 '
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the Doctoral Symposium of the 9th joint meeting of the
European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on
the Foundations of Software Engineering (FSE)
status: public
title: Fuzzy Service Matching in On-The-Fly Computing
type: conference
user_id: '477'
year: '2013'
...
---
_id: '560'
abstract:
- lang: eng
text: In the last decades, development turned from monolithic software products
towards more flexible software components that can be provided on world-wide markets
in form of services. Customers request such services or compositions of several
services. However, in many cases, discovering the best services to address a given
request is a tough challenge and requires expressive, gradual matching results,
considering different aspects of a service description, e.g., inputs/ouputs, protocols,
or quality properties. Furthermore,in situations in which no service exactly satifies
the request, approximate matching which can deal with a certain amount of fuzziness
becomes necessary. There is a wealth of service matching approaches, but it is
not clear whether there is a comprehensive, fuzzy matching approach which addresses
all these challenges. Although there are a few service matchingsurveys, none of
them is able to answer this question. In this paper, we perform a systematic literature
survey of 35 (outof 504) service matching approaches which consider fuzzy matching.
Based on this survey, we propose a classication,discuss how different matching
approaches can be combined into a comprehensive matching method, and identify
future research challenges.
author:
- first_name: Marie
full_name: Platenius, Marie
last_name: Platenius
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Platenius M, von Detten M, Becker S, Schäfer W, Engels G. A Survey of Fuzzy
Service Matching Approaches in the Context of On-The-Fly Computing. In: Proceedings
of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering.
; 2013:143-152. doi:10.1145/2465449.2465454'
apa: Platenius, M., von Detten, M., Becker, S., Schäfer, W., & Engels, G. (2013).
A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing.
In Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based
Software Engineering (pp. 143–152). https://doi.org/10.1145/2465449.2465454
bibtex: '@inproceedings{Platenius_von Detten_Becker_Schäfer_Engels_2013, title={A
Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing},
DOI={10.1145/2465449.2465454},
booktitle={Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based
Software Engineering}, author={Platenius, Marie and von Detten, Markus and Becker,
Steffen and Schäfer, Wilhelm and Engels, Gregor}, year={2013}, pages={143–152}
}'
chicago: Platenius, Marie, Markus von Detten, Steffen Becker, Wilhelm Schäfer, and
Gregor Engels. “A Survey of Fuzzy Service Matching Approaches in the Context of
On-The-Fly Computing.” In Proceedings of the 16th International ACM Sigsoft
Symposium on Component-Based Software Engineering, 143–52, 2013. https://doi.org/10.1145/2465449.2465454.
ieee: M. Platenius, M. von Detten, S. Becker, W. Schäfer, and G. Engels, “A Survey
of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing,”
in Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based
Software Engineering, 2013, pp. 143–152.
mla: Platenius, Marie, et al. “A Survey of Fuzzy Service Matching Approaches in
the Context of On-The-Fly Computing.” Proceedings of the 16th International
ACM Sigsoft Symposium on Component-Based Software Engineering, 2013, pp. 143–52,
doi:10.1145/2465449.2465454.
short: 'M. Platenius, M. von Detten, S. Becker, W. Schäfer, G. Engels, in: Proceedings
of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering,
2013, pp. 143–152.'
date_created: 2017-10-17T12:42:41Z
date_updated: 2022-01-06T07:02:06Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
doi: 10.1145/2465449.2465454
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T10:26:49Z
date_updated: 2018-03-15T10:26:49Z
file_id: '1281'
file_name: 560-Platenius_et_al_CBSE2013.pdf
file_size: 570580
relation: main_file
success: 1
file_date_updated: 2018-03-15T10:26:49Z
has_accepted_license: '1'
language:
- iso: eng
page: 143-152
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based
Software Engineering
status: public
title: A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly
Computing
type: conference
user_id: '477'
year: '2013'
...
---
_id: '20974'
abstract:
- lang: eng
text: "The functionality realized by software in modern cars is increasing and as
a result the development artifacts of automotive systems are getting more complex.
The existence of traceability along these artifacts is essential, since it allows
to monitor the product development from the initial requirements to the final
code. However, traceability is established and maintained mostly manually, which
is time-consuming and error-prone. A further crucial problem is the assurance
of the validity of the trace links, that is, the linked elements are indeed related
to each other. In this paper we present a semiautomatic approach to create, check,
and update trace links between artifacts along an automotive development process.\r\n"
author:
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
citation:
ama: 'Fockel M, Holtmann J, Meyer J. Semi-automatic establishment and maintenance
of valid traceability in automotive development processes. In: 2012 Second
International Workshop on Software Engineering for Embedded Systems (SEES).
; 2012. doi:10.1109/sees.2012.6225489'
apa: Fockel, M., Holtmann, J., & Meyer, J. (2012). Semi-automatic establishment
and maintenance of valid traceability in automotive development processes. 2012
Second International Workshop on Software Engineering for Embedded Systems (SEES).
https://doi.org/10.1109/sees.2012.6225489
bibtex: '@inproceedings{Fockel_Holtmann_Meyer_2012, title={Semi-automatic establishment
and maintenance of valid traceability in automotive development processes}, DOI={10.1109/sees.2012.6225489},
booktitle={2012 Second International Workshop on Software Engineering for Embedded
Systems (SEES)}, author={Fockel, Markus and Holtmann, Jörg and Meyer, Jan}, year={2012}
}'
chicago: Fockel, Markus, Jörg Holtmann, and Jan Meyer. “Semi-Automatic Establishment
and Maintenance of Valid Traceability in Automotive Development Processes.” In
2012 Second International Workshop on Software Engineering for Embedded Systems
(SEES), 2012. https://doi.org/10.1109/sees.2012.6225489.
ieee: 'M. Fockel, J. Holtmann, and J. Meyer, “Semi-automatic establishment and maintenance
of valid traceability in automotive development processes,” 2012, doi: 10.1109/sees.2012.6225489.'
mla: Fockel, Markus, et al. “Semi-Automatic Establishment and Maintenance of Valid
Traceability in Automotive Development Processes.” 2012 Second International
Workshop on Software Engineering for Embedded Systems (SEES), 2012, doi:10.1109/sees.2012.6225489.
short: 'M. Fockel, J. Holtmann, J. Meyer, in: 2012 Second International Workshop
on Software Engineering for Embedded Systems (SEES), 2012.'
date_created: 2021-01-13T13:12:50Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
doi: 10.1109/sees.2012.6225489
language:
- iso: eng
publication: 2012 Second International Workshop on Software Engineering for Embedded
Systems (SEES)
publication_identifier:
isbn:
- '9781467318532'
- '9781467318525'
publication_status: published
status: public
title: Semi-automatic establishment and maintenance of valid traceability in automotive
development processes
type: conference
user_id: '5786'
year: '2012'
...
---
_id: '20914'
abstract:
- lang: eng
text: This chapter summarizes the application and evaluation of the SPES engineering
methodology in the automotive domain. After introducing the particular domain
characteristics, we state some research questions that we have investigated. Some
of the activities that address these research questions are presented in detail.
We conclude that the SPES engineering methodology is a good basis for the development
of automotive systems, but could be further refined to fit the particular needs
of the domain.
author:
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Peter
full_name: Heidl, Peter
last_name: Heidl
- first_name: Jens
full_name: Höfflinger, Jens
last_name: Höfflinger
- first_name: Harald
full_name: Hönninger, Harald
last_name: Hönninger
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Wilfried
full_name: Horn, Wilfried
last_name: Horn
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
- first_name: Jörg
full_name: Schäuffele, Jörg
last_name: Schäuffele
citation:
ama: 'Fockel M, Heidl P, Höfflinger J, et al. Application and Evaluation in the
Automotive Domain. In: Model-Based Engineering of Embedded Systems. ; 2012.
doi:10.1007/978-3-642-34614-9_12'
apa: Fockel, M., Heidl, P., Höfflinger, J., Hönninger, H., Holtmann, J., Horn, W.,
Meyer, J., Meyer, M., & Schäuffele, J. (2012). Application and Evaluation
in the Automotive Domain. In Model-Based Engineering of Embedded Systems.
https://doi.org/10.1007/978-3-642-34614-9_12
bibtex: '@inbook{Fockel_Heidl_Höfflinger_Hönninger_Holtmann_Horn_Meyer_Meyer_Schäuffele_2012,
place={Berlin, Heidelberg}, title={Application and Evaluation in the Automotive
Domain}, DOI={10.1007/978-3-642-34614-9_12},
booktitle={Model-Based Engineering of Embedded Systems}, author={Fockel, Markus
and Heidl, Peter and Höfflinger, Jens and Hönninger, Harald and Holtmann, Jörg
and Horn, Wilfried and Meyer, Jan and Meyer, Matthias and Schäuffele, Jörg}, year={2012}
}'
chicago: Fockel, Markus, Peter Heidl, Jens Höfflinger, Harald Hönninger, Jörg Holtmann,
Wilfried Horn, Jan Meyer, Matthias Meyer, and Jörg Schäuffele. “Application and
Evaluation in the Automotive Domain.” In Model-Based Engineering of Embedded
Systems. Berlin, Heidelberg, 2012. https://doi.org/10.1007/978-3-642-34614-9_12.
ieee: M. Fockel et al., “Application and Evaluation in the Automotive Domain,”
in Model-Based Engineering of Embedded Systems, Berlin, Heidelberg, 2012.
mla: Fockel, Markus, et al. “Application and Evaluation in the Automotive Domain.”
Model-Based Engineering of Embedded Systems, 2012, doi:10.1007/978-3-642-34614-9_12.
short: 'M. Fockel, P. Heidl, J. Höfflinger, H. Hönninger, J. Holtmann, W. Horn,
J. Meyer, M. Meyer, J. Schäuffele, in: Model-Based Engineering of Embedded Systems,
Berlin, Heidelberg, 2012.'
date_created: 2021-01-12T14:21:35Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
doi: 10.1007/978-3-642-34614-9_12
language:
- iso: eng
place: Berlin, Heidelberg
publication: Model-Based Engineering of Embedded Systems
publication_identifier:
isbn:
- '9783642346132'
- '9783642346149'
publication_status: published
status: public
title: Application and Evaluation in the Automotive Domain
type: book_chapter
user_id: '5786'
year: '2012'
...
---
_id: '630'
abstract:
- lang: eng
text: Maintaining software systems requires up-to-date models of these systems to
systematically plan, analyse and execute the necessary reengineering steps. Often,
no or only outdated models of such systems exist. Thus, a reverse engineering
step is needed that recovers the system’s components, subsystems and connectors.
However, reverse engineering methods are severely impacted by design deficiencies
in the system’s code base, e.g., they lead to wrong component structures. Several
approaches exist today for the reverse engineering of component-based systems,
however, none of them explicitly integrates a systematic design deficiency removal
into the process to improve the quality of the reverse engineered architecture.
Therefore, in our Archimetrix approach, we propose to regard the most relevant
deficiencies with respect to the reverse engineered component-based architecture
and support reengineers by presenting the architectural consequences of removing
a given deficiency. We validate our approach on the Common Component Modeling
Example and show that we are able to identify relevant deficiencies and that their
removal leads to an improved reengineered architecture.
author:
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
citation:
ama: 'Platenius MC, von Detten M, Becker S. Archimetrix: Improved Software Architecture
Recovery in the Presence of Design Deficiencies. In: Proceedings of the 16th
European Conference on Software Maintenance and Reengineering (CSMR). ; 2012:255-264.
doi:10.1109/CSMR.2012.33'
apa: 'Platenius, M. C., von Detten, M., & Becker, S. (2012). Archimetrix: Improved
Software Architecture Recovery in the Presence of Design Deficiencies. In Proceedings
of the 16th European Conference on Software Maintenance and Reengineering (CSMR)
(pp. 255–264). https://doi.org/10.1109/CSMR.2012.33'
bibtex: '@inproceedings{Platenius_von Detten_Becker_2012, title={Archimetrix: Improved
Software Architecture Recovery in the Presence of Design Deficiencies}, DOI={10.1109/CSMR.2012.33}, booktitle={Proceedings
of the 16th European Conference on Software Maintenance and Reengineering (CSMR)},
author={Platenius, Marie Christin and von Detten, Markus and Becker, Steffen},
year={2012}, pages={255–264} }'
chicago: 'Platenius, Marie Christin, Markus von Detten, and Steffen Becker. “Archimetrix:
Improved Software Architecture Recovery in the Presence of Design Deficiencies.”
In Proceedings of the 16th European Conference on Software Maintenance and
Reengineering (CSMR), 255–64, 2012. https://doi.org/10.1109/CSMR.2012.33.'
ieee: 'M. C. Platenius, M. von Detten, and S. Becker, “Archimetrix: Improved Software
Architecture Recovery in the Presence of Design Deficiencies,” in Proceedings
of the 16th European Conference on Software Maintenance and Reengineering (CSMR),
2012, pp. 255–264.'
mla: 'Platenius, Marie Christin, et al. “Archimetrix: Improved Software Architecture
Recovery in the Presence of Design Deficiencies.” Proceedings of the 16th European
Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–64,
doi:10.1109/CSMR.2012.33.'
short: 'M.C. Platenius, M. von Detten, S. Becker, in: Proceedings of the 16th European
Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–264.'
date_created: 2017-10-17T12:42:54Z
date_updated: 2022-01-06T07:03:00Z
ddc:
- '040'
department:
- _id: '76'
doi: 10.1109/CSMR.2012.33
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T06:37:13Z
date_updated: 2018-03-15T06:37:13Z
file_id: '1236'
file_name: 630-CSMR2012-PlateniusDettenBecker.pdf
file_size: 723739
relation: main_file
success: 1
file_date_updated: 2018-03-15T06:37:13Z
has_accepted_license: '1'
language:
- iso: eng
page: 255-264
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 16th European Conference on Software Maintenance and
Reengineering (CSMR)
status: public
title: 'Archimetrix: Improved Software Architecture Recovery in the Presence of Design
Deficiencies'
type: conference
user_id: '477'
year: '2012'
...
---
_id: '5183'
author:
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Patrick
full_name: Lam, Patrick
last_name: Lam
- first_name: Laurie
full_name: Hendren, Laurie
last_name: Hendren
citation:
ama: Bodden E, Lam P, Hendren L. Partially Evaluating Finite-State Runtime Monitors
Ahead of Time. ACM Transactions on Programming Languages and Systems. 2012;34(2):1-52.
doi:10.1145/2220365.2220366
apa: Bodden, E., Lam, P., & Hendren, L. (2012). Partially Evaluating Finite-State
Runtime Monitors Ahead of Time. ACM Transactions on Programming Languages and
Systems, 34(2), 1–52. https://doi.org/10.1145/2220365.2220366
bibtex: '@article{Bodden_Lam_Hendren_2012, title={Partially Evaluating Finite-State
Runtime Monitors Ahead of Time}, volume={34}, DOI={10.1145/2220365.2220366},
number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={Association
for Computing Machinery (ACM)}, author={Bodden, Eric and Lam, Patrick and Hendren,
Laurie}, year={2012}, pages={1–52} }'
chicago: 'Bodden, Eric, Patrick Lam, and Laurie Hendren. “Partially Evaluating Finite-State
Runtime Monitors Ahead of Time.” ACM Transactions on Programming Languages
and Systems 34, no. 2 (2012): 1–52. https://doi.org/10.1145/2220365.2220366.'
ieee: E. Bodden, P. Lam, and L. Hendren, “Partially Evaluating Finite-State Runtime
Monitors Ahead of Time,” ACM Transactions on Programming Languages and Systems,
vol. 34, no. 2, pp. 1–52, 2012.
mla: Bodden, Eric, et al. “Partially Evaluating Finite-State Runtime Monitors Ahead
of Time.” ACM Transactions on Programming Languages and Systems, vol. 34,
no. 2, Association for Computing Machinery (ACM), 2012, pp. 1–52, doi:10.1145/2220365.2220366.
short: E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages
and Systems 34 (2012) 1–52.
date_created: 2018-10-31T10:43:13Z
date_updated: 2022-01-06T07:01:41Z
ddc:
- '000'
department:
- _id: '76'
doi: 10.1145/2220365.2220366
extern: '1'
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T15:42:24Z
date_updated: 2018-11-02T15:42:24Z
file_id: '5310'
file_name: a7-bodden.pdf
file_size: 2280938
relation: main_file
success: 1
file_date_updated: 2018-11-02T15:42:24Z
has_accepted_license: '1'
intvolume: ' 34'
issue: '2'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/blh12partially.pdf
page: 1-52
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: ACM Transactions on Programming Languages and Systems
publication_identifier:
issn:
- 0164-0925
publication_status: published
publisher: Association for Computing Machinery (ACM)
status: public
title: Partially Evaluating Finite-State Runtime Monitors Ahead of Time
type: journal_article
user_id: '477'
volume: 34
year: '2012'
...
---
_id: '20958'
abstract:
- lang: eng
text: Nowadays requirements are mostly specified in unrestricted natural language
so that each stakeholder understands them. To ensure high quality and to avoid
misunderstandings, the requirements have to be validated. Because of the ambiguity
of natural language and the resulting absence of an automatic mechanism, this
has to be done manually. Such manual validation techniques are timeconsuming,
error-prone, and repetitive because hundreds or thousands of requirements must
be checked. With an automatic validation the requirements engineering process
can be faster and can produce requirements of higher quality. To realize an automatism,
we propose a controlled natural language (CNL) for the documentation of requirements.
On basis of the CNL, a concept for an automatic requirements validation is developed
for the identification of inconsistencies and incomplete requirements. Additionally,
automated correction operations for such defective requirements are presented.
The approach improves the quality of the requirements and therefore the quality
of the whole development process.
author:
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
citation:
ama: 'Holtmann J, Meyer J, von Detten M. Automatic Validation and Correction of
Formalized, Textual Requirements. In: 2011 IEEE Fourth International Conference
on Software Testing, Verification and Validation Workshops. ; 2011. doi:10.1109/icstw.2011.17'
apa: Holtmann, J., Meyer, J., & von Detten, M. (2011). Automatic Validation
and Correction of Formalized, Textual Requirements. 2011 IEEE Fourth International
Conference on Software Testing, Verification and Validation Workshops. https://doi.org/10.1109/icstw.2011.17
bibtex: '@inproceedings{Holtmann_Meyer_von Detten_2011, title={Automatic Validation
and Correction of Formalized, Textual Requirements}, DOI={10.1109/icstw.2011.17},
booktitle={2011 IEEE Fourth International Conference on Software Testing, Verification
and Validation Workshops}, author={Holtmann, Jörg and Meyer, Jan and von Detten,
Markus}, year={2011} }'
chicago: Holtmann, Jörg, Jan Meyer, and Markus von Detten. “Automatic Validation
and Correction of Formalized, Textual Requirements.” In 2011 IEEE Fourth International
Conference on Software Testing, Verification and Validation Workshops, 2011.
https://doi.org/10.1109/icstw.2011.17.
ieee: 'J. Holtmann, J. Meyer, and M. von Detten, “Automatic Validation and Correction
of Formalized, Textual Requirements,” 2011, doi: 10.1109/icstw.2011.17.'
mla: Holtmann, Jörg, et al. “Automatic Validation and Correction of Formalized,
Textual Requirements.” 2011 IEEE Fourth International Conference on Software
Testing, Verification and Validation Workshops, 2011, doi:10.1109/icstw.2011.17.
short: 'J. Holtmann, J. Meyer, M. von Detten, in: 2011 IEEE Fourth International
Conference on Software Testing, Verification and Validation Workshops, 2011.'
date_created: 2021-01-13T10:51:15Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
doi: 10.1109/icstw.2011.17
language:
- iso: eng
publication: 2011 IEEE Fourth International Conference on Software Testing, Verification
and Validation Workshops
publication_identifier:
isbn:
- '9781457700194'
publication_status: published
status: public
title: Automatic Validation and Correction of Formalized, Textual Requirements
type: conference
user_id: '5786'
year: '2011'
...
---
_id: '20960'
abstract:
- lang: ger
text: "Heutige Steuergeraete im Automobilbereich zeichnen sich durch eine hohe Funktionsvielfalt
und eine hohe Vernetzung untereinander aus. Dies fuehrt zu immer komplexeren Systemen,
wobei auch immer mehr sicherheitskritische Funktionen durch Software realisiert
werden. Damit die Qualitaet der Software entsprechend hoch und zufriedenstellend
ist, erfordert die Entwicklung ein systematisches und prozesskonformes Vorgehen.
Der fuer die Softwarearchitektur entwickelte AUTOSAR Standard ist allerdings nicht
fuer die fruehen Entwicklungsphasen wie die Anforderungsanalyse und das Systemarchitekturdesign
gedacht, welche von Prozessbewertungsmodellen – wie Automotive SPICE – gefordert
werden. Als Loesung fuer die Analyse bietet sich die Nutzung der Systems Modeling
Language (SysML) mit Anpassungen bzw. Erweiterungen an die Beduerfnisse der Automobilindustrie,
an. Damit aber keine Luecke im Entwicklungsprozess entsteht, wird bei der hier
vorgestellten Methode ein wohldefinierter uebergang zur AUTOSAR Architektur, und
zwar zur Applikations- und zur Basissoftware, definiert.\r\n"
author:
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
citation:
ama: 'Meyer J, Holtmann J. Eine durchgängige Entwicklungsmethode von der Systemarchitektur
bis zur Softwarearchitektur mit AUTOSAR. In: Tagungsband Des Dagstuhl-Workshop
MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII. fortiss GmbH;
2011:21-30.'
apa: 'Meyer, J., & Holtmann, J. (2011). Eine durchgängige Entwicklungsmethode
von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR. Tagungsband
Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme
VII, 21–30.'
bibtex: '@inproceedings{Meyer_Holtmann_2011, title={Eine durchgängige Entwicklungsmethode
von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR}, booktitle={Tagungsband
des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme
VII}, publisher={fortiss GmbH}, author={Meyer, Jan and Holtmann, Jörg}, year={2011},
pages={21–30} }'
chicago: 'Meyer, Jan, and Jörg Holtmann. “Eine Durchgängige Entwicklungsmethode
von Der Systemarchitektur Bis Zur Softwarearchitektur Mit AUTOSAR.” In Tagungsband
Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme
VII, 21–30. fortiss GmbH, 2011.'
ieee: 'J. Meyer and J. Holtmann, “Eine durchgängige Entwicklungsmethode von der
Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR,” in Tagungsband
des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme
VII, 2011, pp. 21–30.'
mla: 'Meyer, Jan, and Jörg Holtmann. “Eine Durchgängige Entwicklungsmethode von
Der Systemarchitektur Bis Zur Softwarearchitektur Mit AUTOSAR.” Tagungsband
Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme
VII, fortiss GmbH, 2011, pp. 21–30.'
short: 'J. Meyer, J. Holtmann, in: Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte
Entwicklung Eingebetteter Systeme VII, fortiss GmbH, 2011, pp. 21–30.'
date_created: 2021-01-13T10:53:25Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
language:
- iso: eng
page: 21-30
publication: 'Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung
eingebetteter Systeme VII'
publisher: fortiss GmbH
status: public
title: Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur
mit AUTOSAR
type: conference
user_id: '5786'
year: '2011'
...
---
_id: '20975'
abstract:
- lang: eng
text: "Software maintenance tasks require knowledge about the software’s design.
Several tools help to identify implementations of software patterns, e.g. Design
Patterns, in source code and thus help to reveal the underlying design. In case
of the reverse engineering tool suite Reclipse, detection algorithms are generated
from manually created, formal pattern specifications. Due to numerous variants
that have to be considered, the pattern specification is error-prone. Because
of this, the complex, step-wise generation process has to be traceable backwards
to identify specification mistakes. To increase the traceability, we directly
interpret the detection algorithm models (story diagrams) instead of executing
code generated from these models. This way, a reverse engineer no longer has to
relate generated code to the story diagrams to find mistakes in pattern specifications.\r\n"
author:
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Dietrich
full_name: Travkin, Dietrich
last_name: Travkin
- first_name: Markus
full_name: von Detten, Markus
last_name: von Detten
citation:
ama: 'Fockel M, Travkin D, von Detten M. Interpreting Story Diagrams for the Static
Detection of Software Patterns. In: Proceedings of the 8th International Fujaba
Days. ; 2011.'
apa: Fockel, M., Travkin, D., & von Detten, M. (2011). Interpreting Story Diagrams
for the Static Detection of Software Patterns. Proceedings of the 8th International
Fujaba Days.
bibtex: '@inproceedings{Fockel_Travkin_von Detten_2011, place={University of Tartu,
Estonia}, title={Interpreting Story Diagrams for the Static Detection of Software
Patterns}, booktitle={Proceedings of the 8th International Fujaba Days}, author={Fockel,
Markus and Travkin, Dietrich and von Detten, Markus}, year={2011} }'
chicago: Fockel, Markus, Dietrich Travkin, and Markus von Detten. “Interpreting
Story Diagrams for the Static Detection of Software Patterns.” In Proceedings
of the 8th International Fujaba Days. University of Tartu, Estonia, 2011.
ieee: M. Fockel, D. Travkin, and M. von Detten, “Interpreting Story Diagrams for
the Static Detection of Software Patterns,” 2011.
mla: Fockel, Markus, et al. “Interpreting Story Diagrams for the Static Detection
of Software Patterns.” Proceedings of the 8th International Fujaba Days,
2011.
short: 'M. Fockel, D. Travkin, M. von Detten, in: Proceedings of the 8th International
Fujaba Days, University of Tartu, Estonia, 2011.'
date_created: 2021-01-13T13:15:48Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
language:
- iso: eng
place: University of Tartu, Estonia
publication: Proceedings of the 8th International Fujaba Days
status: public
title: Interpreting Story Diagrams for the Static Detection of Software Patterns
type: conference
user_id: '5786'
year: '2011'
...
---
_id: '20915'
abstract:
- lang: ger
text: "Durch die immer kuerzer werdenden Entwicklungszyklen und den groeßer werdenden
Druck bzgl. Time-to-Market fuer eingebettete Systeme im Automobilsektor steigt
der Bedarf, die Systeme bereits zu fruehen Entwicklungszeitpunkten gegenueber
den Qualitaetsanforderungen (z. B. Zeitanforderungen und Ressourcenauslastung)
zu verifizieren. Wir stellen einen Ansatz vor, der eine formale Spezifikation
von Zeitanforderungen und Wirkketten sowie deren fruehzeitige Analyse durch Simulation
erlaubt. Verletzungen von Zeitanforderungen werden in den Simulationsergebnissen
automatisch erkannt.\r\n"
author:
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
citation:
ama: 'Meyer J, Holtmann J, Meyer M. Formalisierung von Anforderungen und Betriebssystemeigenschaften
zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen. In: 8.
Paderborner Workshop Entwurf Mechatronischer Systeme. Vol 294. Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut; 2011:203-215.'
apa: Meyer, J., Holtmann, J., & Meyer, M. (2011). Formalisierung von Anforderungen
und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten,
automobilen Systemen. 8. Paderborner Workshop Entwurf Mechatronischer Systeme,
294, 203–215.
bibtex: '@inproceedings{Meyer_Holtmann_Meyer_2011, series={Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn}, title={Formalisierung von Anforderungen
und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten,
automobilen Systemen}, volume={294}, booktitle={8. Paderborner Workshop Entwurf
mechatronischer Systeme}, publisher={Heinz Nixdorf Institut}, author={Meyer, Jan
and Holtmann, Jörg and Meyer, Matthias}, year={2011}, pages={203–215}, collection={Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn} }'
chicago: Meyer, Jan, Jörg Holtmann, and Matthias Meyer. “Formalisierung von Anforderungen
Und Betriebssystemeigenschaften Zur Fruehzeitigen Simulation von Eingebetteten,
Automobilen Systemen.” In 8. Paderborner Workshop Entwurf Mechatronischer Systeme,
294:203–15. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Heinz
Nixdorf Institut, 2011.
ieee: J. Meyer, J. Holtmann, and M. Meyer, “Formalisierung von Anforderungen und
Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen
Systemen,” in 8. Paderborner Workshop Entwurf mechatronischer Systeme,
2011, vol. 294, pp. 203–215.
mla: Meyer, Jan, et al. “Formalisierung von Anforderungen Und Betriebssystemeigenschaften
Zur Fruehzeitigen Simulation von Eingebetteten, Automobilen Systemen.” 8. Paderborner
Workshop Entwurf Mechatronischer Systeme, vol. 294, Heinz Nixdorf Institut,
2011, pp. 203–15.
short: 'J. Meyer, J. Holtmann, M. Meyer, in: 8. Paderborner Workshop Entwurf Mechatronischer
Systeme, Heinz Nixdorf Institut, 2011, pp. 203–215.'
date_created: 2021-01-12T14:25:00Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
- _id: '241'
intvolume: ' 294'
language:
- iso: eng
page: 203-215
publication: 8. Paderborner Workshop Entwurf mechatronischer Systeme
publisher: Heinz Nixdorf Institut
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen
Simulation von eingebetteten, automobilen Systemen
type: conference
user_id: '5786'
volume: 294
year: '2011'
...
---
_id: '20916'
abstract:
- lang: eng
text: Safety critical functions for embedded systems are increasingly realized with
software. Current and future standards and maturity models impose high accuracy
and quality for the development process of such software-intensive, embedded systems.
But nowadays, there are process and tooling gaps between different modeling aspects
for the system under development (SUD). Furthermore, the SUD is usually verified
and validated not until it is completely implemented, which leads to expensive
corrections. In this paper we present a seamless, model-based development process,
which is intended for the automotive supplier domain and conforms to the process
reference model of Automotive SPICE. The development process addresses the issues
mentioned above by using systematic transitions between different modeling aspects
and simulations in early development stages.
author:
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
citation:
ama: 'Holtmann J, Meyer J, Meyer M. A Seamless Model-Based Development Process for
Automotive Systems. In: Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium).
Vol P-184. GI-Edition Lecture Notes in Informatics (LNI). Bonner Koellen Verlag;
2011:79-88.'
apa: Holtmann, J., Meyer, J., & Meyer, M. (2011). A Seamless Model-Based Development
Process for Automotive Systems. Software Engineering 2011 – Workshopband (Inkl.
Doktorandensymposium), P-184, 79–88.
bibtex: '@inproceedings{Holtmann_Meyer_Meyer_2011, series={GI-Edition Lecture Notes
in Informatics (LNI)}, title={A Seamless Model-Based Development Process for Automotive
Systems}, volume={P-184}, booktitle={Software Engineering 2011 – Workshopband
(inkl. Doktorandensymposium)}, publisher={Bonner Koellen Verlag}, author={Holtmann,
Jörg and Meyer, Jan and Meyer, Matthias}, year={2011}, pages={79–88}, collection={GI-Edition
Lecture Notes in Informatics (LNI)} }'
chicago: Holtmann, Jörg, Jan Meyer, and Matthias Meyer. “A Seamless Model-Based
Development Process for Automotive Systems.” In Software Engineering 2011 –
Workshopband (Inkl. Doktorandensymposium), P-184:79–88. GI-Edition Lecture
Notes in Informatics (LNI). Bonner Koellen Verlag, 2011.
ieee: J. Holtmann, J. Meyer, and M. Meyer, “A Seamless Model-Based Development Process
for Automotive Systems,” in Software Engineering 2011 – Workshopband (inkl.
Doktorandensymposium), 2011, vol. P-184, pp. 79–88.
mla: Holtmann, Jörg, et al. “A Seamless Model-Based Development Process for Automotive
Systems.” Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium),
vol. P-184, Bonner Koellen Verlag, 2011, pp. 79–88.
short: 'J. Holtmann, J. Meyer, M. Meyer, in: Software Engineering 2011 – Workshopband
(Inkl. Doktorandensymposium), Bonner Koellen Verlag, 2011, pp. 79–88.'
date_created: 2021-01-12T14:26:06Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
page: 79-88
publication: Software Engineering 2011 – Workshopband (inkl. Doktorandensymposium)
publisher: Bonner Koellen Verlag
series_title: GI-Edition Lecture Notes in Informatics (LNI)
status: public
title: A Seamless Model-Based Development Process for Automotive Systems
type: conference
user_id: '5786'
volume: P-184
year: '2011'
...