PROFES 2025
Mon 1 - Wed 3 December 2025 Salerno , Italy

Software projects in the medical device domain specify requirements at different abstraction levels (layers) to ensure traceability, compliance, and clarity. However, writing detailed lower-level requirements is time-consuming. Privacy and regulatory constraints often prohibit the use of external or public cloud services for processing sensitive requirement data. This study investigates whether privacy-preserving, on-premise large language models (LLMs) can automate the decomposition of high-level requirements into system and software-level specifications while complying with data-protection regulations. Five open-weights instruction-tuned models ranging from 3 billion to 70 billion parameters are evaluated locally using the Ollama runtime. Four prompt strategies are tested: minimal, regulatory-context, example-driven, and retrieval-augmented generation (RAG), across two decomposition levels: user-to-system and system-to-software on real-world medical device requirements. The results indicate that (i) all on-premise models generate syntactically valid and structured requirements when prompted appropriately, (ii) example-driven prompts achieve the highest semantic similarity scores to the ground truth, (iii) larger models (R1 Distill Qwen 32B and LLaMA 3.3 70B) outperform smaller models, and (iv) RAG, which is used to fetch examples for few-shot prompting, shows no measurable benefit due to limited retrieval corpus. These findings demonstrate that local LLMs can effectively automate requirements decomposition while maintaining regulatory compliance. Proposed approach has the potential to reduce the time used in requirements engineering while maintaining regulatory compliance.

Tue 2 Dec

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00
Requirements Engineering and ManagementResearch Papers / Short Papers and Posters / Industry Papers at Sala degli Affreschi (Fresco Room)
Chair(s): Ehsan Zabardast Nordea / Blekinge Institute of Technology
16:00
15m
Talk
Writing Aids for Agile Requirements Engineering - A Comparative Study Between Natural Language Processing and Machine Learning
Research Papers
Fabian Gilson University of Canterbury, Ella Calder University of Canterbury, Daniel Neal University of Canterbury
File Attached
16:15
15m
Talk
Improving the Writing Quality of User Stories: A Canonical Action Research Study
Research Papers
Sabine Molenaar Utrecht University, Fabiano Dalpiaz Utrecht University
16:30
15m
Talk
From Machine Learning Documentation to Requirements: Bridging Processes with Requirements Languages
Research Papers
Yi Peng University of Gothenburg and Chalmers University of Technology, Hans-Martin Heyn University of Gothenburg & Chalmers University of Technology, Jennifer Horkoff Chalmers and the University of Gothenburg
16:45
15m
Talk
Towards Effective Automation of Issue–Commit Link Recovery: An Empirical Investigation
Research Papers
Risha Parveen Tampere University, Zheying Zhang Tampere University, Kari Systa Tampere University, Terhi Kilamo Tampere University, Ali Mehraj Tampere University
File Attached
17:00
15m
Talk
Improving Behavior-Driven Development Scenarios: Empirical Evaluation of a Quality Assement Framework
Research Papers
Dillan Sears Katholieke Universiteit Leuven, Konstantinos Tsilionis Eindhoven University of Technology, Yves Wautelet KU Leuven
17:15
15m
Talk
Influence of LLM Prioritizations on Human Decisions in Requirements Engineering
Research Papers
Amna Pir Muhammad Chalmers | University of Gothenburg, Richard Berntsson Svensson Chalmers | University of Gothenburg, Irum Inayat Chalmers | University of Gothenburg
17:30
10m
Talk
Enhancing Regulation-Adherent Requirement Engineering with Contextual AI: An industrial study
Industry Papers
Orhan Sirin Solita Oy, Malik Sami Tampere University, Tuomas Granlund Solita Oy, Jussi Rasku Tampere University, Zheying Zhang Tampere University, Pekka Abrahamsson Tampere University
17:40
7m
Talk
Privacy-Enhanced Software Design: Purpose-Aware UML Diagrams
Short Papers and Posters
Evangelia Vanezi University of Cyprus, Georgia Kapitsaki University of Cyprus, Anna Philippou University of Cyprus
File Attached
17:47
7m
Talk
Requirements Communication at the Intersection between RE and UX
Short Papers and Posters
Anne Hess Technical University of Applied Sciences Würzburg-Schweinfurt, Gerald Heller Consultant and Trainer, Hartmut Schmitt HK Business Solutions GmbH, Cornelia Seraphin msg systems AG, Ismaning, Oliver Karras TIB - Leibniz Information Centre for Science and Technology
17:54
7m
Talk
PostItFlow: An Early Study on Agentic Workflow for Enhancing and Visualizing User Stories
Short Papers and Posters
Oshani Weerakoon University of Turku, Juuso Rytilahti Department of Computing, University of Turku, Tuomas Mäkilä University of Turku, Erkki Kaila Department of Computing, University of Turku, Shola Oyedeji LUT University

Wed 3 Dec

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 14:30
14:00
30m
Talk
Enhancing Regulation-Adherent Requirement Engineering with Contextual AI: An industrial study
Industry Papers
Orhan Sirin Solita Oy, Malik Sami Tampere University, Tuomas Granlund Solita Oy, Jussi Rasku Tampere University, Zheying Zhang Tampere University, Pekka Abrahamsson Tampere University
14:00
30m
Talk
An Empirical Study of Security-Policy Related Issues in Open Source Projects
Short Papers and Posters
Rintaro Kanaji Nara Institute of Science and Technology, Brittany Reid Nara Institute of Science and Technology, Yutaro Kashiwa Nara Institute of Science and Technology, Raula Gaikovina Kula The University of Osaka, Hajimu Iida Nara Institute of Science and Technology
File Attached
14:00
30m
Talk
Towards Understanding the Developer Experience in Quantum Software Development
Short Papers and Posters
Ronja Heikkinen University of Jyväskylä, Majid Haghparast University of Jyväskylä, Tommi Mikkonen University of Jyvaskyla