Research PapersREFSQ 2022
Requirements Engineering (RE) is a critical factor in developing high-quality and successful software, systems, and services. The REFSQ working conference series is an established international forum for discussing current and state-of-the-art RE practices, celebrating its 28th edition.
Working Conference Format
REFSQ has a long tradition of being a highly structured and interactive event. Each session is organized to emphasize discussion among the presenters of papers, pre-assigned discussants, and all the other participants. The REFSQ 2022 program will include keynote speakers, technical papers, research previews, industrial presentations, as well as posters and tools. Workshops and the REFSQ doctoral symposium will be co-located with the main conference.
Scope
REFSQ 2022 seeks reports of novel ideas and techniques that enhance the quality of RE products and processes, reflections on current research and industrial RE practices, as well as new views on RE. We invite submissions on any aspect of RE. We encourage researchers and practitioners from the RE, software engineering, information systems, service science, embedded systems, and product management fields to present original work. RE methods, tools, and processes are expected to support engineering diverse types of systems of different scales and complexity and are applied in diverse domains. As such, contributions from related areas such as systems engineering, economics, and management, providing insights to RE, are welcome.
The special theme of REFSQ 2022 is “Explainability in RE” including how to elicit, specify and validate requirements for explainability in (and thus accountability of) software system, and how to design and implement systems whose behavior in specific instances is explainable, back to their requirements and associated rationale.
Highlights
Accepted Papers
Call for Papers
Submissions
We invite original submissions in several categories:
- Technical design papers (15 pages incl. references) describe the design of new artifacts, i.e., novel solutions for requirements-related problems or significant improvements of existing solutions.
- Scientific evaluation papers (15 pages incl. references) investigate existing real-world problems, evaluate existing real-world implemented artifacts, or validate newly designed artifacts, e.g., by means such as case studies, experiments, simulation, surveys, systematic literature reviews, mapping studies, or action research.
- Vision papers (6 pages incl. references) state where research in the field should be heading.
- Research previews (6 pages incl. references) describe well-defined research ideas at an early stage of investigation which may not be fully developed.
Submission, Reviewing, and Publication
Contributions must be submitted on https://easychair.org/my/conference?conf=refsq2022.
Each submission in the scope of REFSQ will undergo a single-blind review process that will involve at least three members of the program committee.
The REFSQ 2022 proceedings will be published in Springer’s LNCS series. We are also planning a special section with a journal for the best papers.
Formatting
All submissions must be formatted according to the Springer LNCS/LNBIP conference proceedings template (for LaTeX and Word): https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines. As per the guidelines, please remember to include keywords after your abstract.
Furthermore, to facilitate accurate bidding and a better understanding of the papers, each paper submitted to REFSQ 2022 is required to have a structured abstract. The imposed structure demands each abstract have exactly 4 paragraphs with the following content:
- Context and motivation: Situate and motivate your research.
- Question/problem: Formulate the specific question/problem addressed by the paper.
- Principal ideas/results: Summarize the ideas and results described in your paper. State, where appropriate, your research approach and methodology.
- Contribution: State the main contribution of your paper. What’s the value you add (to theory, to practice, or to whatever you think that the paper adds value). Also, state the limitations of your results.
Three examples of structured abstracts are given here.
Tue 22 MarDisplayed time zone: London change
09:00 - 10:30 | |||
09:00 90mKeynote | Requirements, Models, and Automated Reasoning in the Cloud.Keynote Research Papers Michael Whalen University of Minnesota, USA |
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break Catering |
11:00 - 12:30 | User StoriesResearch Papers at Conference Room 1 Chair(s): Paola Spoletini Kennesaw State University | ||
11:00 45mTalk | Guided Derivation of Conceptual Models from User Stories: A Controlled ExperimentScientific Evaluation Research Papers Maxim Bragilovski Ben-Gurion University, Fabiano Dalpiaz Utrecht University, Arnon Sturm Ben-Gurion University of the Negev Pre-print | ||
11:45 45mTalk | Invest in Splitting: User Story Splitting within the Software IndustryScientific Evaluation Research Papers Emanuel Dellsen University of Gothenburg, Karl Westgårdh University of Gothenburg, Jennifer Horkoff Chalmers and the University of Gothenburg |
11:00 - 12:30 | Machine Learning for REResearch Papers at Conference Room 3 Chair(s): Dan Berry University of Waterloo | ||
11:00 45mTalk | Abbreviation-Expansion Pair Detection for Glossary Term ExtractionScientific Evaluation Research Papers Hussein Hasso Fraunhofer FKIE, Katharina Großer University of Koblenz-Landau, Iliass Aymaz Fraunhofer FKIE, Hanna Geppert Fraunhofer FKIE, Jan Jürjens University of Koblenz-Landau | ||
11:45 20mTalk | A Zero-Shot Learning Approach to Classifying Requirements: Preliminary StudyResearch Preview Research Papers Waad Alhoshan Al-Imam Mohammed Ibn Saud Islamic University, Liping Zhao University of Manchester, Alessio Ferrari CNR-ISTI, Keletso J. Letsholo Higher Colleges of Technology |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
14:00 - 15:30 | Users and StakeholdersResearch Papers at Conference Room 3 Chair(s): Kurt Schneider Leibniz Universität Hannover, Software Engineering Group | ||
14:00 45mTalk | A Study on the Mental Models of Users Concerning Existing SoftwareScientific Evaluation Research Papers Michael Anders Ruprecht-Karls-University Heidelberg, Martin Obaidi Leibniz Universität Hannover, Barbara Paech Heidelberg University, Kurt Schneider Leibniz Universität Hannover, Software Engineering Group | ||
14:45 45mTalk | Requirements Engineering for Software-Enabled Art: Challenges and GuidelinesTechnical Design Research Papers |
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee Break Catering |
17:30 - 19:00 | |||
17:30 90mMeeting | Steering Committee Meeting Catering |
Thu 24 MarDisplayed time zone: London change
09:00 - 10:30 | |||
09:00 90mKeynote | Explainable Machine Learning for Trustworthy AIKeynote Research Papers Fosca Giannotti CNR-ISTI |
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break Catering |
11:00 - 12:30 | RE for AIResearch Papers at Conference Room 1 Chair(s): Jennifer Horkoff Chalmers and the University of Gothenburg | ||
11:00 20mTalk | Requirements Engineering for Artificial Intelligence: What is a Requirements Specification for an Artificial Intelligence?Research Preview Research Papers Dan Berry University of Waterloo | ||
11:20 45mTalk | Setting AI in context: A case study on defining the context and operational design domain for automated drivingTechnical Design Research Papers Hans-Martin Heyn University of Gothenburg & Chalmers University of Technology, Padmini Subbiah Chalmers University of Technology, Jennifer Linder Chalmers University of Technology, Eric Knauss Chalmers | University of Gothenburg, Olof Eriksson Veoneer Sweden AB | ||
12:05 20mTalk | A Business Model Construction Kit for Platform Business Models - Research PreviewResearch Preview Research Papers |
11:00 - 12:30 | Model-Driven REResearch Papers at Conference Room 3 Chair(s): Andreas Vogelsang University of Cologne | ||
11:00 20mTalk | From User Stories to Data Flow Diagram for Privacy AwarenessResearch Preview Research Papers Guntur Budi Herwanto Universitas Gadjah Mada, Gerald Quirchmayr University of Vienna, A Min Tjoa Vienna University of Technology | ||
11:20 45mTalk | How Effective Is Automated Trace Link Recovery in Model-Driven Development?Scientific Evaluation Research Papers Randell Rasiman Utrecht University, Fabiano Dalpiaz Utrecht University, Sergio España Utrecht University Pre-print |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
14:00 - 15:30 | |||
14:00 45mTalk | Transparency and Explainability of AI Systems: Ethical Guidelines in PracticeScientific Evaluation Research Papers Nagadivya Balasubramaniam Aalto University, Marjo Kauppinen Aalto University, Kari Hiekkanen Aalto University, Sari Kujala Aalto University | ||
14:45 20mTalk | Quo Vadis, Explainability? - A Research Roadmap for Explainability EngineeringVision Research Papers Wasja Brunotte Leibniz University Hannover, Larissa Chazette Leibniz University Hannover, Verena Klös Technische Universität Berlin, Timo Speith Saarland University | ||
15:05 20mTalk | Sharpening the Vision through Vision Video Making: A Case StudyResearch Preview Research Papers Melanie Schmedes Leibniz University Hannover, Jianwei Shi Leibniz Universität Hannover, Lukas Nagel Leibniz University Hannover, Johann Sell Humboldt-Universität zu Berlin, Kurt Schneider Leibniz Universität Hannover, Software Engineering Group |
14:00 - 15:30 | RE in PracticeResearch Papers at Conference Room 3 Chair(s): Xavier Franch Universitat Politècnica de Catalunya | ||
14:00 45mTalk | RE in the Market Dialogue of Public Procurement: A Case Study of an Innovation Partnership for Medical TechnologyScientific Evaluation Research Papers Gunnar Brataas SINTEF Digital, Geir Kjetil Hanssen SINTEF, Norway, Xinlu Qiu NTNU, Lisa Græslie SINTEF Digital File Attached | ||
14:45 45mTalk | How Security Requirements are Tested in Industry? -- A Survey StudyScientific Evaluation Research Papers Sylwia Kopczyńska Poznan University of Technology, Daniel Craviee De Abreu Vieira Poznan University of Technology, Miroslaw Ochodek Poznan University of Technology |
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee Break Catering |
16:00 - 16:30 | |||
Accepted Papers
Technical Design Papers
- Hans-Martin Heyn, Padmini Subbiah, Jennifer Linder, Eric Knauss and Olof Eriksson:
Setting AI in context: A case study on defining the context and operational design domain for automated driving - Niklas Moller and Jennifer Horkoff:
Requirements Engineering for Software-Enabled Art: Challenges and Guidelines
Scientific Evaluation Papers
- Marie Farrell, Matt Luckcuck, Oisin Sheridan and Rosemary Monahan:
FRETting About Requirements - Maxim Bragilovski, Fabiano Dalpiaz and Arnon Sturm:
Guided Derivation of Conceptual Models from User Stories: A Controlled Experiment - Nagadivya Balasubramaniam, Marjo Kauppinen, Kari Hiekkanen and Sari Kujala:
Transparency and Explainability of AI Systems: Ethical Guidelines in Practice - Emanuel Dellsen, Karl Westgardh and Jennifer Horkoff:
Invest in Splitting: User Story Splitting within the Software Industry - Randell Rasiman, Fabiano Dalpiaz and Sergio España:
How Effective Is Automated Trace Link Recovery in Model-Driven Development? - Gunnar Brataas, Geir Kjetil Hanssen, Xinlu Qiu and Lisa Græslie:
RE in the Market Dialogue of Public Procurement: A Case Study of an Innovation Partnership for Medical Technology - Michael Anders, Martin Obaidi, Barbara Paech and Kurt Schneider:
A Study on the Mental Models of Users Concerning Existing Software - Sylwia Kopczyńska, Daniel Craviee De Abreu Vieira and Mirosław Ochodek:
How Security Requirements are Tested in Industry? – A Survey Study - Hussein Hasso, Katharina Großer, Iliass Aymaz, Hanna Geppert and Jan Jürjens:
Abbreviation-Expansion Pair Detection for Glossary Term Extraction
Research Preview Papers
- Dan Berry:
Requirements Engineering for Artificial Intelligence: What is a Requirements Specification for an Artificial Intelligence? - Nedo Bartels and Jaap Gordijn:
A Business Model Construction Kit for Platform Business Models - Research Preview - Himaja Cherukuri, Alessio Ferrari and Paola Spoletini:
Towards Explainable Formal Methods: from LTL to Natural Language with Neural Machine Translation - Anmol Nayak, Hari Prasad Timmapathini, Vidhya Murali, Karthikeyan Ponnalagu, Vijendran Gopalan Venkoparao and Amalinda Post:
Req2Spec: Transforming Software Requirements into Formal Specifications using Natural Language Processing - Waad Alhoshan, Liping Zhao, Alessio Ferrari and Keletso J. Letsholo:
A Zero-Shot Learning Approach to Classifying Requirements: Preliminary Study - Guntur Budi Herwanto, Gerald Quirchmayr and A Min Tjoa:
From User Stories to Data Flow Diagram for Privacy Awareness - Melanie Busch, Jianwei Shi, Lukas Nagel, Johann Sell and Kurt Schneider:
Sharpening the Vision through Vision Video Making: A Case Study
Vision Papers
- Wasja Brunotte, Larissa Chazette, Verena Klös and Timo Speith:
Quo Vadis, Explainability? – A Research Roadmap for Explainability Engineering