[{"citation":{"mla":"Holtmann, Jörg, et al. “Automatic Validation and Correction of Formalized, Textual Requirements.” <i>2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops</i>, 2011, doi:<a href=\"https://doi.org/10.1109/icstw.2011.17\">10.1109/icstw.2011.17</a>.","bibtex":"@inproceedings{Holtmann_Meyer_von Detten_2011, title={Automatic Validation and Correction of Formalized, Textual Requirements}, DOI={<a href=\"https://doi.org/10.1109/icstw.2011.17\">10.1109/icstw.2011.17</a>}, 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} }","short":"J. Holtmann, J. Meyer, M. von Detten, in: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011.","apa":"Holtmann, J., Meyer, J., &#38; von Detten, M. (2011). Automatic Validation and Correction of Formalized, Textual Requirements. <i>2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops</i>. <a href=\"https://doi.org/10.1109/icstw.2011.17\">https://doi.org/10.1109/icstw.2011.17</a>","chicago":"Holtmann, Jörg, Jan Meyer, and Markus von Detten. “Automatic Validation and Correction of Formalized, Textual Requirements.” In <i>2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops</i>, 2011. <a href=\"https://doi.org/10.1109/icstw.2011.17\">https://doi.org/10.1109/icstw.2011.17</a>.","ieee":"J. Holtmann, J. Meyer, and M. von Detten, “Automatic Validation and Correction of Formalized, Textual Requirements,” 2011, doi: <a href=\"https://doi.org/10.1109/icstw.2011.17\">10.1109/icstw.2011.17</a>.","ama":"Holtmann J, Meyer J, von Detten M. Automatic Validation and Correction of Formalized, Textual Requirements. In: <i>2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops</i>. ; 2011. doi:<a href=\"https://doi.org/10.1109/icstw.2011.17\">10.1109/icstw.2011.17</a>"},"year":"2011","publication_identifier":{"isbn":["9781457700194"]},"publication_status":"published","doi":"10.1109/icstw.2011.17","title":"Automatic Validation and Correction of Formalized, Textual Requirements","author":[{"id":"3875","full_name":"Holtmann, Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","first_name":"Jörg"},{"first_name":"Jan","full_name":"Meyer, Jan","last_name":"Meyer"},{"first_name":"Markus","full_name":"von Detten, Markus","last_name":"von Detten"}],"date_created":"2021-01-13T10:51:15Z","date_updated":"2022-01-06T06:54:42Z","status":"public","abstract":[{"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.","lang":"eng"}],"publication":"2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"76"}],"user_id":"5786","_id":"20958"},{"page":"21-30","citation":{"ama":"Meyer J, Holtmann J. Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR. In: <i>Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII</i>. fortiss GmbH; 2011:21-30.","chicago":"Meyer, Jan, and Jörg Holtmann. “Eine Durchgängige Entwicklungsmethode von Der Systemarchitektur Bis Zur Softwarearchitektur Mit AUTOSAR.” In <i>Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII</i>, 21–30. fortiss GmbH, 2011.","ieee":"J. Meyer and J. Holtmann, “Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR,” in <i>Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII</i>, 2011, pp. 21–30.","apa":"Meyer, J., &#38; Holtmann, J. (2011). Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR. <i>Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII</i>, 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} }","short":"J. Meyer, J. Holtmann, in: Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII, fortiss GmbH, 2011, pp. 21–30.","mla":"Meyer, Jan, and Jörg Holtmann. “Eine Durchgängige Entwicklungsmethode von Der Systemarchitektur Bis Zur Softwarearchitektur Mit AUTOSAR.” <i>Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII</i>, fortiss GmbH, 2011, pp. 21–30."},"year":"2011","author":[{"first_name":"Jan","full_name":"Meyer, Jan","last_name":"Meyer"},{"orcid":"0000-0001-6141-4571","last_name":"Holtmann","full_name":"Holtmann, Jörg","id":"3875","first_name":"Jörg"}],"date_created":"2021-01-13T10:53:25Z","publisher":"fortiss GmbH","date_updated":"2022-01-06T06:54:42Z","title":"Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR","publication":"Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII","type":"conference","status":"public","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"}],"department":[{"_id":"76"}],"user_id":"5786","_id":"20960","language":[{"iso":"eng"}]},{"year":"2011","place":"University of Tartu, Estonia","citation":{"ama":"Fockel M, Travkin D, von Detten M. Interpreting Story Diagrams for the Static Detection of Software Patterns. In: <i>Proceedings of the 8th International Fujaba Days</i>. ; 2011.","chicago":"Fockel, Markus, Dietrich Travkin, and Markus von Detten. “Interpreting Story Diagrams for the Static Detection of Software Patterns.” In <i>Proceedings of the 8th International Fujaba Days</i>. 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.","apa":"Fockel, M., Travkin, D., &#38; von Detten, M. (2011). Interpreting Story Diagrams for the Static Detection of Software Patterns. <i>Proceedings of the 8th International Fujaba Days</i>.","short":"M. Fockel, D. Travkin, M. von Detten, in: Proceedings of the 8th International Fujaba Days, University of Tartu, Estonia, 2011.","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} }","mla":"Fockel, Markus, et al. “Interpreting Story Diagrams for the Static Detection of Software Patterns.” <i>Proceedings of the 8th International Fujaba Days</i>, 2011."},"date_updated":"2022-01-06T06:54:42Z","date_created":"2021-01-13T13:15:48Z","author":[{"first_name":"Markus","id":"8472","full_name":"Fockel, Markus","orcid":"0000-0002-1269-0702","last_name":"Fockel"},{"last_name":"Travkin","full_name":"Travkin, Dietrich","first_name":"Dietrich"},{"last_name":"von Detten","full_name":"von Detten, Markus","first_name":"Markus"}],"title":"Interpreting Story Diagrams for the Static Detection of Software Patterns","type":"conference","publication":"Proceedings of the 8th International Fujaba Days","abstract":[{"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","lang":"eng"}],"status":"public","_id":"20975","user_id":"5786","department":[{"_id":"76"}],"language":[{"iso":"eng"}]},{"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"}],"status":"public","type":"conference","publication":"8. Paderborner Workshop Entwurf mechatronischer Systeme","language":[{"iso":"eng"}],"_id":"20915","user_id":"5786","series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","department":[{"_id":"76"},{"_id":"241"}],"year":"2011","citation":{"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} }","mla":"Meyer, Jan, et al. “Formalisierung von Anforderungen Und Betriebssystemeigenschaften Zur Fruehzeitigen Simulation von Eingebetteten, Automobilen Systemen.” <i>8. Paderborner Workshop Entwurf Mechatronischer Systeme</i>, 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.","apa":"Meyer, J., Holtmann, J., &#38; Meyer, M. (2011). Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen. <i>8. Paderborner Workshop Entwurf Mechatronischer Systeme</i>, <i>294</i>, 203–215.","ieee":"J. Meyer, J. Holtmann, and M. Meyer, “Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen,” in <i>8. Paderborner Workshop Entwurf mechatronischer Systeme</i>, 2011, vol. 294, pp. 203–215.","chicago":"Meyer, Jan, Jörg Holtmann, and Matthias Meyer. “Formalisierung von Anforderungen Und Betriebssystemeigenschaften Zur Fruehzeitigen Simulation von Eingebetteten, Automobilen Systemen.” In <i>8. Paderborner Workshop Entwurf Mechatronischer Systeme</i>, 294:203–15. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut, 2011.","ama":"Meyer J, Holtmann J, Meyer M. Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen. In: <i>8. Paderborner Workshop Entwurf Mechatronischer Systeme</i>. Vol 294. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut; 2011:203-215."},"intvolume":"       294","page":"203-215","title":"Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen","date_updated":"2022-01-06T06:54:41Z","publisher":"Heinz Nixdorf Institut","author":[{"last_name":"Meyer","full_name":"Meyer, Jan","first_name":"Jan"},{"first_name":"Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","id":"3875","full_name":"Holtmann, Jörg"},{"first_name":"Matthias","last_name":"Meyer","full_name":"Meyer, Matthias","id":"683"}],"date_created":"2021-01-12T14:25:00Z","volume":294},{"language":[{"iso":"eng"}],"user_id":"5786","series_title":"GI-Edition Lecture Notes in Informatics (LNI)","department":[{"_id":"76"},{"_id":"241"}],"_id":"20916","status":"public","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."}],"type":"conference","publication":"Software Engineering 2011 – Workshopband (inkl. Doktorandensymposium)","title":"A Seamless Model-Based Development Process for Automotive Systems","date_created":"2021-01-12T14:26:06Z","author":[{"id":"3875","full_name":"Holtmann, Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","first_name":"Jörg"},{"last_name":"Meyer","full_name":"Meyer, Jan","first_name":"Jan"},{"full_name":"Meyer, Matthias","id":"683","last_name":"Meyer","first_name":"Matthias"}],"volume":"P-184","date_updated":"2022-01-06T06:54:41Z","publisher":"Bonner Koellen Verlag","citation":{"apa":"Holtmann, J., Meyer, J., &#38; Meyer, M. (2011). A Seamless Model-Based Development Process for Automotive Systems. <i>Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium)</i>, <i>P-184</i>, 79–88.","mla":"Holtmann, Jörg, et al. “A Seamless Model-Based Development Process for Automotive Systems.” <i>Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium)</i>, 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.","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)} }","ama":"Holtmann J, Meyer J, Meyer M. A Seamless Model-Based Development Process for Automotive Systems. In: <i>Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium)</i>. Vol P-184. GI-Edition Lecture Notes in Informatics (LNI). Bonner Koellen Verlag; 2011:79-88.","ieee":"J. Holtmann, J. Meyer, and M. Meyer, “A Seamless Model-Based Development Process for Automotive Systems,” in <i>Software Engineering 2011 – Workshopband (inkl. Doktorandensymposium)</i>, 2011, vol. P-184, pp. 79–88.","chicago":"Holtmann, Jörg, Jan Meyer, and Matthias Meyer. “A Seamless Model-Based Development Process for Automotive Systems.” In <i>Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium)</i>, P-184:79–88. GI-Edition Lecture Notes in Informatics (LNI). Bonner Koellen Verlag, 2011."},"page":"79-88","year":"2011"},{"project":[{"_id":"1","name":"SFB 901"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"name":"SFB 901 - Project Area B","_id":"3"}],"_id":"650","user_id":"477","department":[{"_id":"76"}],"language":[{"iso":"eng"}],"type":"mastersthesis","status":"public","date_updated":"2022-01-06T07:03:08Z","publisher":"Universität Paderborn","date_created":"2017-10-17T12:42:58Z","author":[{"full_name":"Platenius, Marie Christin","last_name":"Platenius","first_name":"Marie Christin"}],"title":"Reengineering of Design Deficiencies in Component-Based Software Architectures","year":"2011","citation":{"chicago":"Platenius, Marie Christin. <i>Reengineering of Design Deficiencies in Component-Based Software Architectures</i>. Universität Paderborn, 2011.","ieee":"M. C. Platenius, <i>Reengineering of Design Deficiencies in Component-Based Software Architectures</i>. Universität Paderborn, 2011.","ama":"Platenius MC. <i>Reengineering of Design Deficiencies in Component-Based Software Architectures</i>. Universität Paderborn; 2011.","bibtex":"@book{Platenius_2011, title={Reengineering of Design Deficiencies in Component-Based Software Architectures}, publisher={Universität Paderborn}, author={Platenius, Marie Christin}, year={2011} }","short":"M.C. Platenius, Reengineering of Design Deficiencies in Component-Based Software Architectures, Universität Paderborn, 2011.","mla":"Platenius, Marie Christin. <i>Reengineering of Design Deficiencies in Component-Based Software Architectures</i>. Universität Paderborn, 2011.","apa":"Platenius, M. C. (2011). <i>Reengineering of Design Deficiencies in Component-Based Software Architectures</i>. Universität Paderborn."}},{"year":"2010","place":"New York, NY, USA","intvolume":"         2","page":"299 - 300","citation":{"chicago":"Detten, Markus von, Matthias Meyer, and Dietrich Travkin. “Reverse Engineering with the Reclipse Tool Suite.” In <i>Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010</i>, 2:299–300. New York, NY, USA: ACM Press, 2010.","ieee":"M. von Detten, M. Meyer, and D. Travkin, “Reverse Engineering with the Reclipse Tool Suite,” in <i>Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010</i>, 2010, vol. 2, pp. 299–300.","ama":"von Detten M, Meyer M, Travkin D. Reverse Engineering with the Reclipse Tool Suite. In: <i>Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010</i>. Vol 2. ACM Press; 2010:299-300.","mla":"von Detten, Markus, et al. “Reverse Engineering with the Reclipse Tool Suite.” <i>Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010</i>, vol. 2, ACM Press, 2010, pp. 299–300.","bibtex":"@inproceedings{von Detten_Meyer_Travkin_2010, place={New York, NY, USA}, title={Reverse Engineering with the Reclipse Tool Suite}, volume={2}, booktitle={Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010}, publisher={ACM Press}, author={von Detten, Markus and Meyer, Matthias and Travkin, Dietrich}, year={2010}, pages={299–300} }","short":"M. von Detten, M. Meyer, D. Travkin, in: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, ACM Press, New York, NY, USA, 2010, pp. 299–300.","apa":"von Detten, M., Meyer, M., &#38; Travkin, D. (2010). Reverse Engineering with the Reclipse Tool Suite. <i>Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010</i>, <i>2</i>, 299–300."},"title":"Reverse Engineering with the Reclipse Tool Suite","date_updated":"2022-01-06T06:54:41Z","publisher":"ACM Press","volume":2,"author":[{"full_name":"von Detten, Markus","last_name":"von Detten","first_name":"Markus"},{"full_name":"Meyer, Matthias","id":"683","last_name":"Meyer","first_name":"Matthias"},{"first_name":"Dietrich","full_name":"Travkin, Dietrich","last_name":"Travkin"}],"date_created":"2021-01-13T10:00:42Z","status":"public","publication":"Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010","type":"conference","language":[{"iso":"eng"}],"_id":"20934","department":[{"_id":"76"}],"user_id":"5786"},{"type":"report","status":"public","abstract":[{"text":"Design pattern detection is a reverse engineering methodology that helps software engineers to analyze and understand legacy software by recovering design decisions and thereby providing deeper insight into software. In this report we present Reclipse, a reverse engineering tool suite based on Fujaba. Reclipse provides static and dynamic design pattern detection in combination with a pattern rating that is used to evaluate the quality of our detection results.","lang":"eng"}],"department":[{"_id":"76"}],"user_id":"5786","_id":"20935","language":[{"iso":"eng"}],"citation":{"ieee":"M. von Detten, M. Meyer, and D. Travkin, <i>Reclipse - A Reverse Engineering Tool Suite</i>. 2010.","chicago":"Detten, Markus von, Matthias Meyer, and Dietrich Travkin. <i>Reclipse - A Reverse Engineering Tool Suite</i>, 2010.","ama":"von Detten M, Meyer M, Travkin D. <i>Reclipse - A Reverse Engineering Tool Suite</i>.; 2010.","mla":"von Detten, Markus, et al. <i>Reclipse - A Reverse Engineering Tool Suite</i>. 2010.","short":"M. von Detten, M. Meyer, D. Travkin, Reclipse - A Reverse Engineering Tool Suite, 2010.","bibtex":"@book{von Detten_Meyer_Travkin_2010, title={Reclipse - A Reverse Engineering Tool Suite}, author={von Detten, Markus and Meyer, Matthias and Travkin, Dietrich}, year={2010} }","apa":"von Detten, M., Meyer, M., &#38; Travkin, D. (2010). <i>Reclipse - A Reverse Engineering Tool Suite</i>."},"year":"2010","author":[{"first_name":"Markus","last_name":"von Detten","full_name":"von Detten, Markus"},{"last_name":"Meyer","full_name":"Meyer, Matthias","id":"683","first_name":"Matthias"},{"first_name":"Dietrich","full_name":"Travkin, Dietrich","last_name":"Travkin"}],"date_created":"2021-01-13T10:01:07Z","date_updated":"2022-01-06T06:54:41Z","title":"Reclipse - A Reverse Engineering Tool Suite"},{"publication":"Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care","type":"conference","status":"public","_id":"20936","department":[{"_id":"76"}],"user_id":"5786","language":[{"iso":"eng"}],"year":"2010","place":"New York, NY, USA","page":"57-67","citation":{"ama":"Löffler R, Meyer M, Gottschalk M. Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications. In: <i>Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care</i>. ACM; 2010:57-67.","chicago":"Löffler, Renate, Matthias Meyer, and Matthias Gottschalk. “Formal Scenario-Based Requirements Specification and Test Case Generation in Healthcare Applications.” In <i>Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care</i>, 57–67. New York, NY, USA: ACM, 2010.","ieee":"R. Löffler, M. Meyer, and M. Gottschalk, “Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications,” in <i>Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care</i>, 2010, pp. 57–67.","apa":"Löffler, R., Meyer, M., &#38; Gottschalk, M. (2010). Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications. <i>Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care</i>, 57–67.","mla":"Löffler, Renate, et al. “Formal Scenario-Based Requirements Specification and Test Case Generation in Healthcare Applications.” <i>Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care</i>, ACM, 2010, pp. 57–67.","bibtex":"@inproceedings{Löffler_Meyer_Gottschalk_2010, place={New York, NY, USA}, title={Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications}, booktitle={Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care}, publisher={ACM}, author={Löffler, Renate and Meyer, Matthias and Gottschalk, Matthias}, year={2010}, pages={57–67} }","short":"R. Löffler, M. Meyer, M. Gottschalk, in: Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, ACM, New York, NY, USA, 2010, pp. 57–67."},"publisher":"ACM","date_updated":"2022-01-06T06:54:41Z","date_created":"2021-01-13T10:01:49Z","author":[{"first_name":"Renate","full_name":"Löffler, Renate","last_name":"Löffler"},{"first_name":"Matthias","last_name":"Meyer","id":"683","full_name":"Meyer, Matthias"},{"first_name":"Matthias","last_name":"Gottschalk","full_name":"Gottschalk, Matthias"}],"title":"Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications"},{"publication":"Lecture Notes in Computer Science","type":"book_chapter","status":"public","abstract":[{"text":"Self-healing promises to improve the dependability of systems. In particular safety-critical systems like automotive systems are well suited application, since safe operation is required in these systems even in case of failures. Prerequisite for the improved dependability is the correct realization of the self-healing techniques. Consequently, self-healing activities should be rigorously specified and appropriately integrated with the rest of the system. In this paper, we present an approach for designing self-healing mechanisms in automotive systems. The approach contains a construction model which consist of a structural description as well as an extensive set of constraints. The constraints specify a correct system structure and are also used in the self-healing activities. We exemplify the self-healing approach using the adaptive cruise control system of modern cars.\r\n","lang":"eng"}],"department":[{"_id":"76"}],"user_id":"5786","_id":"20961","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["9783642165757","9783642165764"],"issn":["0302-9743","1611-3349"]},"publication_status":"published","citation":{"apa":"Seebach, H., Nafz, F., Holtmann, J., Meyer, J., Tichy, M., Reif, W., &#38; Schäfer, W. (2010). Designing Self-healing in Automotive Systems. In <i>Lecture Notes in Computer Science</i>. <a href=\"https://doi.org/10.1007/978-3-642-16576-4_4\">https://doi.org/10.1007/978-3-642-16576-4_4</a>","bibtex":"@inbook{Seebach_Nafz_Holtmann_Meyer_Tichy_Reif_Schäfer_2010, place={Berlin, Heidelberg}, title={Designing Self-healing in Automotive Systems}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-16576-4_4\">10.1007/978-3-642-16576-4_4</a>}, booktitle={Lecture Notes in Computer Science}, author={Seebach, Hella and Nafz, Florian and Holtmann, Jörg and Meyer, Jan and Tichy, Matthias and Reif, Wolfgang and Schäfer, Wilhelm}, year={2010} }","mla":"Seebach, Hella, et al. “Designing Self-Healing in Automotive Systems.” <i>Lecture Notes in Computer Science</i>, 2010, doi:<a href=\"https://doi.org/10.1007/978-3-642-16576-4_4\">10.1007/978-3-642-16576-4_4</a>.","short":"H. Seebach, F. Nafz, J. Holtmann, J. Meyer, M. Tichy, W. Reif, W. Schäfer, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.","ieee":"H. Seebach <i>et al.</i>, “Designing Self-healing in Automotive Systems,” in <i>Lecture Notes in Computer Science</i>, Berlin, Heidelberg, 2010.","chicago":"Seebach, Hella, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, and Wilhelm Schäfer. “Designing Self-Healing in Automotive Systems.” In <i>Lecture Notes in Computer Science</i>. Berlin, Heidelberg, 2010. <a href=\"https://doi.org/10.1007/978-3-642-16576-4_4\">https://doi.org/10.1007/978-3-642-16576-4_4</a>.","ama":"Seebach H, Nafz F, Holtmann J, et al. Designing Self-healing in Automotive Systems. In: <i>Lecture Notes in Computer Science</i>. ; 2010. doi:<a href=\"https://doi.org/10.1007/978-3-642-16576-4_4\">10.1007/978-3-642-16576-4_4</a>"},"place":"Berlin, Heidelberg","year":"2010","author":[{"last_name":"Seebach","full_name":"Seebach, Hella","first_name":"Hella"},{"first_name":"Florian","last_name":"Nafz","full_name":"Nafz, Florian"},{"first_name":"Jörg","id":"3875","full_name":"Holtmann, Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann"},{"full_name":"Meyer, Jan","last_name":"Meyer","first_name":"Jan"},{"full_name":"Tichy, Matthias","last_name":"Tichy","first_name":"Matthias"},{"full_name":"Reif, Wolfgang","last_name":"Reif","first_name":"Wolfgang"},{"first_name":"Wilhelm","full_name":"Schäfer, Wilhelm","last_name":"Schäfer"}],"date_created":"2021-01-13T10:54:04Z","date_updated":"2022-01-06T06:54:42Z","doi":"10.1007/978-3-642-16576-4_4","title":"Designing Self-healing in Automotive Systems"},{"status":"public","abstract":[{"text":"Im Bereich der eingebetteten Systeme, beispielsweise im Automobilsektor, wird heutzutage immer mehr auf eine modellbasierte Entwicklung gesetzt. Die Anforderungen an die zu entwickelnden Systeme werden dagegen aus juristischen Gründen und zwecks einer guten Verständlichkeit nach wie vor rein textuell formuliert. Ein Prosatext lässt sich allerdings wegen der Fülle von Formulierungsmöglichkeiten nicht automatisiert verarbeiten. Dies führt dazu, dass die Qualitätsanalyse der Anforderungen und der Übergang von textuellen Anforderungen zu Systemmodellen auf manuelle Weise erfolgen müssen. Dies kostet Zeit und ist fehleranfällig. In diesem Beitrag wird ein Ansatz vorgestellt, mit dem Anforderungen auf Basis von Satzmustern weiterhin textuell, aber gleichzeitig auch automatisiert verarbeitbar formuliert werden können.","lang":"eng"}],"type":"journal_article","publication":"OBJEKTspektrum","language":[{"iso":"eng"}],"user_id":"5786","department":[{"_id":"76"}],"_id":"20962","citation":{"apa":"Holtmann, J. (2010). Mit Satzmustern von textuellen Anforderungen zu Modellen. <i>OBJEKTspektrum</i>, <i>RE/2010</i>.","bibtex":"@article{Holtmann_2010, title={Mit Satzmustern von textuellen Anforderungen zu Modellen}, number={RE/2010}, journal={OBJEKTspektrum}, author={Holtmann, Jörg}, year={2010} }","short":"J. Holtmann, OBJEKTspektrum (2010).","mla":"Holtmann, Jörg. “Mit Satzmustern von Textuellen Anforderungen Zu Modellen.” <i>OBJEKTspektrum</i>, no. RE/2010, 2010.","chicago":"Holtmann, Jörg. “Mit Satzmustern von Textuellen Anforderungen Zu Modellen.” <i>OBJEKTspektrum</i>, no. RE/2010 (2010).","ieee":"J. Holtmann, “Mit Satzmustern von textuellen Anforderungen zu Modellen,” <i>OBJEKTspektrum</i>, no. RE/2010, 2010.","ama":"Holtmann J. Mit Satzmustern von textuellen Anforderungen zu Modellen. <i>OBJEKTspektrum</i>. 2010;(RE/2010)."},"year":"2010","issue":"RE/2010","title":"Mit Satzmustern von textuellen Anforderungen zu Modellen","author":[{"last_name":"Holtmann","full_name":"Holtmann, Jörg","first_name":"Jörg"}],"date_created":"2021-01-13T10:54:49Z","date_updated":"2022-01-06T06:54:42Z"},{"publisher":"Bonner Koellen Verlag","date_updated":"2022-01-06T06:54:42Z","volume":"P-160","author":[{"full_name":"Meyer, Jan","last_name":"Meyer","first_name":"Jan"},{"first_name":"Jörg","id":"3875","full_name":"Holtmann, Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann"},{"last_name":"Schäfer","full_name":"Schäfer, Wilhelm","first_name":"Wilhelm"},{"first_name":"Ulrich A.","full_name":"Nickel, Ulrich A.","last_name":"Nickel"}],"date_created":"2021-01-13T10:55:51Z","title":"Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie","year":"2010","citation":{"apa":"Meyer, J., Holtmann, J., Schäfer, W., &#38; Nickel, U. A. (2010). Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie. <i>Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium)</i>, <i>P-160</i>.","short":"J. Meyer, J. Holtmann, W. Schäfer, U.A. Nickel, in: Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium), Bonner Koellen Verlag, 2010.","bibtex":"@inproceedings{Meyer_Holtmann_Schäfer_Nickel_2010, series={GI-Edition - Lecture Notes in Informatics (LNI)}, title={Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie}, volume={P-160}, booktitle={Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium)}, publisher={Bonner Koellen Verlag}, author={Meyer, Jan and Holtmann, Jörg and Schäfer, Wilhelm and Nickel, Ulrich A.}, year={2010}, collection={GI-Edition - Lecture Notes in Informatics (LNI)} }","mla":"Meyer, Jan, et al. “Eine Erweiterte Systemmodellierung Zur Entwicklung von Softwareintensiven Anwendungen in Der Automobilindustrie.” <i>Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium)</i>, vol. P-160, Bonner Koellen Verlag, 2010.","ama":"Meyer J, Holtmann J, Schäfer W, Nickel UA. Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie. In: <i>Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium)</i>. Vol P-160. GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen Verlag; 2010.","chicago":"Meyer, Jan, Jörg Holtmann, Wilhelm Schäfer, and Ulrich A. Nickel. “Eine Erweiterte Systemmodellierung Zur Entwicklung von Softwareintensiven Anwendungen in Der Automobilindustrie.” In <i>Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium)</i>, Vol. P-160. GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen Verlag, 2010.","ieee":"J. Meyer, J. Holtmann, W. Schäfer, and U. A. Nickel, “Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie,” in <i>Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium)</i>, 2010, vol. P-160."},"_id":"20963","department":[{"_id":"76"}],"series_title":"GI-Edition - Lecture Notes in Informatics (LNI)","user_id":"5786","language":[{"iso":"eng"}],"publication":"Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium)","type":"conference","abstract":[{"text":"Heutige Transportsysteme, wie z.B. Automobile sind gekennzeichnet durch eine Vielzahl von Funktionalitaet, die sehr haeufig durch Software realisiert wird. Hiermit ist eine Zunahme der Komplexitaet festzustellen. Zur Beherrschung dieser Komplexitaet und damit einhergehend die Aufteilung des Systems in verschiedene Komponenten, ist eine Gesamtmodellierung des Systems inklusive des Verhaltens unerlaesslich. Ein besonderer Augenmerk liegt auf Grund der Echtzeitsysteme in dieser Domaene dabei auf der Modellierung von Zeiten auf Systemebene. Die derzeitigen Modellierungskonzepte, wie beispielsweise die Systems Modeling Language (SysML), sind dafuer aber noch nicht ausreichend. In dem hier vorgestellten Ansatz wird eine erweiterte Systemmodellierung vorgestellt, die zusaetzlich eine formale Spezifizierung von Zeiten erlaubt. Durch diese Modellierung sind weitere Analysemethoden, wie z.B. Simulationen oder Verifikationen moeglich, die zum einen die sicherheitsrelevante Funktionalitaet sicherstellen und zum anderen die Qualitaet der Software steigern.","lang":"ger"}],"status":"public"},{"_id":"20937","user_id":"5786","department":[{"_id":"76"}],"language":[{"iso":"eng"}],"type":"dissertation","status":"public","publisher":"Universitaetsbibliothek Paderborn","date_updated":"2022-01-06T06:54:41Z","author":[{"first_name":"Matthias","full_name":"Meyer, Matthias","last_name":"Meyer"}],"date_created":"2021-01-13T10:02:36Z","title":"Musterbasiertes Re-Engineering von Softwaresystemen","main_file_link":[{"url":"http://ubdok.uni-paderborn.de/servlets/DocumentServlet?id=11678"}],"year":"2009","citation":{"apa":"Meyer, M. (2009). <i>Musterbasiertes Re-Engineering von Softwaresystemen</i>. Universitaetsbibliothek Paderborn.","bibtex":"@book{Meyer_2009, title={Musterbasiertes Re-Engineering von Softwaresystemen}, publisher={Universitaetsbibliothek Paderborn}, author={Meyer, Matthias}, year={2009} }","mla":"Meyer, Matthias. <i>Musterbasiertes Re-Engineering von Softwaresystemen</i>. Universitaetsbibliothek Paderborn, 2009.","short":"M. Meyer, Musterbasiertes Re-Engineering von Softwaresystemen, Universitaetsbibliothek Paderborn, 2009.","ama":"Meyer M. <i>Musterbasiertes Re-Engineering von Softwaresystemen</i>. Universitaetsbibliothek Paderborn; 2009.","chicago":"Meyer, Matthias. <i>Musterbasiertes Re-Engineering von Softwaresystemen</i>. Universitaetsbibliothek Paderborn, 2009.","ieee":"M. Meyer, <i>Musterbasiertes Re-Engineering von Softwaresystemen</i>. Universitaetsbibliothek Paderborn, 2009."}},{"type":"conference","publication":"Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany","status":"public","user_id":"5786","department":[{"_id":"76"}],"_id":"20938","language":[{"iso":"eng"}],"citation":{"ama":"Tichy M, Henkler S, Meyer M, von Detten M. Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse. In: <i>Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany</i>. ; 2008.","chicago":"Tichy, Matthias, Stefan Henkler, Matthias Meyer, and Markus von Detten. “Safety of Component-Based Systems: Analysis and Improvement Using Fujaba4Eclipse.” In <i>Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany</i>, 2008.","ieee":"M. Tichy, S. Henkler, M. Meyer, and M. von Detten, “Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse,” 2008.","apa":"Tichy, M., Henkler, S., Meyer, M., &#38; von Detten, M. (2008). Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse. <i>Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany</i>.","short":"M. Tichy, S. Henkler, M. Meyer, M. von Detten, in: Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany, 2008.","bibtex":"@inproceedings{Tichy_Henkler_Meyer_von Detten_2008, title={Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse}, booktitle={Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany}, author={Tichy, Matthias and Henkler, Stefan and Meyer, Matthias and von Detten, Markus}, year={2008} }","mla":"Tichy, Matthias, et al. “Safety of Component-Based Systems: Analysis and Improvement Using Fujaba4Eclipse.” <i>Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany</i>, 2008."},"year":"2008","date_created":"2021-01-13T10:04:58Z","author":[{"first_name":"Matthias","last_name":"Tichy","full_name":"Tichy, Matthias"},{"first_name":"Stefan","full_name":"Henkler, Stefan","last_name":"Henkler"},{"first_name":"Matthias","id":"683","full_name":"Meyer, Matthias","last_name":"Meyer"},{"first_name":"Markus","last_name":"von Detten","full_name":"von Detten, Markus"}],"date_updated":"2022-01-06T06:54:41Z","title":"Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse"},{"date_updated":"2022-01-06T06:54:42Z","date_created":"2021-01-13T10:48:57Z","author":[{"first_name":"Ekkart","full_name":"Kindler, Ekkart","last_name":"Kindler"},{"first_name":"David","last_name":"Schmelter","orcid":"0000-0001-7787-5380","id":"40982","full_name":"Schmelter, David"}],"title":"Aspect-oriented modelling from a different angle","doi":"10.1145/1404920.1404922","publication_status":"published","publication_identifier":{"isbn":["9781605581453"]},"year":"2008","citation":{"mla":"Kindler, Ekkart, and David Schmelter. “Aspect-Oriented Modelling from a Different Angle.” <i>Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08</i>, 2008, doi:<a href=\"https://doi.org/10.1145/1404920.1404922\">10.1145/1404920.1404922</a>.","bibtex":"@inproceedings{Kindler_Schmelter_2008, title={Aspect-oriented modelling from a different angle}, DOI={<a href=\"https://doi.org/10.1145/1404920.1404922\">10.1145/1404920.1404922</a>}, booktitle={Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling - AOM ’08}, author={Kindler, Ekkart and Schmelter, David}, year={2008} }","short":"E. Kindler, D. Schmelter, in: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08, 2008.","apa":"Kindler, E., &#38; Schmelter, D. (2008). Aspect-oriented modelling from a different angle. <i>Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08</i>. <a href=\"https://doi.org/10.1145/1404920.1404922\">https://doi.org/10.1145/1404920.1404922</a>","ieee":"E. Kindler and D. Schmelter, “Aspect-oriented modelling from a different angle,” 2008, doi: <a href=\"https://doi.org/10.1145/1404920.1404922\">10.1145/1404920.1404922</a>.","chicago":"Kindler, Ekkart, and David Schmelter. “Aspect-Oriented Modelling from a Different Angle.” In <i>Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08</i>, 2008. <a href=\"https://doi.org/10.1145/1404920.1404922\">https://doi.org/10.1145/1404920.1404922</a>.","ama":"Kindler E, Schmelter D. Aspect-oriented modelling from a different angle. In: <i>Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08</i>. ; 2008. doi:<a href=\"https://doi.org/10.1145/1404920.1404922\">10.1145/1404920.1404922</a>"},"_id":"20957","user_id":"5786","department":[{"_id":"76"}],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling - AOM '08","abstract":[{"text":"In this paper, we report on a new approach of aspect-oriented modelling, which is particularly suited for domains with naturally born aspects as part of that domain: MoDowA for Modelling Domains with Aspects. Though these models are on a very high level of abstraction and could be made early in the development process, these models are fully operational in that they can be executed by an interpreter. This way, we shed a light on Aspect-oriented Modelling from a new, different angle.","lang":"eng"}],"status":"public"},{"publication":"Proc. of the 6th International Fujaba Days 2008, Dresden, Germany","type":"conference","abstract":[{"text":"A current trend in Software Engineering is the development of self-adaptive component-based software architectures. Our modeling approach for component-based software systems Mechatronic UML, integrated in the Fujaba Real-Time Tool Suite plugin for Fujaba4Eclipse, supports self-adaptiveness only to a certain degree. This paper presents tool support for an extension of Mechatronic UML, which facilitates initialization and recon\fguration of a Mechatronic UML system based on Story Diagrams and thus enables a step towards self-adaptiveness on a structural level.","lang":"eng"}],"status":"public","_id":"20964","department":[{"_id":"76"}],"user_id":"5786","language":[{"iso":"eng"}],"year":"2008","page":"44-47","citation":{"short":"J. Holtmann, M. Tichy, in: Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, 2008, pp. 44–47.","bibtex":"@inproceedings{Holtmann_Tichy_2008, title={Component Story Diagrams in Fujaba4Eclipse}, booktitle={Proc. of the 6th International Fujaba Days 2008, Dresden, Germany}, author={Holtmann, Jörg and Tichy, Matthias}, year={2008}, pages={44–47} }","mla":"Holtmann, Jörg, and Matthias Tichy. “Component Story Diagrams in Fujaba4Eclipse.” <i>Proc. of the 6th International Fujaba Days 2008, Dresden, Germany</i>, 2008, pp. 44–47.","apa":"Holtmann, J., &#38; Tichy, M. (2008). Component Story Diagrams in Fujaba4Eclipse. <i>Proc. of the 6th International Fujaba Days 2008, Dresden, Germany</i>, 44–47.","ama":"Holtmann J, Tichy M. Component Story Diagrams in Fujaba4Eclipse. In: <i>Proc. of the 6th International Fujaba Days 2008, Dresden, Germany</i>. ; 2008:44-47.","ieee":"J. Holtmann and M. Tichy, “Component Story Diagrams in Fujaba4Eclipse,” in <i>Proc. of the 6th International Fujaba Days 2008, Dresden, Germany</i>, 2008, pp. 44–47.","chicago":"Holtmann, Jörg, and Matthias Tichy. “Component Story Diagrams in Fujaba4Eclipse.” In <i>Proc. of the 6th International Fujaba Days 2008, Dresden, Germany</i>, 44–47, 2008."},"date_updated":"2022-01-06T06:54:42Z","date_created":"2021-01-13T10:56:37Z","author":[{"first_name":"Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","id":"3875","full_name":"Holtmann, Jörg"},{"full_name":"Tichy, Matthias","last_name":"Tichy","first_name":"Matthias"}],"title":"Component Story Diagrams in Fujaba4Eclipse"},{"year":"2008","citation":{"ama":"Holtmann J. <i>Graphtransformationen Für Komponentenbasierte Softwarearchitekturen</i>. Software Engineering Group, University of Paderborn; 2008.","ieee":"J. Holtmann, <i>Graphtransformationen für komponentenbasierte Softwarearchitekturen</i>. Software Engineering Group, University of Paderborn, 2008.","chicago":"Holtmann, Jörg. <i>Graphtransformationen Für Komponentenbasierte Softwarearchitekturen</i>. Software Engineering Group, University of Paderborn, 2008.","bibtex":"@book{Holtmann_2008, title={Graphtransformationen für komponentenbasierte Softwarearchitekturen}, publisher={Software Engineering Group, University of Paderborn}, author={Holtmann, Jörg}, year={2008} }","mla":"Holtmann, Jörg. <i>Graphtransformationen Für Komponentenbasierte Softwarearchitekturen</i>. Software Engineering Group, University of Paderborn, 2008.","short":"J. Holtmann, Graphtransformationen Für Komponentenbasierte Softwarearchitekturen, Software Engineering Group, University of Paderborn, 2008.","apa":"Holtmann, J. (2008). <i>Graphtransformationen für komponentenbasierte Softwarearchitekturen</i>. Software Engineering Group, University of Paderborn."},"title":"Graphtransformationen für komponentenbasierte Softwarearchitekturen","publisher":"Software Engineering Group, University of Paderborn","date_updated":"2022-01-06T06:54:42Z","author":[{"first_name":"Jörg","full_name":"Holtmann, Jörg","last_name":"Holtmann"}],"date_created":"2021-01-13T10:57:22Z","status":"public","type":"mastersthesis","language":[{"iso":"eng"}],"_id":"20965","department":[{"_id":"76"}],"user_id":"5786"},{"date_created":"2021-01-13T10:58:31Z","author":[{"last_name":"Tichy","full_name":"Tichy, Matthias","first_name":"Matthias"},{"full_name":"Henkler, Stefan","last_name":"Henkler","first_name":"Stefan"},{"last_name":"Holtmann","orcid":"0000-0001-6141-4571","id":"3875","full_name":"Holtmann, Jörg","first_name":"Jörg"},{"first_name":"Simon","last_name":"Oberthür","full_name":"Oberthür, Simon"}],"volume":236,"publisher":"Heinz Nixdorf Institut","date_updated":"2022-01-06T06:54:42Z","title":"Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems","citation":{"apa":"Tichy, M., Henkler, S., Holtmann, J., &#38; Oberthür, S. (2008). Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems. <i>Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany</i>, <i>236</i>, 27–38.","short":"M. Tichy, S. Henkler, J. Holtmann, S. Oberthür, in: Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, Heinz Nixdorf Institut, 2008, pp. 27–38.","mla":"Tichy, Matthias, et al. “Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems.” <i>Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany</i>, vol. 236, Heinz Nixdorf Institut, 2008, pp. 27–38.","bibtex":"@inproceedings{Tichy_Henkler_Holtmann_Oberthür_2008, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems}, volume={236}, booktitle={Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany}, publisher={Heinz Nixdorf Institut}, author={Tichy, Matthias and Henkler, Stefan and Holtmann, Jörg and Oberthür, Simon}, year={2008}, pages={27–38}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }","ama":"Tichy M, Henkler S, Holtmann J, Oberthür S. Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems. In: <i>Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany</i>. Vol 236. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut; 2008:27-38.","chicago":"Tichy, Matthias, Stefan Henkler, Jörg Holtmann, and Simon Oberthür. “Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems.” In <i>Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany</i>, 236:27–38. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut, 2008.","ieee":"M. Tichy, S. Henkler, J. Holtmann, and S. Oberthür, “Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems,” in <i>Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany</i>, 2008, vol. 236, pp. 27–38."},"page":"27-38","intvolume":"       236","year":"2008","series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","user_id":"5786","department":[{"_id":"76"}],"_id":"20966","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany","status":"public","abstract":[{"text":"To cope with the high complexity of software in advanced technical systems, the software of these systems is often built in a component-based fashion. The growing usage of self-adaptive techniques leads to sophisticated reconfigurations of the software component structures during runtime. Current modeling approaches for component-based software systems do not include a transformation language for the specification of component structure reconfigurations. In this paper we therefore introduce an extension of a component-based modeling approach. This extension enables (1) the specification of hierarchical component structures and (2) the specification of structural transformations based on the specified hierarchical component structures. Further, as we consider mechatronic systems, we also show the predictable runtime behavior of the transformations.","lang":"eng"}]},{"status":"public","type":"mastersthesis","language":[{"iso":"eng"}],"_id":"20968","user_id":"5786","department":[{"_id":"76"}],"year":"2008","citation":{"ama":"Holtmann J. <i>Graphtransformationen Für Komponentenbasierte Softwarearchitekturen</i>. Software Engineering Group, University of Paderborn; 2008.","ieee":"J. Holtmann, <i>Graphtransformationen für komponentenbasierte Softwarearchitekturen</i>. Software Engineering Group, University of Paderborn, 2008.","chicago":"Holtmann, Jörg. <i>Graphtransformationen Für Komponentenbasierte Softwarearchitekturen</i>. Software Engineering Group, University of Paderborn, 2008.","apa":"Holtmann, J. (2008). <i>Graphtransformationen für komponentenbasierte Softwarearchitekturen</i>. Software Engineering Group, University of Paderborn.","bibtex":"@book{Holtmann_2008, title={Graphtransformationen für komponentenbasierte Softwarearchitekturen}, publisher={Software Engineering Group, University of Paderborn}, author={Holtmann, Jörg}, year={2008} }","short":"J. Holtmann, Graphtransformationen Für Komponentenbasierte Softwarearchitekturen, Software Engineering Group, University of Paderborn, 2008.","mla":"Holtmann, Jörg. <i>Graphtransformationen Für Komponentenbasierte Softwarearchitekturen</i>. Software Engineering Group, University of Paderborn, 2008."},"title":"Graphtransformationen für komponentenbasierte Softwarearchitekturen","date_updated":"2022-01-06T06:54:42Z","publisher":"Software Engineering Group, University of Paderborn","date_created":"2021-01-13T11:33:19Z","author":[{"full_name":"Holtmann, Jörg","id":"3875","last_name":"Holtmann","orcid":"0000-0001-6141-4571","first_name":"Jörg"}]},{"year":"2007","citation":{"apa":"Delic, A., Avdagic, Z., Schäfer, W., Boskovic, D., &#38; Meyer, M. (2007). Program evaluation using fuzzy logic with bad smells as inputs. <i>Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina</i>.","mla":"Delic, A., et al. “Program Evaluation Using Fuzzy Logic with Bad Smells as Inputs.” <i>Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina</i>, Faculty of Electrical Engineering, University of Sarajevo, 2007.","bibtex":"@inproceedings{Delic_Avdagic_Schäfer_Boskovic_Meyer_2007, title={Program evaluation using fuzzy logic with bad smells as inputs}, booktitle={Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina}, publisher={Faculty of Electrical Engineering, University of Sarajevo}, author={Delic, A. and Avdagic, Z. and Schäfer, Wilhelm and Boskovic, Dusanka and Meyer, Matthias}, year={2007} }","short":"A. Delic, Z. Avdagic, W. Schäfer, D. Boskovic, M. Meyer, in: Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina, Faculty of Electrical Engineering, University of Sarajevo, 2007.","ama":"Delic A, Avdagic Z, Schäfer W, Boskovic D, Meyer M. Program evaluation using fuzzy logic with bad smells as inputs. In: <i>Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina</i>. Faculty of Electrical Engineering, University of Sarajevo; 2007.","chicago":"Delic, A., Z. Avdagic, Wilhelm Schäfer, Dusanka Boskovic, and Matthias Meyer. “Program Evaluation Using Fuzzy Logic with Bad Smells as Inputs.” In <i>Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina</i>. Faculty of Electrical Engineering, University of Sarajevo, 2007.","ieee":"A. Delic, Z. Avdagic, W. Schäfer, D. Boskovic, and M. Meyer, “Program evaluation using fuzzy logic with bad smells as inputs,” 2007."},"date_updated":"2022-01-06T06:54:42Z","publisher":"Faculty of Electrical Engineering, University of Sarajevo","date_created":"2021-01-13T10:18:05Z","author":[{"full_name":"Delic, A.","last_name":"Delic","first_name":"A."},{"first_name":"Z.","last_name":"Avdagic","full_name":"Avdagic, Z."},{"full_name":"Schäfer, Wilhelm","last_name":"Schäfer","first_name":"Wilhelm"},{"first_name":"Dusanka","last_name":"Boskovic","full_name":"Boskovic, Dusanka"},{"last_name":"Meyer","full_name":"Meyer, Matthias","id":"683","first_name":"Matthias"}],"title":"Program evaluation using fuzzy logic with bad smells as inputs","publication":"Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina","type":"conference","status":"public","_id":"20949","department":[{"_id":"76"}],"user_id":"5786","language":[{"iso":"eng"}]}]