{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T13:02:30Z","timestamp":1784638950146,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,6,29]],"date-time":"2026-06-29T00:00:00Z","timestamp":1782691200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,6,30]]},"DOI":"10.1145\/3807968.3810930","type":"proceedings-article","created":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T08:24:38Z","timestamp":1782548678000},"page":"23-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Generative AI-Driven Environment for the Specification and Evaluation of IoT Software Systems Requirements"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4894-6095","authenticated-orcid":false,"given":"Sabrina Rocha de","family":"Souza","sequence":"first","affiliation":[{"name":"LAMIH, University Polytechnic Hauts-De-France, Valenciennes, France and PESC\/COPPE\/UFRJ, Universidade Federal do Rio de Janeiro, Rio de Janeiro, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8146-5966","authenticated-orcid":false,"given":"K\u00e1thia Mar\u00e7al de","family":"Oliveira","sequence":"additional","affiliation":[{"name":"LAMIH UMR CNRS 8201, Universit\u00e9 Polytechnique Hauts-de-France, Valenciennes, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1927-7398","authenticated-orcid":false,"given":"Claudio Miceli de","family":"Farias","sequence":"additional","affiliation":[{"name":"PESC\/COPPE\/UFRJ, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4258-0424","authenticated-orcid":false,"given":"Guilherme Horta","family":"Travassos","sequence":"additional","affiliation":[{"name":"PESC\/COPPE\/UFRJ, Federal University of Rio de Janeiro, Rio de Janeiro, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,29]]},"reference":[{"key":"e_1_3_3_3_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-58697-7_1"},{"key":"e_1_3_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS-C59198.2023.00096"},{"key":"e_1_3_3_3_4_2","doi-asserted-by":"publisher","unstructured":"Deepali Bajaj Anita Goel SC Gupta and Hunar Batra. 2022. MUCE: a multilingual use case model extractor using GPT-3. International Journal of Information Technology 14 3 (2022) 1543\u20131554. 10.1007\/s41870-022-00884-2","DOI":"10.1007\/s41870-022-00884-2"},{"key":"e_1_3_3_3_5_2","doi-asserted-by":"publisher","unstructured":"Mario Binder and Vitaliy Mezhuyev. 2024. A framework for creating an IoT system specification with ChatGPT. Internet of Things 27 (2024) 101218. 10.1016\/j.iot.2024.101218","DOI":"10.1016\/j.iot.2024.101218"},{"key":"e_1_3_3_3_6_2","doi-asserted-by":"publisher","unstructured":"Igor Bisio Chiara Garibotto Aldo Grattarola Fabio Lavagetto and Andrea Sciarrone. 2018. Exploiting Context-Aware Capabilities over the Internet of Things for Industry 4.0 Applications. IEEE Network 32 3 (2018) 101\u2013107. 10.1109\/MNET.2018.1700355","DOI":"10.1109\/MNET.2018.1700355"},{"key":"e_1_3_3_3_7_2","doi-asserted-by":"publisher","unstructured":"Chitrak Biswas and Souvick Das. 2025. ARIA-QA: AI-agent based requirements inspection and analysis through question answering: C. Biswas S. Das. Innovations in Systems and Software Engineering 21 3 (2025) 1009\u20131024. 10.1007\/s11334-024-00589-8","DOI":"10.1007\/s11334-024-00589-8"},{"key":"e_1_3_3_3_8_2","doi-asserted-by":"publisher","unstructured":"Fatma Bozyigit Tolgahan Bardakci Alireza Khalilipour Moharram Challenger Guus Ramackers Onder Babur and Michel\u00a0RV Chaudron. 2024. Generating domain models from natural language text using NLP: a benchmark dataset and experimental comparison of tools. Software and Systems Modeling 23 6 (2024) 1493\u20131511. 10.1007\/s10270-024-01176-y","DOI":"10.1007\/s10270-024-01176-y"},{"key":"e_1_3_3_3_9_2","doi-asserted-by":"publisher","unstructured":"Ga\u00eblle Calvary Jo\u00eblle Coutaz David Thevenin Quentin Limbourg Laurent Bouillon and Jean Vanderdonckt. 2003. A Unifying Reference Framework for multi-target user interfaces. Interacting with Computers 15 3 (2003) 289\u2013308. 10.1016\/S0953-5438(03)00010-9","DOI":"10.1016\/S0953-5438(03)00010-9"},{"key":"e_1_3_3_3_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32489-6_13"},{"key":"e_1_3_3_3_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/REW57809.2023.00052"},{"key":"e_1_3_3_3_12_2","doi-asserted-by":"publisher","unstructured":"Danyllo\u00a0Valente da Silva Bruno\u00a0Pedra\u00e7a de Souza Taisa\u00a0Guidini Gon\u00e7alves and Guilherme\u00a0Horta Travassos. 2021. A Requirements Engineering Technology for the IoT Software Systems. Journal of Software Engineering Research and Development (2021). 10.5753\/jserd.2021.1892","DOI":"10.5753\/jserd.2021.1892"},{"key":"e_1_3_3_3_13_2","doi-asserted-by":"publisher","unstructured":"Anind\u00a0K. Dey. 2001. Understanding and Using Context. Personal Ubiquitous Comput. 5 1 (Jan. 2001) 4\u20137. 10.1007\/s007790170019","DOI":"10.1007\/s007790170019"},{"key":"e_1_3_3_3_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3695302"},{"key":"e_1_3_3_3_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/RE59067.2024.00022"},{"key":"e_1_3_3_3_16_2","unstructured":"International\u00a0Organization for Standardization. 2018. ISO\/IEC\/IEEE International Standard - Systems and software engineering \u2013 Life cycle processes \u2013 Requirements engineering. 104\u00a0pages. https:\/\/www.iso.org\/standard\/72089.html"},{"key":"e_1_3_3_3_17_2","doi-asserted-by":"publisher","unstructured":"Alexander\u00a0Elenga G\u00e4rtner and Dietmar G\u00f6hlich. 2024. Automated requirement contradiction detection through formal logic and LLMs. Automated Software Engineering 31 2 (2024) 49. 10.1007\/s10515-024-00452-x","DOI":"10.1007\/s10515-024-00452-x"},{"key":"e_1_3_3_3_18_2","doi-asserted-by":"publisher","unstructured":"Alexander\u00a0Elenga G\u00e4rtner and Dietmar G\u00f6hlich. 2024. Towards an Automatic Contradiction Detection in Requirements Engineering. Proceedings of the Design Society 4 (2024) 2049\u20132058. 10.1017\/pds.2024.207","DOI":"10.1017\/pds.2024.207"},{"key":"e_1_3_3_3_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/REW57809.2023.00015"},{"key":"e_1_3_3_3_20_2","volume-title":"AI4CC-IPS-RCRA-SPIRIT@ AI* IA","author":"Guidotti Dario","year":"2024","unstructured":"Dario Guidotti, Laura Pandolfo, Tiziana Fanni, Katiuscia Zedda, and Luca Pulina. 2024. Translating Requirements in Property Specification Patterns using LLMs.. In AI4CC-IPS-RCRA-SPIRIT@ AI* IA."},{"key":"e_1_3_3_3_21_2","doi-asserted-by":"publisher","unstructured":"Anne H\u00e5kansson and Gloria Phillips-Wren. 2024. Generative AI and Large Language Models - Benefits Drawbacks Future and Recommendations. Procedia Computer Science 246 (2024) 5458\u20135468. 10.1016\/j.procs.2024.09.689","DOI":"10.1016\/j.procs.2024.09.689"},{"key":"e_1_3_3_3_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/REW61692.2024.00006"},{"key":"e_1_3_3_3_23_2","doi-asserted-by":"publisher","unstructured":"Aftab\u00a0Alam Janisar Ayman Meidan Khairul\u00a0Shafee bin Kalid Aliza Sarlan Abdul\u00a0Rehman Gilal Umar\u00a0Danjuma Maiwada and Zaid\u00a0Bin Faheem. 2026. Enhancing Security Requirements Engineering for IoT Smart Homes: A BERT-based Approach to Automated Completeness Checking. Scientific African (2026) e03275. 10.1016\/j.sciaf.2026.e03275","DOI":"10.1016\/j.sciaf.2026.e03275"},{"key":"e_1_3_3_3_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3695350"},{"key":"e_1_3_3_3_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/RE59067.2024.00056"},{"key":"e_1_3_3_3_26_2","doi-asserted-by":"publisher","DOI":"10.1109\/RE59067.2024.00046"},{"key":"e_1_3_3_3_27_2","doi-asserted-by":"crossref","unstructured":"Taslim Mahbub Dana Dghaym Aadhith Shankarnarayanan Taufiq Syed Salsabeel Shapsough and Imran Zualkernan. 2024. Can GPT-4 Aid in Detecting Ambiguities Inconsistencies and Incompleteness in Requirements Analysis? A Comprehensive Case Study. IEEE Access 12 (2024) 171972\u2013171992. https:\/\/doi.org\/ACCESS.2024.3464242","DOI":"10.1109\/ACCESS.2024.3464242"},{"key":"e_1_3_3_3_28_2","doi-asserted-by":"publisher","unstructured":"Rebeca\u00a0Campos Motta Val\u00e9ria Silva and Guilherme\u00a0Horta Travassos. 2019. Towards a more in-depth understanding of the IoT Paradigm and its challenges. Journal of Software Engineering Research and Development 7 (2019) 3\u20131. 10.5753\/jserd.2019.14","DOI":"10.5753\/jserd.2019.14"},{"key":"e_1_3_3_3_29_2","unstructured":"Muhammad\u00a0Asgher Nadeem Muhammad Hasnain M\u00a0Mohsin Saleemi Muhammad\u00a0Awais Mohsin Mohammad\u00a0Adeel Ansari and Wissal Essalah. 2024. Challenges in requirements engineering for IoT solutions. Journal of Computing & Biomedical Informatics 6 02 (2024) 55\u201363."},{"key":"e_1_3_3_3_30_2","doi-asserted-by":"crossref","unstructured":"Anh Nguyen-Duc Beatriz Cabrero-Daniel Adam Przybylek Chetan Arora Dron Khanna Tomas Herda Usman Rafiq Jorge Melegati Eduardo Guerra Kai-Kristian Kemell et\u00a0al. 2025. Generative artificial intelligence for software engineering\u2014A research agenda. Software: Practice and Experience 55 11 (2025) 1806\u20131843. https:\/\/doi.org\/https:\/\/doi.org:10.1002\/spe.70005 publisher=Wiley Online Library","DOI":"10.1002\/spe.70005"},{"key":"e_1_3_3_3_31_2","doi-asserted-by":"publisher","DOI":"10.1109\/IDCIoT59759.2024.10467750"},{"key":"e_1_3_3_3_32_2","doi-asserted-by":"publisher","DOI":"10.1002\/9780470754887"},{"key":"e_1_3_3_3_33_2","doi-asserted-by":"publisher","unstructured":"Preeja Pradeep Shivsubramani Krishnamoorthy and Athanasios\u00a0V Vasilakos. 2021. A holistic approach to a context-aware IoT ecosystem with adaptive ubiquitous middleware. Pervasive and Mobile Computing 72 (2021) 101342. 10.1016\/j.pmcj.2021.101342","DOI":"10.1016\/j.pmcj.2021.101342"},{"key":"e_1_3_3_3_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME58944.2024.00082"},{"key":"e_1_3_3_3_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/3643666.3648577"},{"key":"e_1_3_3_3_36_2","unstructured":"James Robertson and Suzanne Robertson. 2000. Volere. Requirements Specification Templates (2000)."},{"key":"e_1_3_3_3_37_2","doi-asserted-by":"publisher","DOI":"10.1109\/REW57809.2023.00035"},{"key":"e_1_3_3_3_38_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-78386-9_20"},{"key":"e_1_3_3_3_39_2","doi-asserted-by":"publisher","DOI":"10.5753\/sbqs.2025.15089"},{"key":"e_1_3_3_3_40_2","unstructured":"Albrecht Schmidt. 2005. Interactive context-aware systems interacting with ambient intelligence."},{"key":"e_1_3_3_3_41_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICAD65464.2025.11114032"},{"key":"e_1_3_3_3_42_2","doi-asserted-by":"publisher","DOI":"10.1145\/3652620.3687810"},{"key":"e_1_3_3_3_43_2","doi-asserted-by":"publisher","DOI":"10.5753\/sbqs.2025.15015"},{"key":"e_1_3_3_3_44_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-69306-3"},{"key":"e_1_3_3_3_45_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICNGN59831.2023.10396810"},{"key":"e_1_3_3_3_46_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-96-0617-7_1"},{"key":"e_1_3_3_3_47_2","doi-asserted-by":"publisher","unstructured":"Ziyan Zhao Li Zhang Xiaoli Lian Xiaoyun Gao Heyang Lv and Lin Shi. 2023. ReqGen: Keywords-Driven Software Requirements Generation. Mathematics 11 2 (2023) 332. 10.3390\/math11020332","DOI":"10.3390\/math11020332"}],"event":{"name":"EICS '26: The 18th ACM SIGCHI Symposium on Engineering Interactive Computing Systems","location":"Patras Greece","acronym":"EICS '26 Companion","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"]},"container-title":["Companion Proceedings of the 18th ACM SIGCHI Symposium on Engineering Interactive Computing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3807968.3810930","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T12:15:20Z","timestamp":1784636120000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3807968.3810930"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,29]]},"references-count":46,"alternative-id":["10.1145\/3807968.3810930","10.1145\/3807968"],"URL":"https:\/\/doi.org\/10.1145\/3807968.3810930","relation":{},"subject":[],"published":{"date-parts":[[2026,6,29]]},"assertion":[{"value":"2026-06-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}