TY - JOUR A1 - Daun, Marian A1 - Bohn, Philipp A1 - Brings, Jennifer A1 - Weyer, Thorsten T1 - Structured Model-Based Engineering of Long-living Embedded Systems: The SPES Methodological Building Blocks Framework JF - Softwaretechnik-Trends Y1 - 2016 VL - 36 IS - 1 ER - TY - CHAP A1 - Daun, Marian A1 - Tenbergen, Bastian ED - Krusche, Stephan ED - Wagner, Stefan T1 - Teaching Requirements Engineering with Industry Case Examples T2 - Tagungsband des 17. Workshops "Software Engineering im Unterricht der Hochschulen" 2020, Innsbruck, Österreich, 26. - 27.02.2020 Y1 - 2020 VL - 2531 SP - 49 EP - 50 ER - TY - CHAP A1 - Daun, Marian A1 - Brings, Jennifer A1 - Obe, Patricia Aluko A1 - Pohl, Klaus A1 - Moser, Steffen A1 - Schumacher, Hermann A1 - Rieß, Marcel ED - Krusche, Stephan ED - Wagner, Stefan T1 - An Online Course for Teaching Model-based Engineering T2 - Tagungsband des 17. Workshops "Software Engineering im Unterricht der Hochschulen" 2020, Innsbruck, Österreich, 26. - 27.02.2020 Y1 - 2020 SP - 66 EP - 67 ER - TY - JOUR A1 - Brings, Jennifer A1 - Daun, Marian A1 - Bandyszak, Torsten A1 - Stricker, Vanessa A1 - Weyer, Thorsten A1 - Mirzaei, Elham A1 - Neumann, Martin A1 - Zernickel, Jan Stefan T1 - Model-based documentation of dynamicity constraints for collaborative cyber-physical system architectures: Findings from an industrial case study JF - Journal of Systems Architecture Y1 - 2019 U6 - https://doi.org/10.1016/j.sysarc.2019.02.012 VL - 97 SP - 153 EP - 167 ER - TY - JOUR A1 - Bures, Tomás A1 - Weyns, Danny A1 - Schmerl, Bradley R. A1 - Fitzgerald, John S. A1 - Aniculaesei, Adina A1 - Berger, Christian A1 - Cambeiro, João A1 - Carlson, Jan A1 - Chowdhury, Shafiul Azam A1 - Daun, Marian A1 - Li, Nianyu A1 - Markthaler, Matthias A1 - Menghi, Claudio A1 - Penzenstadler, Birgit A1 - Pettit, Aedan D. A1 - IV, Robert G. Pettit A1 - Sabatucci, Luca A1 - Tranoris, Christos A1 - Vangheluwe, Hans A1 - Voss, Sebastian A1 - Zavala, Edith T1 - Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report JF - ACM SIGSOFT Software Engineering Notes Y1 - 2019 U6 - https://doi.org/10.1145/3364452.3364465 VL - 44 IS - 4 SP - 11 EP - 13 ER - TY - JOUR A1 - Tenbergen, Bastian A1 - Daun, Marian T1 - Is Requirements-Engineering Research Delivering What It Promised?: A Review of Its Accomplishments and Opportunities After 10 Years JF - IEEE Software Y1 - 2019 U6 - https://doi.org/10.1109/MS.2019.2909127 VL - 36 IS - 4 SP - 6 EP - 11 ER - TY - JOUR A1 - Daun, Marian A1 - Weyer, Thorsten A1 - Pohl, Klaus T1 - Improving manual reviews in function-centered engineering of embedded systems using a dedicated review model JF - Software and Systems Modeling Y1 - 2019 U6 - https://doi.org/10.1007/s10270-019-00723-2 VL - 18 IS - 6 SP - 3421 EP - 3459 ER - TY - CHAP A1 - Brings, Jennifer A1 - Daun, Marian ED - Panach, José Ignacio ED - Guizzardi, Renata S. S. ED - Claro, Daniela Barreiro T1 - Towards Goal Modeling and Analysis for Networks of Collaborative Cyber-Physical Systems T2 - Proceedings of the ER Forum and Poster & Demos Session 2019 on Publishing Papers with CEUR-WS co-located with 38th International Conference on Conceptual Modeling (ER 2019), Salvador, Brazil, November 4, 2019 Y1 - 2019 SP - 70 EP - 83 ER - TY - CHAP A1 - Stenkova, Viktoria A1 - Brings, Jennifer A1 - Daun, Marian A1 - Weyer, Thorsten ED - Laender, Alberto H. F. ED - Pernici, Barbara ED - Lim, Ee-Peng ED - Oliveira, José Palazzo M. de T1 - Generic Negative Scenarios for the Specification of Collaborative Cyber-Physical Systems T2 - Conceptual Modeling - 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings Y1 - 2019 U6 - https://doi.org/10.1007/978-3-030-33223-5_34 SP - 412 EP - 419 ER - TY - CHAP A1 - Tenbergen, Bastian A1 - Daun, Marian ED - Bui, Tung T1 - Industry Projects in Requirements Engineering Education: Application in a University Course in the US and Comparison with Germany T2 - 52nd Hawaii International Conference on System Sciences, HICSS 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019 Y1 - 2019 SP - 1 EP - 10 ER - TY - JOUR A1 - Daun, Marian A1 - Brings, Jennifer A1 - Weyer, Thorsten A1 - Tenbergen, Bastian T1 - Fostering concurrent engineering of cyber-physical systems a proposal for an ontological context framework JF - 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems, EITEC@CPSWeek 2016, Vienna, Austria, April 11, 2016 Y1 - 2016 U6 - https://doi.org/10.1109/EITEC.2016.7503689 SP - 5 EP - 10 ER - TY - JOUR A1 - Buchner, Johanna A1 - Daun, Marian T1 - Automated inconsistency detection and solution proposals in cyber-physical system networks JF - 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems, EITEC@CPSWeek 2016, Vienna, Austria, April 11, 2016 Y1 - 2016 U6 - https://doi.org/10.1109/EITEC.2016.7503694 SP - 35 EP - 40 ER - TY - CHAP A1 - Daun, Marian A1 - Salmon, Andrea A1 - Weyer, Thorsten A1 - Pohl, Klaus A1 - Tenbergen, Bastian T1 - Project-Based Learning with Examples from Industry in University Courses: An Experience Report from an Undergraduate Requirements Engineering Course T2 - 29th IEEE International Conference on Software Engineering Education and Training, CSEET 2016, Dallas, TX, USA, April 5-6, 2016 Y1 - 2016 U6 - https://doi.org/10.1109/CSEET.2016.15 SP - 184 EP - 193 ER - TY - CHAP A1 - Brings, Jennifer A1 - Bohn, Philipp A1 - Bandyszak, Torsten A1 - Föcker, Felix A1 - Daun, Marian ED - Bjarnason, Elizabeth ED - Borg, Markus ED - Daun, Marian ED - Dieste, Oscar ED - España, Sergio ED - Felderer, Michael ED - Forbrig, Peter ED - Franch, Xavier ED - Gay, Gregory ED - Herrmann, Andrea ED - Horkoff, Jennifer ED - Kirikova, Marite ED - Morandini, Mirko ED - Opdahl, Andreas L. ED - Paech, Barbara ED - Palomares, Cristina ED - Petersen, Kai ED - Seffah, Ahmed ED - Tenbergen, Bastian ED - Unterkalmsteiner, Michael T1 - Model-Based Prototype Development to Support Early Validation of Cyber-Physical System Specifications T2 - Joint Proceedings of REFSQ-2016 Workshops, Doctoral Symposium, Research Method Track, and Poster Track co-located with the 22nd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2016), Gothenburg, Sweden, March 14, 2016 Y1 - 2016 ER - TY - CHAP A1 - Brings, Jennifer A1 - Daun, Marian ED - Bjarnason, Elizabeth ED - Borg, Markus ED - Daun, Marian ED - Dieste, Oscar ED - España, Sergio ED - Felderer, Michael ED - Forbrig, Peter ED - Franch, Xavier ED - Gay, Gregory ED - Herrmann, Andrea ED - Horkoff, Jennifer ED - Kirikova, Marite ED - Morandini, Mirko ED - Opdahl, Andreas L. ED - Paech, Barbara ED - Palomares, Cristina ED - Petersen, Kai ED - Seffah, Ahmed ED - Tenbergen, Bastian ED - Unterkalmsteiner, Michael T1 - Reviewing Inconsistent Behavioral Properties T2 - Joint Proceedings of REFSQ-2016 Workshops, Doctoral Symposium, Research Method Track, and Poster Track co-located with the 22nd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2016), Gothenburg, Sweden, March 14, 2016 Y1 - 2016 ER - TY - CHAP A1 - Daun, Marian A1 - Salmon, Andrea A1 - Bandyszak, Torsten A1 - Weyer, Thorsten ED - Daneva, Maya ED - Pastor, Oscar T1 - Common Threats and Mitigation Strategies in Requirements Engineering Experiments with Student Participants T2 - Requirements Engineering: Foundation for Software Quality - 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings Y1 - 2016 U6 - https://doi.org/10.1007/978-3-319-30282-9_19 SP - 269 EP - 285 ER - TY - CHAP A1 - Böhm, Wolfgang A1 - Daun, Marian A1 - Koutsoumpas, Vasileios A1 - Vogelsang, Andreas A1 - Weyer, Thorsten ED - Pohl, Klaus ED - Broy, Manfred ED - Daembkes, Heinrich ED - Hönninger, Harald T1 - SPES XT Modeling Framework T2 - Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology Y1 - 2016 U6 - https://doi.org/10.1007/978-3-319-48003-9_3 SP - 29 EP - 42 ER - TY - CHAP A1 - Daun, Marian A1 - Tenbergen, Bastian A1 - Brings, Jennifer A1 - Weyer, Thorsten ED - Pohl, Klaus ED - Broy, Manfred ED - Daembkes, Heinrich ED - Hönninger, Harald T1 - SPES XT Context Modeling Framework T2 - Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology Y1 - 2016 U6 - https://doi.org/10.1007/978-3-319-48003-9_4 SP - 43 EP - 57 ER - TY - CHAP A1 - Albers, Karsten A1 - Beck, Stefan A1 - Büker, Matthias A1 - Daun, Marian A1 - MacGregor, John A1 - Salmon, Andrea A1 - Weber, Raphael A1 - Weyer, Thorsten ED - Pohl, Klaus ED - Broy, Manfred ED - Daembkes, Heinrich ED - Hönninger, Harald T1 - System Function Networks T2 - Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology Y1 - 2016 U6 - https://doi.org/10.1007/978-3-319-48003-9_8 SP - 119 EP - 144 ER - TY - CHAP A1 - Diebold, Philipp A1 - Daun, Marian A1 - Heuer, André A1 - Jedlitschka, Andreas ED - Pohl, Klaus ED - Broy, Manfred ED - Daembkes, Heinrich ED - Hönninger, Harald T1 - Evaluation of the SPES XT Modeling Framework T2 - Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology Y1 - 2016 U6 - https://doi.org/10.1007/978-3-319-48003-9_15 SP - 263 EP - 271 ER - TY - CHAP A1 - Obe, Patricia Aluko A1 - Brings, Jennifer A1 - Daun, Marian A1 - Feeken, Linda A1 - Mirzaei, Elham A1 - Neumann, Martin A1 - Nickles, Jochen A1 - Rösel, Simon A1 - Sauer, Markus A1 - Schlingloff, Holger A1 - Stierand, Ingo A1 - Zernickel, Jan Stefan ED - Böhm, Wolfgang ED - Broy, Manfred ED - Klein, Cornel ED - Pohl, Klaus ED - Rumpe, Bernhard ED - Schröck, Sebastian T1 - Goal-Based Strategy Exploration T2 - Model-Based Engineering of Collaborative Embedded Systems Y1 - 2021 U6 - https://doi.org/10.1007/978-3-030-62136-0_9 SP - 197 EP - 216 ER - TY - CHAP A1 - Daun, Marian A1 - Brings, Jennifer A1 - Goger, Marcel A1 - Koch, Walter A1 - Weyer, Thorsten T1 - Teaching Model-based Requirements Engineering to Industry Professionals: An Experience Report T2 - 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) Y1 - 2021 UR - https://doi.org/10.1109/ICSE-SEET52601.2021.00013 VL - abs/2103.04433 ER - TY - JOUR A1 - Brings, Jennifer A1 - Daun, Marian A1 - Keller, Kevin A1 - Obe, Patricia Aluko A1 - Weyer, Thorsten T1 - A systematic map on verification and validation of emergent behavior in software engineering research JF - Future Generation Computer Systems Y1 - 2020 U6 - https://doi.org/10.1016/j.future.2020.06.049 VL - 112 SP - 1010 EP - 1037 ER - TY - JOUR A1 - Stenkova, Viktoria A1 - Daun, Marian A1 - Brings, Jennifer A1 - Weyer, Thorsten T1 - Generische Negativszenarien in der Entwicklung kollaborativer cyber-physischer Systeme JF - Softwaretechnik-Trends Y1 - 2020 VL - 40 IS - 1 SP - 27 EP - 28 ER - TY - JOUR A1 - Bandyszak, Torsten A1 - Daun, Marian A1 - Tenbergen, Bastian A1 - Kuhs, Patrick A1 - Wolf, Stefanie A1 - Weyer, Thorsten T1 - Orthogonal Uncertainty Modeling in the Engineering of Cyber-Physical Systems JF - IEEE Transactions on Automation Science and Engineering Y1 - 2020 U6 - https://doi.org/10.1109/TASE.2020.2980726 VL - 17 IS - 3 SP - 1250 EP - 1265 ER -