Description
This book constitutes the refereed proceedings of the 32nd International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2026, held in Poznan, Poland, during March 2026.
The 16 full papers and 7 short papers included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows: Explainability; Simulation and Visual Formalism; Software Development; User Feedback; Requirements Specification and Privacy by Design; Trustworthiness in AI and Information; Formal Methods Systems; LLMs use in RE.
.- Explainability
.- Immersive and Enjoyable Explanations: On Distinct Explainability Requirements in Games.
.- Misunderstandings by Design: Using Erroneous Tutorials to Induce Mental Model Conflicts and the Need for Explanations.
.- All Eyes on User Needs: Using Gaze and Pupillometric Measures to Identify Explanation Needs.
.- Simulation and Visual Formalism
.- Extending iStar for Synthetic Data Generation and Simulation Modeling for Industry 5.0.
.- The Software Engineering Simulations Lab: Agentic AI for RE Quality Simulations.
.- A Visual Formalism for the Specification of Maritime Traffic Scenarios.
.- Software Development
.- A Context-Aware Multi-Agent Approach to Enhancing User Story Management in Agile Software Development.
.- Security under Pressure: How Agile Teams Experience and Manage Security Requirements.
.- Understanding Usefulness in Developer Explanations on Stack Overflow.
.- User Feedback
.- FeClustRE: Hierarchical Clustering and Semantic Tagging of App Features from User Reviews.
.- From Online User Feedback to Requirements: Evaluating Large Language Models for Classification and Specification Tasks.
.- Requirements Specification and Privacy by Design
.- An Industry-Driven Template for the Documentation of Non-Functional Requirements.
.- Eliciting and Ingraining Cultural Elements in Digital Information Systems with CEFIS.
.- Towards a Goal-Centric Assessment of Requirements Engineering Methods for Privacy by Design.
.- Trustworthiness in AI and Information Systems
.- Embedding Normative Requirements in Fuzzy Logic.
.- Fairness as a First-Class Requirement: A Fairness Hazard Analysis Approach to Socio-Technical Processes.
.- Specifying and Validating Fairness & Transparency Requirements for AI-Based Social Benefit Allocation in Digital Government.
.- Formal Methods
.- Provably Relevant HAL Interface Requirements for Embedded Systems.
.- A Practical and Complete Method for Detecting rt-Inconsistencies in Real-Time Requirements.
.- Automata-Represented Requirements in HanforPL.
.- LLMs use in RE
.- Supporting Stakeholder Requirements Expression with LLM Revisions: An Empirical Evaluation.
.- Opportunities and Limitations of GenAI in RE: Viewpoints from Practice.
.- A Comparative Study of Large and Small Language Models for Conceptual Model Extraction.
