[{"doi":"10.1145/2465449.2465454","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:02:06Z","title":"A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing","year":"2013","author":[{"first_name":"Marie","last_name":"Platenius","full_name":"Platenius, Marie"},{"first_name":"Markus","last_name":"von Detten","full_name":"von Detten, Markus"},{"full_name":"Becker, Steffen","first_name":"Steffen","last_name":"Becker"},{"first_name":"Wilhelm","last_name":"Schäfer","full_name":"Schäfer, Wilhelm"},{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"}],"type":"conference","department":[{"_id":"66"},{"_id":"76"}],"file":[{"relation":"main_file","date_updated":"2018-03-15T10:26:49Z","file_name":"560-Platenius_et_al_CBSE2013.pdf","file_size":570580,"access_level":"closed","file_id":"1281","success":1,"content_type":"application/pdf","creator":"florida","date_created":"2018-03-15T10:26:49Z"}],"date_created":"2017-10-17T12:42:41Z","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."}],"publication":"Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering","user_id":"477","ddc":["040"],"page":"143-152","_id":"560","has_accepted_license":"1","status":"public","project":[{"_id":"1","name":"SFB 901"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file_date_updated":"2018-03-15T10:26:49Z","citation":{"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 <i>Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering</i>, 2013, pp. 143–152.","apa":"Platenius, M., von Detten, M., Becker, S., Schäfer, W., &#38; Engels, G. (2013). A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing. In <i>Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering</i> (pp. 143–152). <a href=\"https://doi.org/10.1145/2465449.2465454\">https://doi.org/10.1145/2465449.2465454</a>","mla":"Platenius, Marie, et al. “A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing.” <i>Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering</i>, 2013, pp. 143–52, doi:<a href=\"https://doi.org/10.1145/2465449.2465454\">10.1145/2465449.2465454</a>.","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={<a href=\"https://doi.org/10.1145/2465449.2465454\">10.1145/2465449.2465454</a>}, 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} }","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.","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: <i>Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering</i>. ; 2013:143-152. doi:<a href=\"https://doi.org/10.1145/2465449.2465454\">10.1145/2465449.2465454</a>","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 <i>Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering</i>, 143–52, 2013. <a href=\"https://doi.org/10.1145/2465449.2465454\">https://doi.org/10.1145/2465449.2465454</a>."}},{"date_created":"2021-01-13T13:12:50Z","department":[{"_id":"76"},{"_id":"241"},{"_id":"662"}],"type":"conference","citation":{"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} }","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>.","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>","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."},"publication":"2012 Second International Workshop on Software Engineering for Embedded Systems (SEES)","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"}],"language":[{"iso":"eng"}],"_id":"20974","user_id":"5786","doi":"10.1109/sees.2012.6225489","publication_identifier":{"isbn":["9781467318532","9781467318525"]},"author":[{"id":"8472","orcid":"0000-0002-1269-0702","last_name":"Fockel","first_name":"Markus","full_name":"Fockel, Markus"},{"first_name":"Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","full_name":"Holtmann, Jörg","id":"3875"},{"full_name":"Meyer, Jan","last_name":"Meyer","first_name":"Jan"}],"status":"public","year":"2012","title":"Semi-automatic establishment and maintenance of valid traceability in automotive development processes","publication_status":"published","date_updated":"2022-01-06T06:54:42Z"},{"place":"Berlin, Heidelberg","date_created":"2021-01-12T14:21:35Z","type":"book_chapter","department":[{"_id":"76"},{"_id":"241"},{"_id":"662"}],"publication":"Model-Based Engineering of Embedded Systems","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>","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} }","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>.","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.","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>.","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>","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."},"abstract":[{"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.","lang":"eng"}],"language":[{"iso":"eng"}],"_id":"20914","doi":"10.1007/978-3-642-34614-9_12","user_id":"5786","status":"public","year":"2012","title":"Application and Evaluation in the Automotive Domain","author":[{"id":"8472","full_name":"Fockel, Markus","last_name":"Fockel","orcid":"0000-0002-1269-0702","first_name":"Markus"},{"full_name":"Heidl, Peter","first_name":"Peter","last_name":"Heidl"},{"last_name":"Höfflinger","first_name":"Jens","full_name":"Höfflinger, Jens"},{"last_name":"Hönninger","first_name":"Harald","full_name":"Hönninger, Harald"},{"id":"3875","last_name":"Holtmann","orcid":"0000-0001-6141-4571","first_name":"Jörg","full_name":"Holtmann, Jörg"},{"full_name":"Horn, Wilfried","last_name":"Horn","first_name":"Wilfried"},{"full_name":"Meyer, Jan","last_name":"Meyer","first_name":"Jan"},{"id":"683","first_name":"Matthias","last_name":"Meyer","full_name":"Meyer, Matthias"},{"first_name":"Jörg","last_name":"Schäuffele","full_name":"Schäuffele, Jörg"}],"publication_identifier":{"isbn":["9783642346132","9783642346149"]},"date_updated":"2022-01-06T06:54:41Z","publication_status":"published"},{"department":[{"_id":"76"}],"type":"conference","date_created":"2017-10-17T12:42:54Z","file":[{"file_name":"630-CSMR2012-PlateniusDettenBecker.pdf","access_level":"closed","file_size":723739,"relation":"main_file","date_updated":"2018-03-15T06:37:13Z","file_id":"1236","content_type":"application/pdf","success":1,"creator":"florida","date_created":"2018-03-15T06:37:13Z"}],"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."}],"publication":"Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR)","doi":"10.1109/CSMR.2012.33","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:00Z","author":[{"first_name":"Marie Christin","last_name":"Platenius","full_name":"Platenius, Marie Christin"},{"full_name":"von Detten, Markus","last_name":"von Detten","first_name":"Markus"},{"last_name":"Becker","first_name":"Steffen","full_name":"Becker, Steffen"}],"year":"2012","title":"Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies","project":[{"_id":"1","name":"SFB 901"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"name":"SFB 901 - Project Area B","_id":"3"}],"citation":{"bibtex":"@inproceedings{Platenius_von Detten_Becker_2012, title={Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies}, DOI={<a href=\"https://doi.org/10.1109/CSMR.2012.33\">10.1109/CSMR.2012.33</a>}, 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} }","ama":"Platenius MC, von Detten M, Becker S. Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies. In: <i>Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR)</i>. ; 2012:255-264. doi:<a href=\"https://doi.org/10.1109/CSMR.2012.33\">10.1109/CSMR.2012.33</a>","mla":"Platenius, Marie Christin, et al. “Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies.” <i>Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR)</i>, 2012, pp. 255–64, doi:<a href=\"https://doi.org/10.1109/CSMR.2012.33\">10.1109/CSMR.2012.33</a>.","chicago":"Platenius, Marie Christin, Markus von Detten, and Steffen Becker. “Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies.” In <i>Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR)</i>, 255–64, 2012. <a href=\"https://doi.org/10.1109/CSMR.2012.33\">https://doi.org/10.1109/CSMR.2012.33</a>.","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.","ieee":"M. C. Platenius, M. von Detten, and S. Becker, “Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies,” in <i>Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR)</i>, 2012, pp. 255–264.","apa":"Platenius, M. C., von Detten, M., &#38; Becker, S. (2012). Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies. In <i>Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR)</i> (pp. 255–264). <a href=\"https://doi.org/10.1109/CSMR.2012.33\">https://doi.org/10.1109/CSMR.2012.33</a>"},"file_date_updated":"2018-03-15T06:37:13Z","user_id":"477","ddc":["040"],"_id":"630","page":"255-264","has_accepted_license":"1","status":"public"},{"date_created":"2018-10-31T10:43:13Z","file":[{"creator":"ups","date_created":"2018-11-02T15:42:24Z","file_name":"a7-bodden.pdf","access_level":"closed","file_size":2280938,"relation":"main_file","date_updated":"2018-11-02T15:42:24Z","file_id":"5310","content_type":"application/pdf","success":1}],"department":[{"_id":"76"}],"type":"journal_article","publication":"ACM Transactions on Programming Languages and Systems","issue":"2","extern":"1","language":[{"iso":"eng"}],"main_file_link":[{"url":"http://www.bodden.de/pubs/blh12partially.pdf"}],"doi":"10.1145/2220365.2220366","publication_identifier":{"issn":["0164-0925"]},"author":[{"id":"59256","full_name":"Bodden, Eric","first_name":"Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden"},{"full_name":"Lam, Patrick","first_name":"Patrick","last_name":"Lam"},{"last_name":"Hendren","first_name":"Laurie","full_name":"Hendren, Laurie"}],"title":"Partially Evaluating Finite-State Runtime Monitors Ahead of Time","year":"2012","intvolume":"        34","date_updated":"2022-01-06T07:01:41Z","publication_status":"published","citation":{"short":"E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages and Systems 34 (2012) 1–52.","chicago":"Bodden, Eric, Patrick Lam, and Laurie Hendren. “Partially Evaluating Finite-State Runtime Monitors Ahead of Time.” <i>ACM Transactions on Programming Languages and Systems</i> 34, no. 2 (2012): 1–52. <a href=\"https://doi.org/10.1145/2220365.2220366\">https://doi.org/10.1145/2220365.2220366</a>.","apa":"Bodden, E., Lam, P., &#38; Hendren, L. (2012). Partially Evaluating Finite-State Runtime Monitors Ahead of Time. <i>ACM Transactions on Programming Languages and Systems</i>, <i>34</i>(2), 1–52. <a href=\"https://doi.org/10.1145/2220365.2220366\">https://doi.org/10.1145/2220365.2220366</a>","ieee":"E. Bodden, P. Lam, and L. Hendren, “Partially Evaluating Finite-State Runtime Monitors Ahead of Time,” <i>ACM Transactions on Programming Languages and Systems</i>, vol. 34, no. 2, pp. 1–52, 2012.","ama":"Bodden E, Lam P, Hendren L. Partially Evaluating Finite-State Runtime Monitors Ahead of Time. <i>ACM Transactions on Programming Languages and Systems</i>. 2012;34(2):1-52. doi:<a href=\"https://doi.org/10.1145/2220365.2220366\">10.1145/2220365.2220366</a>","bibtex":"@article{Bodden_Lam_Hendren_2012, title={Partially Evaluating Finite-State Runtime Monitors Ahead of Time}, volume={34}, DOI={<a href=\"https://doi.org/10.1145/2220365.2220366\">10.1145/2220365.2220366</a>}, 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} }","mla":"Bodden, Eric, et al. “Partially Evaluating Finite-State Runtime Monitors Ahead of Time.” <i>ACM Transactions on Programming Languages and Systems</i>, vol. 34, no. 2, Association for Computing Machinery (ACM), 2012, pp. 1–52, doi:<a href=\"https://doi.org/10.1145/2220365.2220366\">10.1145/2220365.2220366</a>."},"file_date_updated":"2018-11-02T15:42:24Z","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B4","_id":"12"}],"publisher":"Association for Computing Machinery (ACM)","_id":"5183","page":"1-52","volume":34,"ddc":["000"],"user_id":"477","status":"public","has_accepted_license":"1"},{"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"}],"citation":{"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>.","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>.","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>","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} }","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>.","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>","short":"J. Holtmann, J. Meyer, M. von Detten, in: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011."},"publication":"2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops","department":[{"_id":"76"}],"type":"conference","date_created":"2021-01-13T10:51:15Z","date_updated":"2022-01-06T06:54:42Z","publication_status":"published","author":[{"full_name":"Holtmann, Jörg","first_name":"Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","id":"3875"},{"full_name":"Meyer, Jan","first_name":"Jan","last_name":"Meyer"},{"full_name":"von Detten, Markus","first_name":"Markus","last_name":"von Detten"}],"publication_identifier":{"isbn":["9781457700194"]},"year":"2011","title":"Automatic Validation and Correction of Formalized, Textual Requirements","status":"public","doi":"10.1109/icstw.2011.17","user_id":"5786","language":[{"iso":"eng"}],"_id":"20958"},{"abstract":[{"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","lang":"ger"}],"publication":"Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII","citation":{"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} }","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.","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.","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.","short":"J. Meyer, J. Holtmann, in: Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII, fortiss GmbH, 2011, pp. 21–30.","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."},"type":"conference","department":[{"_id":"76"}],"date_created":"2021-01-13T10:53:25Z","date_updated":"2022-01-06T06:54:42Z","title":"Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR","year":"2011","status":"public","author":[{"full_name":"Meyer, Jan","first_name":"Jan","last_name":"Meyer"},{"id":"3875","first_name":"Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","full_name":"Holtmann, Jörg"}],"user_id":"5786","page":"21-30","_id":"20960","language":[{"iso":"eng"}],"publisher":"fortiss GmbH"},{"date_updated":"2022-01-06T06:54:42Z","title":"Interpreting Story Diagrams for the Static Detection of Software Patterns","status":"public","year":"2011","author":[{"id":"8472","full_name":"Fockel, Markus","first_name":"Markus","last_name":"Fockel","orcid":"0000-0002-1269-0702"},{"full_name":"Travkin, Dietrich","last_name":"Travkin","first_name":"Dietrich"},{"full_name":"von Detten, Markus","first_name":"Markus","last_name":"von Detten"}],"user_id":"5786","language":[{"iso":"eng"}],"_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"}],"publication":"Proceedings of the 8th International Fujaba Days","citation":{"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 <i>Proceedings of the 8th International Fujaba Days</i>. University of Tartu, Estonia, 2011.","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.","short":"M. Fockel, D. Travkin, M. von Detten, 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.” <i>Proceedings of the 8th International Fujaba Days</i>, 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>."},"type":"conference","department":[{"_id":"76"}],"date_created":"2021-01-13T13:15:48Z","place":"University of Tartu, Estonia"},{"citation":{"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.","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.","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.","short":"J. Meyer, J. Holtmann, M. Meyer, in: 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Heinz Nixdorf Institut, 2011, pp. 203–215.","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.","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} }","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."},"publication":"8. Paderborner Workshop Entwurf mechatronischer Systeme","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"}],"date_created":"2021-01-12T14:25:00Z","department":[{"_id":"76"},{"_id":"241"}],"type":"conference","author":[{"last_name":"Meyer","first_name":"Jan","full_name":"Meyer, Jan"},{"full_name":"Holtmann, Jörg","first_name":"Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","id":"3875"},{"last_name":"Meyer","first_name":"Matthias","full_name":"Meyer, Matthias","id":"683"}],"year":"2011","status":"public","title":"Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen","intvolume":"       294","date_updated":"2022-01-06T06:54:41Z","publisher":"Heinz Nixdorf Institut","_id":"20915","series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","language":[{"iso":"eng"}],"page":"203-215","volume":294,"user_id":"5786"},{"date_updated":"2022-01-06T06:54:41Z","author":[{"id":"3875","first_name":"Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann","full_name":"Holtmann, Jörg"},{"first_name":"Jan","last_name":"Meyer","full_name":"Meyer, Jan"},{"last_name":"Meyer","first_name":"Matthias","full_name":"Meyer, Matthias","id":"683"}],"title":"A Seamless Model-Based Development Process for Automotive Systems","status":"public","year":"2011","volume":"P-184","user_id":"5786","_id":"20916","series_title":"GI-Edition Lecture Notes in Informatics (LNI)","publisher":"Bonner Koellen Verlag","language":[{"iso":"eng"}],"page":"79-88","abstract":[{"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.","lang":"eng"}],"citation":{"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.","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.","short":"J. Holtmann, J. Meyer, M. Meyer, in: Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium), Bonner Koellen Verlag, 2011, 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.","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.","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."},"publication":"Software Engineering 2011 – Workshopband (inkl. Doktorandensymposium)","department":[{"_id":"76"},{"_id":"241"}],"type":"conference","date_created":"2021-01-12T14:26:06Z"},{"user_id":"477","language":[{"iso":"eng"}],"_id":"650","publisher":"Universität Paderborn","date_updated":"2022-01-06T07:03:08Z","author":[{"full_name":"Platenius, Marie Christin","last_name":"Platenius","first_name":"Marie Christin"}],"status":"public","year":"2011","title":"Reengineering of Design Deficiencies in Component-Based Software Architectures","department":[{"_id":"76"}],"type":"mastersthesis","date_created":"2017-10-17T12:42:58Z","project":[{"_id":"1","name":"SFB 901"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"_id":"3","name":"SFB 901 - Project Area B"}],"citation":{"apa":"Platenius, M. C. (2011). <i>Reengineering of Design Deficiencies in Component-Based Software Architectures</i>. Universität Paderborn.","mla":"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.","chicago":"Platenius, Marie Christin. <i>Reengineering of Design Deficiencies in Component-Based Software Architectures</i>. Universität Paderborn, 2011.","short":"M.C. Platenius, Reengineering of Design Deficiencies in Component-Based Software Architectures, 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} }"}},{"department":[{"_id":"76"}],"type":"conference","place":"New York, NY, USA","date_created":"2021-01-13T10:00:42Z","citation":{"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} }","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.","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.","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.","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.","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."},"publication":"Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010","volume":2,"user_id":"5786","language":[{"iso":"eng"}],"_id":"20934","publisher":"ACM Press","page":"299 - 300","intvolume":"         2","date_updated":"2022-01-06T06:54:41Z","author":[{"full_name":"von Detten, Markus","first_name":"Markus","last_name":"von Detten"},{"id":"683","full_name":"Meyer, Matthias","last_name":"Meyer","first_name":"Matthias"},{"first_name":"Dietrich","last_name":"Travkin","full_name":"Travkin, Dietrich"}],"title":"Reverse Engineering with the Reclipse Tool Suite","year":"2010","status":"public"},{"user_id":"5786","language":[{"iso":"eng"}],"_id":"20935","date_updated":"2022-01-06T06:54:41Z","author":[{"full_name":"von Detten, Markus","last_name":"von Detten","first_name":"Markus"},{"id":"683","last_name":"Meyer","first_name":"Matthias","full_name":"Meyer, Matthias"},{"last_name":"Travkin","first_name":"Dietrich","full_name":"Travkin, Dietrich"}],"status":"public","year":"2010","title":"Reclipse - A Reverse Engineering Tool Suite","department":[{"_id":"76"}],"type":"report","date_created":"2021-01-13T10:01:07Z","abstract":[{"lang":"eng","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."}],"citation":{"mla":"von Detten, Markus, et al. <i>Reclipse - A Reverse Engineering Tool Suite</i>. 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} }","ama":"von Detten M, Meyer M, Travkin D. <i>Reclipse - A Reverse Engineering Tool Suite</i>.; 2010.","ieee":"M. von Detten, M. Meyer, and D. Travkin, <i>Reclipse - A Reverse Engineering Tool Suite</i>. 2010.","apa":"von Detten, M., Meyer, M., &#38; Travkin, D. (2010). <i>Reclipse - A Reverse Engineering Tool Suite</i>.","short":"M. von Detten, M. Meyer, D. Travkin, Reclipse - A Reverse Engineering Tool Suite, 2010.","chicago":"Detten, Markus von, Matthias Meyer, and Dietrich Travkin. <i>Reclipse - A Reverse Engineering Tool Suite</i>, 2010."}},{"author":[{"last_name":"Löffler","first_name":"Renate","full_name":"Löffler, Renate"},{"id":"683","first_name":"Matthias","last_name":"Meyer","full_name":"Meyer, Matthias"},{"full_name":"Gottschalk, Matthias","last_name":"Gottschalk","first_name":"Matthias"}],"status":"public","year":"2010","title":"Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications","date_updated":"2022-01-06T06:54:41Z","_id":"20936","publisher":"ACM","language":[{"iso":"eng"}],"page":"57-67","user_id":"5786","citation":{"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} }","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.","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.","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."},"publication":"Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care","place":"New York, NY, USA","date_created":"2021-01-13T10:01:49Z","department":[{"_id":"76"}],"type":"conference"},{"publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783642165757","9783642165764"]},"author":[{"full_name":"Seebach, Hella","last_name":"Seebach","first_name":"Hella"},{"last_name":"Nafz","first_name":"Florian","full_name":"Nafz, Florian"},{"id":"3875","full_name":"Holtmann, Jörg","last_name":"Holtmann","orcid":"0000-0001-6141-4571","first_name":"Jörg"},{"full_name":"Meyer, Jan","last_name":"Meyer","first_name":"Jan"},{"first_name":"Matthias","last_name":"Tichy","full_name":"Tichy, Matthias"},{"last_name":"Reif","first_name":"Wolfgang","full_name":"Reif, Wolfgang"},{"last_name":"Schäfer","first_name":"Wilhelm","full_name":"Schäfer, Wilhelm"}],"title":"Designing Self-healing in Automotive Systems","year":"2010","status":"public","date_updated":"2022-01-06T06:54:42Z","publication_status":"published","language":[{"iso":"eng"}],"_id":"20961","doi":"10.1007/978-3-642-16576-4_4","user_id":"5786","citation":{"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.","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>","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>.","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>.","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>","ieee":"H. Seebach <i>et al.</i>, “Designing Self-healing in Automotive Systems,” in <i>Lecture Notes in Computer Science</i>, Berlin, Heidelberg, 2010."},"publication":"Lecture Notes in Computer Science","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"}],"place":"Berlin, Heidelberg","date_created":"2021-01-13T10:54:04Z","department":[{"_id":"76"}],"type":"book_chapter"},{"date_created":"2021-01-13T10:54:49Z","department":[{"_id":"76"}],"type":"journal_article","citation":{"bibtex":"@article{Holtmann_2010, title={Mit Satzmustern von textuellen Anforderungen zu Modellen}, number={RE/2010}, journal={OBJEKTspektrum}, author={Holtmann, Jörg}, year={2010} }","ama":"Holtmann J. Mit Satzmustern von textuellen Anforderungen zu Modellen. <i>OBJEKTspektrum</i>. 2010;(RE/2010).","mla":"Holtmann, Jörg. “Mit Satzmustern von Textuellen Anforderungen Zu Modellen.” <i>OBJEKTspektrum</i>, no. RE/2010, 2010.","short":"J. Holtmann, OBJEKTspektrum (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.","apa":"Holtmann, J. (2010). Mit Satzmustern von textuellen Anforderungen zu Modellen. <i>OBJEKTspektrum</i>, <i>RE/2010</i>."},"publication":"OBJEKTspektrum","issue":"RE/2010","abstract":[{"lang":"eng","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."}],"_id":"20962","language":[{"iso":"eng"}],"user_id":"5786","author":[{"full_name":"Holtmann, Jörg","last_name":"Holtmann","first_name":"Jörg"}],"status":"public","title":"Mit Satzmustern von textuellen Anforderungen zu Modellen","year":"2010","date_updated":"2022-01-06T06:54:42Z"},{"series_title":"GI-Edition - Lecture Notes in Informatics (LNI)","_id":"20963","language":[{"iso":"eng"}],"publisher":"Bonner Koellen Verlag","volume":"P-160","user_id":"5786","author":[{"full_name":"Meyer, Jan","last_name":"Meyer","first_name":"Jan"},{"id":"3875","orcid":"0000-0001-6141-4571","last_name":"Holtmann","first_name":"Jörg","full_name":"Holtmann, Jörg"},{"full_name":"Schäfer, Wilhelm","first_name":"Wilhelm","last_name":"Schäfer"},{"first_name":"Ulrich A.","last_name":"Nickel","full_name":"Nickel, Ulrich A."}],"title":"Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie","status":"public","year":"2010","date_updated":"2022-01-06T06:54:42Z","date_created":"2021-01-13T10:55:51Z","department":[{"_id":"76"}],"type":"conference","citation":{"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.","short":"J. Meyer, J. Holtmann, W. Schäfer, U.A. Nickel, in: Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium), Bonner Koellen Verlag, 2010.","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>.","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.","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.","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."},"publication":"Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium)","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"}]},{"date_updated":"2022-01-06T06:54:41Z","status":"public","title":"Musterbasiertes Re-Engineering von Softwaresystemen","year":"2009","author":[{"last_name":"Meyer","first_name":"Matthias","full_name":"Meyer, Matthias"}],"user_id":"5786","main_file_link":[{"url":"http://ubdok.uni-paderborn.de/servlets/DocumentServlet?id=11678"}],"language":[{"iso":"eng"}],"_id":"20937","publisher":"Universitaetsbibliothek Paderborn","citation":{"mla":"Meyer, Matthias. <i>Musterbasiertes Re-Engineering von Softwaresystemen</i>. Universitaetsbibliothek Paderborn, 2009.","bibtex":"@book{Meyer_2009, title={Musterbasiertes Re-Engineering von Softwaresystemen}, publisher={Universitaetsbibliothek Paderborn}, author={Meyer, Matthias}, year={2009} }","ama":"Meyer M. <i>Musterbasiertes Re-Engineering von Softwaresystemen</i>. Universitaetsbibliothek Paderborn; 2009.","ieee":"M. Meyer, <i>Musterbasiertes Re-Engineering von Softwaresystemen</i>. Universitaetsbibliothek Paderborn, 2009.","apa":"Meyer, M. (2009). <i>Musterbasiertes Re-Engineering von Softwaresystemen</i>. Universitaetsbibliothek Paderborn.","short":"M. Meyer, Musterbasiertes Re-Engineering von Softwaresystemen, Universitaetsbibliothek Paderborn, 2009.","chicago":"Meyer, Matthias. <i>Musterbasiertes Re-Engineering von Softwaresystemen</i>. Universitaetsbibliothek Paderborn, 2009."},"type":"dissertation","department":[{"_id":"76"}],"date_created":"2021-01-13T10:02:36Z"},{"type":"conference","department":[{"_id":"76"}],"date_created":"2021-01-13T10:04:58Z","publication":"Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany","citation":{"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.","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} }","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.","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>.","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.","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."},"user_id":"5786","_id":"20938","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:41Z","title":"Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse","status":"public","year":"2008","author":[{"last_name":"Tichy","first_name":"Matthias","full_name":"Tichy, Matthias"},{"first_name":"Stefan","last_name":"Henkler","full_name":"Henkler, Stefan"},{"full_name":"Meyer, Matthias","last_name":"Meyer","first_name":"Matthias","id":"683"},{"full_name":"von Detten, Markus","last_name":"von Detten","first_name":"Markus"}]},{"_id":"20957","language":[{"iso":"eng"}],"doi":"10.1145/1404920.1404922","user_id":"5786","publication_identifier":{"isbn":["9781605581453"]},"author":[{"full_name":"Kindler, Ekkart","first_name":"Ekkart","last_name":"Kindler"},{"orcid":"0000-0001-7787-5380","last_name":"Schmelter","first_name":"David","full_name":"Schmelter, David","id":"40982"}],"title":"Aspect-oriented modelling from a different angle","status":"public","year":"2008","date_updated":"2022-01-06T06:54:42Z","publication_status":"published","date_created":"2021-01-13T10:48:57Z","department":[{"_id":"76"}],"type":"conference","citation":{"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>.","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>.","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>","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} }","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>."},"publication":"Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling - AOM '08","abstract":[{"lang":"eng","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."}]}]