{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T19:01:21Z","timestamp":1754161281749,"version":"3.41.2"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","funder":[{"name":"EU Horizon 2020","award":["957197"],"award-info":[{"award-number":["957197"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3696630.3731614","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:09:27Z","timestamp":1753729767000},"page":"1402-1405","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Causal Models in Requirement Specifications for Machine Learning: A vision"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2427-6875","authenticated-orcid":false,"given":"Hans-Martin","family":"Heyn","sequence":"first","affiliation":[{"name":"Chalmers University of Technology and University of Gothenburg, G\u00f6teborg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-3211-7748","authenticated-orcid":false,"given":"Yufei","family":"Mao","sequence":"additional","affiliation":[{"name":"Siemens AG, M\u00fcnchen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3092-7846","authenticated-orcid":false,"given":"Roland","family":"Wei\u00df","sequence":"additional","affiliation":[{"name":"Siemens AG, M\u00fcnchen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6631-872X","authenticated-orcid":false,"given":"Eric","family":"Knauss","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology and University of Gothenburg, G\u00f6teborg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"107176","article-title":"Requirements engineering for artificial intelligence systems: A systematic mapping study","volume":"158","author":"Ahmad Khlood","year":"2023","unstructured":"Khlood Ahmad, Mohamed Abdelrazek, Chetan Arora, Muneera Bano, and John Grundy. 2023. Requirements engineering for artificial intelligence systems: A systematic mapping study. IST 158 (2023), 107176.","journal-title":"IST"},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. Improv. Springer, 159\u2013174","author":"Santos Alves Antonio Pedro","year":"2023","unstructured":"Antonio Pedro Santos Alves, Marcos Kalinowski, Giray, et al. 2023. Status quo and problems of requirements engineering for machine learning: Results from an international survey. In Int. Conf. on Product-Focused Soft. Proc. Improv. Springer, 159\u2013174."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1080\/01621459.1996.10476902","article-title":"Identification of causal effects using instrumental variables","volume":"91","author":"Angrist Joshua D","year":"1996","unstructured":"Joshua D Angrist, Guido W Imbens, and Donald B Rubin. 1996. Identification of causal effects using instrumental variables. Journal of the American Stat. Asso. 91, 434 (1996), 444\u2013455.","journal-title":"Journal of the American Stat. Asso."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2991\/jase.d.190131.001","article-title":"Safely Entering the Deep: A Review of Verification and Validation for Machine Learning and a Challenge Elicitation in the Automotive Industry","volume":"1","author":"Borg Markus","year":"2019","unstructured":"Markus Borg, Cristofer Englund, Wnuk, et al. 2019. Safely Entering the Deep: A Review of Verification and Validation for Machine Learning and a Challenge Elicitation in the Automotive Industry. Journal of Automotive Software Engineering 1, 1 (2019), 1\u201319.","journal-title":"Journal of Automotive Software Engineering"},{"key":"e_1_3_2_1_5_1","first-page":"1","article-title":"Underspecification presents challenges for credibility in modern machine learning","volume":"23","author":"D'Amour Alexander","year":"2022","unstructured":"Alexander D'Amour, Katherine Heller, Moldovan, et al. 2022. Underspecification presents challenges for credibility in modern machine learning. Journal of Machine Learning Research 23, 226 (2022), 1\u201361.","journal-title":"Journal of Machine Learning Research"},{"key":"e_1_3_2_1_6_1","volume-title":"2018 26th IEEE RE Conf. IEEE, 418\u2013423","author":"Fantechi Alessandro","year":"2018","unstructured":"Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, and Laura Semini. 2018. Requirement engineering of software product lines: Extracting variability using NLP. In 2018 26th IEEE RE Conf. IEEE, 418\u2013423."},{"volume-title":"Automatic detection of causality in requirement artifacts: the cira approach. In 2021 27th REFSQ","author":"Fischbach Jannik","key":"e_1_3_2_1_7_1","unstructured":"Jannik Fischbach, Julian Frattini, Arjen Spaans, Maximilian Kummeth, Andreas Vogelsang, Daniel Mendez, and Michael Unterkalmsteiner. 2021. Automatic detection of causality in requirement artifacts: the cira approach. In 2021 27th REFSQ. Springer, 19\u201336."},{"key":"e_1_3_2_1_8_1","first-page":"111549","article-title":"Automatic creation of acceptance tests by extracting conditionals from requirements: NLP approach and case study","volume":"197","author":"Fischbach Jannik","year":"2023","unstructured":"Jannik Fischbach, Julian Frattini, Andreas Vogelsang, et al. 2023. Automatic creation of acceptance tests by extracting conditionals from requirements: NLP approach and case study. JSS 197 (2023), 111549.","journal-title":"JSS"},{"key":"e_1_3_2_1_9_1","volume-title":"2020 28th IEEE RE Conf. IEEE, 388\u2013393","author":"Fischbach Jannik","year":"2020","unstructured":"Jannik Fischbach, Benedikt Hauptmann, Lukas Konwitschny, Dominik Spies, and Andreas Vogelsang. 2020. Towards causality extraction from requirements. In 2020 28th IEEE RE Conf. IEEE, 388\u2013393."},{"volume-title":"A requirements engineering perspective to AI-based systems development: A vision paper. In 2023 REFSQ","author":"Franch Xavier","key":"e_1_3_2_1_10_1","unstructured":"Xavier Franch, Andreas Jedlitschka, and Silverio Mart\u00ednez-Fern\u00e1ndez. 2023. A requirements engineering perspective to AI-based systems development: A vision paper. In 2023 REFSQ. Springer, 223\u2013232."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/s10664-024-10582-1","article-title":"Applying bayesian data analysis for causal inference about requirements quality: a controlled experiment","volume":"30","author":"Frattini Julian","year":"2025","unstructured":"Julian Frattini, Davide Fucci, Richard Torkar, Lloyd Montgomery, Michael Unterkalmsteiner, Jannik Fischbach, and Daniel Mendez. 2025. Applying bayesian data analysis for causal inference about requirements quality: a controlled experiment. Empirical Software Engineering 30, 1 (2025), 29.","journal-title":"Empirical Software Engineering"},{"key":"e_1_3_2_1_12_1","volume-title":"Causal reasoning in Software Quality Assurance: A systematic review. IST","author":"Giamattei Luca","year":"2024","unstructured":"Luca Giamattei, Antonio Guerriero, Roberto Pietrantuono, and Stefano Russo. 2024. Causal reasoning in Software Quality Assurance: A systematic review. IST (2024), 107599."},{"volume-title":"Causal inference in statistics: A primer","author":"Glymour Madelyn","key":"e_1_3_2_1_13_1","unstructured":"Madelyn Glymour, Judea Pearl, and Nicholas P Jewell. 2016. Causal inference in statistics: A primer. John Wiley & Sons."},{"key":"e_1_3_2_1_14_1","first-page":"459","article-title":"Is it possible to disregard obsolete requirements? a family of experiments in software effort estimation","volume":"26","author":"Gren Lucas","year":"2021","unstructured":"Lucas Gren and Richard Berntsson Svensson. 2021. Is it possible to disregard obsolete requirements? a family of experiments in software effort estimation. REJ 26, 3 (2021), 459\u2013480.","journal-title":"REJ"},{"key":"e_1_3_2_1_15_1","volume-title":"2021 29th RE Conf. Workshops (REW). IEEE, 77\u201379","author":"Jadallah Noah","year":"2021","unstructured":"Noah Jadallah, Jannik Fischbach, Julian Frattini, and Andreas Vogelsang. 2021. Cate: Causality tree extractor from natural language requirements. In 2021 29th RE Conf. Workshops (REW). IEEE, 77\u201379."},{"key":"e_1_3_2_1_16_1","first-page":"85","article-title":"ACon: A learning-based approach to deal with uncertainty in contextual requirements at runtime","volume":"70","author":"Knauss Alessia","year":"2016","unstructured":"Alessia Knauss, Daniela Damian, Xavier Franch, Angela Rook, Hausi A M\u00fcller, and Alex Thomo. 2016. ACon: A learning-based approach to deal with uncertainty in contextual requirements at runtime. IST 70 (2016), 85\u201399.","journal-title":"IST"},{"key":"e_1_3_2_1_17_1","volume-title":"2014 4th Int. Workshop on Emp. RE. IEEE, 56\u201363","author":"Knauss Alessia","year":"2014","unstructured":"Alessia Knauss, Daniela Damian, and Kurt Schneider. 2014. Eliciting contextual requirements at design time: A case study. In 2014 4th Int. Workshop on Emp. RE. IEEE, 56\u201363."},{"key":"e_1_3_2_1_18_1","first-page":"1103","article-title":"Engineering problems in machine learning systems","volume":"109","author":"Kuwajima Hiroshi","year":"2020","unstructured":"Hiroshi Kuwajima, Hirotoshi Yasuoka, and Toshihiro Nakae. 2020. Engineering problems in machine learning systems. MLg 109, 5 (2020), 1103\u20131126.","journal-title":"MLg"},{"key":"e_1_3_2_1_19_1","volume-title":"Int. Symp. on Model-Based Safety. Springer, 116\u2013129","author":"Maier Robert","year":"2022","unstructured":"Robert Maier, Lisa Grabinger, David Urlhart, and J\u00fcrgen Mottok. 2022. Towards causal model-based engineering in automotive system safety. In Int. Symp. on Model-Based Safety. Springer, 116\u2013129."},{"key":"e_1_3_2_1_20_1","first-page":"107520","article-title":"Causa-lOps\u2014Towards an industrial lifecycle for causal probabilistic graphical models","volume":"174","author":"Maier Robert","year":"2024","unstructured":"Robert Maier, Andreas Schlattl, Thomas Guess, and J\u00fcrgen Mottok. 2024. Causa-lOps\u2014Towards an industrial lifecycle for causal probabilistic graphical models. IST 174 (2024), 107520.","journal-title":"IST"},{"key":"e_1_3_2_1_21_1","first-page":"141","article-title":"Algorithmic fairness: Choices, assumptions, and definitions","volume":"8","author":"Mitchell Shira","year":"2021","unstructured":"Shira Mitchell, Eric Potash, Solon Barocas, Alexander D'Amour, and Kristian Lum. 2021. Algorithmic fairness: Choices, assumptions, and definitions. Ann. Review of Stat. and Its Appl. 8 (2021), 141\u2013163.","journal-title":"Ann. Review of Stat. and Its Appl."},{"volume-title":"Possible Minds: 25 Ways of Looking at AI","author":"Pearl Judea","key":"e_1_3_2_1_22_1","unstructured":"Judea Pearl. 2019. The Limitations of Opaque Learning Machines. In Possible Minds: 25 Ways of Looking at AI, Johnm Brockman (Ed.). Penguin Press, London, Chapter 2."},{"key":"e_1_3_2_1_23_1","volume-title":"2022 30th IEEE RE Conf. Workshops (REW). IEEE, 166\u2013175","author":"Pei Zhongyi","year":"2022","unstructured":"Zhongyi Pei, Lin Liu, Chen Wang, and Jianmin Wang. 2022. Requirements engineering for machine learning: A review and reflection. In 2022 30th IEEE RE Conf. Workshops (REW). IEEE, 166\u2013175."},{"key":"e_1_3_2_1_24_1","volume-title":"2019 27th IEEE RE Workshops (REW). IEEE, 241\u2013244","author":"Rahimi Mona","year":"2019","unstructured":"Mona Rahimi, Jin LC Guo, Sahar Kokaly, and Marsha Chechik. 2019. Toward requirements specification for machine-learned components. In 2019 27th IEEE RE Workshops (REW). IEEE, 241\u2013244."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","first-page":"612","DOI":"10.1109\/JPROC.2021.3058954","article-title":"Toward causal representation learning","volume":"109","author":"Sch\u00f6lkopf Bernhard","year":"2021","unstructured":"Bernhard Sch\u00f6lkopf, Francesco Locatello, Stefan Bauer, Nan Rosemary Ke, Nal Kalchbrenner, Anirudh Goyal, and Yoshua Bengio. 2021. Toward causal representation learning. Proc. IEEE 109, 5 (2021), 612\u2013634.","journal-title":"Proc. IEEE"},{"key":"e_1_3_2_1_26_1","first-page":"112053","article-title":"Identifying concerns when specifying machine learning-enabled systems: a perspective-based approach","volume":"213","author":"Villamizar Hugo","year":"2024","unstructured":"Hugo Villamizar, Marcos Kalinowski, H\u00e9lio Lopes, and Daniel Mendez. 2024. Identifying concerns when specifying machine learning-enabled systems: a perspective-based approach. JSS 213 (2024), 112053.","journal-title":"JSS"}],"event":{"name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Clarion Hotel Trondheim Trondheim Norway","acronym":"FSE Companion '25"},"container-title":["Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696630.3731614","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:11:18Z","timestamp":1753729878000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3731614"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":26,"alternative-id":["10.1145\/3696630.3731614","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3731614","relation":{},"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"2025-07-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}