Guizzardi / Araújo Requirements Engineering: Foundation for Software Quality

32nd International Working Conference, REFSQ 2026, Poznan, Poland, March 23–26, 2026, Proceedings
Erscheinungsjahr 2026
ISBN: 978-3-032-21423-2
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 354 Seiten

Reihe: Springer Nature Proceedings Computer Science

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.

Zielgruppe

Research

Autoren/Hrsg.

Guizzardi, Renata

Araújo, João

Inhaltsverzeichnis

.- 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.