TY - CHAP A1 - Brings, Jennifer A1 - Daun, Marian A1 - Kempe, Markus A1 - Weyer, Thorsten ED - Rainer, Austen ED - MacDonell, Stephen G. ED - Keung, Jacky W. T1 - On Different Search Methods for Systematic Literature Reviews and Maps: Experiences from a Literature Search on Validation and Verification of Emergent Behavior T2 - Proceedings of the 22nd International Conference on Evaluation and Assessment in Software Engineering, EASE2018, Christchurch, New Zealand, June 28-29, 2018 Y1 - 2018 U6 - https://doi.org/10.1145/3210459.3210463 SP - 35 EP - 45 ER - TY - CHAP A1 - Brings, Jennifer A1 - Bellendorf, Julian A1 - Keller, Kevin A1 - Kempe, Markus A1 - Kurt, Noyan A1 - Palm, Alexander A1 - Daun, Marian ED - Knauss, Eric ED - Susi, Angelo ED - Ameller, David ED - Berry, Daniel M. ED - Dalpiaz, Fabiano ED - Daneva, Maya ED - Daun, Marian ED - Dieste, Oscar ED - Forbrig, Peter ED - Groen, Eduard C. ED - Herrmann, Andrea ED - Horkoff, Jennifer ED - Kifetew, Fitsum Meshesha ED - Kirikova, Marite ED - Knauss, Alessia ED - Maeder, Patrick ED - Massacci, Fabio ED - Palomares, Cristina ED - Ralyté, Jolita ED - Seffah, Ahmed ED - Siena, Alberto ED - Tenbergen, Bastian T1 - Applying the SPES Modeling Framework: A Case Study from the Automotive Domain T2 - Joint Proceedings of REFSQ-2017 Workshops, Doctoral Symposium, Research Method Track, and Poster Track co-located with the 22nd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2017), Essen, Germany, February 27, 2017 Y1 - 2017 VL - 1796 ER - TY - JOUR A1 - Brings, Jennifer A1 - Daun, Marian A1 - Kempe, Markus A1 - Weyer, Thorsten ED - Becker, Steffen ED - Bogicevic, Ivan ED - Herzwurm, Georg ED - Wagner, Stefan T1 - Validierung und Verifikation von emergentem Verhalten im Software Engineering - Ergebnisse eines Vergleichs unterschiedlicher Suchmethoden JF - Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019 Y1 - 2019 U6 - https://doi.org/10.18420/se2019-09 SP - 47 EP - 48 ER -