Requirements Engineering: Foundation for Software Quality 31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 7–10, 2025, Proceedings

This book constitutes the refereed proceedings of the 31st International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2025, held in Barcelona, Spain, during April 7–10, 2025.

The 21 full papers and 8 short papers included in this book were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows: Responsible RE; Crowd and Large-Scale RE; Requirements Modeling; Requirements Elicitation and Analysis; Participatory RE; RE for Safety-critical and Autonomous Systems; and Requirements Quality Assurance.

.- Responsible RE.

.- Towards a Value-Complemented Monitoring Framework for Humans in Cyber-Physical Systems.

.- Veracity Debt: Practitioners Voices on Managing Software Requirements concerning Veracity.

.- Towards Ethic-Focused Requirements Engineering based on Guidelines and Critical Systems Heuristics: A Roadmap based on the Case of Automated Vehicles.

.- Crowd and Large-Scale RE.

.- Refining and validating change requests from a crowd to derive requirements.

.- Do Users’ Explainability Needs in Software Change with Mood?.

.- Exploring and characterizing Ad-hoc Requirements - A case study at a large-scale systems provider.

.- FeReRe: Feedback Requirements Relation using Large Language Models.

.- How Does Users’ App Knowledge Influence the Preferred Level of Detail and Format of Software Explanations?.

.- How Effectively Do LLMs Extract Feature-Sentiment Pairs from App Reviews?.

.- Requirements Modeling.

.- An Interactive Tool for Goal Model Construction using a Knowledge Graph.

.- Generating Domain Models with LLMs using Instruction Tuning.

.- A systematic literature review of KAOS extensions.

.- LACE-HC: A Lightweight Attention-Based Classifier for Efficient Hierarchical Classification of Software Requirements.

.- Requirements Representations in Machine Learning-based Automotive Perception Systems Development for Multi-Party Collaboration.

.- Requirements Elicitation and Analysis.

.- Automatic Prompt Engineering: the Case of Requirements Classification.

.- Exploring Generative Pretrained Transformers to support Sustainability Effect Identification.

.- Prompt Me: Intelligent Software Agent for Requirements Engineering - A Vision Paper.

.- Detecting Redundancies between User Stories with Graphs and Large Language Models.

.- Leveraging Requirements Elicitation through Software Requirement Patterns and LLMs.

.- ReqRAG: Enhancing Software Release Management through Retrieval-Augmented LLMs: An Industrial Study.

.- Participatory RE.

.- The Potential of Citizen Platforms for Requirements Engineering of Large Socio-Technical Software Systems.

.- End-user Requirements Modelling: an Experience Report from Digital Agriculture.

.- Requirements Elicitation Workshops Using the Six Thinking Hats Creativity Technique.

.- RE for Safety-critical and Autonomous Systems.

.- Extending Behavior Trees for Robotic Missions with Quality Requirements.

.- Sharper Specs for Smarter Drones: Formalising Requirements with FRET.

.- Eliciting Explainability Requirements for Safety-Critical Systems: A Nuclear Case Study.

.- Requirements Quality Assurance.

.- Requirements Traceability Link Recovery via Retrieval-Augmented Generation.

.- Towards Connecting Requirements with Developer Artifacts in a Local Context.

.- Adaptive Resolution of Requirements Conflicts in Robot Mission Planning.