[{"_id":"20973","user_id":"8472","department":[{"_id":"241"},{"_id":"662"}],"language":[{"iso":"eng"}],"type":"report","status":"public","date_updated":"2022-01-06T06:54:42Z","date_created":"2021-01-13T13:10:02Z","author":[{"first_name":"Marian","full_name":"Daun, Marian","last_name":"Daun"},{"orcid":"0000-0002-1269-0702","last_name":"Fockel","full_name":"Fockel, Markus","id":"8472","first_name":"Markus"},{"first_name":"Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","full_name":"Holtmann, Jörg","id":"3875"},{"full_name":"Tenbergen, Bastian","last_name":"Tenbergen","first_name":"Bastian"}],"title":"Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study \"Body Control Module\"","main_file_link":[{"url":"http://www.icb.uni-due.de/fileadmin/ICB/research/research_reports/ICB-Report-No55.pdf"}],"year":"2013","citation":{"ama":"Daun M, Fockel M, Holtmann J, Tenbergen B. <i>Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module.”</i>; 2013.","chicago":"Daun, Marian, Markus Fockel, Jörg Holtmann, and Bastian Tenbergen. <i>Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module,”</i> 2013.","ieee":"M. Daun, M. Fockel, J. Holtmann, and B. Tenbergen, <i>Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module.”</i> 2013.","apa":"Daun, M., Fockel, M., Holtmann, J., &#38; Tenbergen, B. (2013). <i>Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module.”</i>","mla":"Daun, Marian, et al. <i>Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module.”</i> 2013.","short":"M. Daun, M. Fockel, J. Holtmann, B. Tenbergen, Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module,” 2013.","bibtex":"@book{Daun_Fockel_Holtmann_Tenbergen_2013, title={Goal-Scenario-Oriented Requirements Engineering for Functional Decomposition with Bidirectional Transformation to Controlled Natural Language. Case Study “Body Control Module”}, author={Daun, Marian and Fockel, Markus and Holtmann, Jörg and Tenbergen, Bastian}, year={2013} }"}},{"language":[{"iso":"eng"}],"user_id":"5786","department":[{"_id":"76"},{"_id":"241"},{"_id":"662"}],"_id":"20974","status":"public","abstract":[{"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","lang":"eng"}],"type":"conference","publication":"2012 Second International Workshop on Software Engineering for Embedded Systems (SEES)","doi":"10.1109/sees.2012.6225489","title":"Semi-automatic establishment and maintenance of valid traceability in automotive development processes","author":[{"last_name":"Fockel","orcid":"0000-0002-1269-0702","id":"8472","full_name":"Fockel, Markus","first_name":"Markus"},{"first_name":"Jörg","full_name":"Holtmann, Jörg","id":"3875","orcid":"0000-0001-6141-4571","last_name":"Holtmann"},{"full_name":"Meyer, Jan","last_name":"Meyer","first_name":"Jan"}],"date_created":"2021-01-13T13:12:50Z","date_updated":"2022-01-06T06:54:42Z","citation":{"ama":"Fockel M, Holtmann J, Meyer J. Semi-automatic establishment and maintenance of valid traceability in automotive development processes. In: <i>2012 Second International Workshop on Software Engineering for Embedded Systems (SEES)</i>. ; 2012. doi:<a href=\"https://doi.org/10.1109/sees.2012.6225489\">10.1109/sees.2012.6225489</a>","ieee":"M. Fockel, J. Holtmann, and J. Meyer, “Semi-automatic establishment and maintenance of valid traceability in automotive development processes,” 2012, doi: <a href=\"https://doi.org/10.1109/sees.2012.6225489\">10.1109/sees.2012.6225489</a>.","chicago":"Fockel, Markus, Jörg Holtmann, and Jan Meyer. “Semi-Automatic Establishment and Maintenance of Valid Traceability in Automotive Development Processes.” In <i>2012 Second International Workshop on Software Engineering for Embedded Systems (SEES)</i>, 2012. <a href=\"https://doi.org/10.1109/sees.2012.6225489\">https://doi.org/10.1109/sees.2012.6225489</a>.","short":"M. Fockel, J. Holtmann, J. Meyer, in: 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES), 2012.","mla":"Fockel, Markus, et al. “Semi-Automatic Establishment and Maintenance of Valid Traceability in Automotive Development Processes.” <i>2012 Second International Workshop on Software Engineering for Embedded Systems (SEES)</i>, 2012, doi:<a href=\"https://doi.org/10.1109/sees.2012.6225489\">10.1109/sees.2012.6225489</a>.","bibtex":"@inproceedings{Fockel_Holtmann_Meyer_2012, title={Semi-automatic establishment and maintenance of valid traceability in automotive development processes}, DOI={<a href=\"https://doi.org/10.1109/sees.2012.6225489\">10.1109/sees.2012.6225489</a>}, booktitle={2012 Second International Workshop on Software Engineering for Embedded Systems (SEES)}, author={Fockel, Markus and Holtmann, Jörg and Meyer, Jan}, year={2012} }","apa":"Fockel, M., Holtmann, J., &#38; Meyer, J. (2012). Semi-automatic establishment and maintenance of valid traceability in automotive development processes. <i>2012 Second International Workshop on Software Engineering for Embedded Systems (SEES)</i>. <a href=\"https://doi.org/10.1109/sees.2012.6225489\">https://doi.org/10.1109/sees.2012.6225489</a>"},"year":"2012","publication_status":"published","publication_identifier":{"isbn":["9781467318532","9781467318525"]}},{"title":"Application and Evaluation in the Automotive Domain","doi":"10.1007/978-3-642-34614-9_12","date_updated":"2022-01-06T06:54:41Z","date_created":"2021-01-12T14:21:35Z","author":[{"first_name":"Markus","id":"8472","full_name":"Fockel, Markus","last_name":"Fockel","orcid":"0000-0002-1269-0702"},{"full_name":"Heidl, Peter","last_name":"Heidl","first_name":"Peter"},{"first_name":"Jens","last_name":"Höfflinger","full_name":"Höfflinger, Jens"},{"full_name":"Hönninger, Harald","last_name":"Hönninger","first_name":"Harald"},{"orcid":"0000-0001-6141-4571","last_name":"Holtmann","full_name":"Holtmann, Jörg","id":"3875","first_name":"Jörg"},{"last_name":"Horn","full_name":"Horn, Wilfried","first_name":"Wilfried"},{"first_name":"Jan","last_name":"Meyer","full_name":"Meyer, Jan"},{"full_name":"Meyer, Matthias","id":"683","last_name":"Meyer","first_name":"Matthias"},{"last_name":"Schäuffele","full_name":"Schäuffele, Jörg","first_name":"Jörg"}],"place":"Berlin, Heidelberg","year":"2012","citation":{"ama":"Fockel M, Heidl P, Höfflinger J, et al. Application and Evaluation in the Automotive Domain. In: <i>Model-Based Engineering of Embedded Systems</i>. ; 2012. doi:<a href=\"https://doi.org/10.1007/978-3-642-34614-9_12\">10.1007/978-3-642-34614-9_12</a>","ieee":"M. Fockel <i>et al.</i>, “Application and Evaluation in the Automotive Domain,” in <i>Model-Based Engineering of Embedded Systems</i>, Berlin, Heidelberg, 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 <i>Model-Based Engineering of Embedded Systems</i>. Berlin, Heidelberg, 2012. <a href=\"https://doi.org/10.1007/978-3-642-34614-9_12\">https://doi.org/10.1007/978-3-642-34614-9_12</a>.","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={<a href=\"https://doi.org/10.1007/978-3-642-34614-9_12\">10.1007/978-3-642-34614-9_12</a>}, 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} }","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.","mla":"Fockel, Markus, et al. “Application and Evaluation in the Automotive Domain.” <i>Model-Based Engineering of Embedded Systems</i>, 2012, doi:<a href=\"https://doi.org/10.1007/978-3-642-34614-9_12\">10.1007/978-3-642-34614-9_12</a>.","apa":"Fockel, M., Heidl, P., Höfflinger, J., Hönninger, H., Holtmann, J., Horn, W., Meyer, J., Meyer, M., &#38; Schäuffele, J. (2012). Application and Evaluation in the Automotive Domain. In <i>Model-Based Engineering of Embedded Systems</i>. <a href=\"https://doi.org/10.1007/978-3-642-34614-9_12\">https://doi.org/10.1007/978-3-642-34614-9_12</a>"},"publication_identifier":{"isbn":["9783642346132","9783642346149"]},"publication_status":"published","language":[{"iso":"eng"}],"_id":"20914","department":[{"_id":"76"},{"_id":"241"},{"_id":"662"}],"user_id":"5786","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."}],"status":"public","publication":"Model-Based Engineering of Embedded Systems","type":"book_chapter"},{"language":[{"iso":"eng"}],"user_id":"5786","department":[{"_id":"76"}],"_id":"20975","status":"public","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"}],"type":"conference","publication":"Proceedings of the 8th International Fujaba Days","title":"Interpreting Story Diagrams for the Static Detection of Software Patterns","date_created":"2021-01-13T13:15:48Z","author":[{"first_name":"Markus","orcid":"0000-0002-1269-0702","last_name":"Fockel","id":"8472","full_name":"Fockel, Markus"},{"first_name":"Dietrich","last_name":"Travkin","full_name":"Travkin, Dietrich"},{"first_name":"Markus","full_name":"von Detten, Markus","last_name":"von Detten"}],"date_updated":"2022-01-06T06:54:42Z","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>.","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} }","short":"M. Fockel, D. Travkin, M. von Detten, in: Proceedings of the 8th International Fujaba Days, University of Tartu, Estonia, 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."},"year":"2011","place":"University of Tartu, Estonia"}]