--- _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' ...