English
Related papers

Related papers: Desiree - a Refinement Calculus for Requirements E…

200 papers

Today, many industrial processes are undergoing digital transformation, which often requires the integration of well-understood domain models and state-of-the-art machine learning technology in business processes. However, requirements…

Software Engineering · Computer Science 2022-10-04 Zhongyi Pei , Lin Liu , Chen Wang , Jianmin Wang

Requirements quality is central to successful software and systems engineering. Empirical research on quality defects in natural language requirements relies heavily on datasets, ideally as realistic and representative as possible. However,…

Software Engineering · Computer Science 2025-08-13 Henning Femmer , Frank Houdek , Max Unterbusch , Andreas Vogelsang

Systems that use Machine Learning (ML) have become commonplace for companies that want to improve their products and processes. Literature suggests that Requirements Engineering (RE) can help address many problems when engineering…

Decision making and requirements scoping occupy central roles in helping to develop products that are demanded by the customers and ensuring company strategies are accurately realized in product scope. Many companies experience continuous…

Software Engineering · Computer Science 2016-11-15 Krzysztof Wnuk , Markus Borg , Sardar Muhammad Sulaman

Requirements specification patterns have received much attention as they promise to guide the structured specification of natural language requirements. By using them, the intention is to reduce quality problems related to requirements…

Software Engineering · Computer Science 2024-04-29 T. Chuprina , D. Méndez , V. Nigam , M. Reich , A. Schweiger

Requirements engineering is a knowledge intensive process and crucial for the success of engineering projects. The field of knowledge-based requirements engineering (KBRE) aims to support engineers by providing knowledge to assist in the…

Software Engineering · Computer Science 2024-11-19 Lasse M. Reinpold , Marvin Schieseck , Lukas P. Wagner , Felix Gehlhoff , Alexander Fay

Goal-oriented requirements variability modelling has established the understanding for adaptability in the early stage of software development-the Requirements Engineering phase. Goal-oriented requirements variability modelling considers…

Software Engineering · Computer Science 2019-05-17 Khavee Agustus Botangen , Jian Yu , Sira Yongchareon , LiangHuai Yang , Quan Bai

Context and motivation. Online user feedback is a valuable resource for requirements engineering, but its volume and noise make analysis difficult. Existing tools support individual feedback analysis tasks, but their capabilities are rarely…

Software Engineering · Computer Science 2026-01-19 Manjeshwar Aniruddh Mallya , Alessio Ferrari , Mohammad Amin Zadenoori , Jacek Dąbrowski

Recent advances in large pretrained models have led to their widespread integration as core components in modern software systems. The trend is expected to continue in the foreseeable future. Unlike traditional software systems governed by…

Software Engineering · Computer Science 2025-07-18 Dongming Jin , Zhi Jin , Linyu Li , Xiaohong Chen

Background: Nowadays, regulatory requirements engineering (regulatory RE) faces challenges of interdisciplinary nature that cannot be tackled due to existing research gaps. Aims: We envision an approach to solve some of the challenges…

Software Engineering · Computer Science 2021-08-31 Oleksandr Kosenkov , Michael Unterkalmsteiner , Daniel Mendez , Davide Fucci

In this paper we present a calculus for re nement of business process models based on a precisede nition of business processes and process nets Business process models are a vital concept for communicating with experts of the application…

Software Engineering · Computer Science 2014-09-26 Bernhard Rumpe , V. Thurner

We introduce skipping refinement, a new notion of correctness for reasoning about optimized reactive systems. Reasoning about reactive systems using refinement involves defining an abstract, high-level specification system and a concrete,…

Logic in Computer Science · Computer Science 2015-02-11 Mitesh Jain , Panagiotis Manolios

In the recent years, machine learning has made great advancements that have been at the root of many breakthroughs in different application domains. However, it is still an open issue how make them applicable to high-stakes or…

Machine Learning · Computer Science 2024-02-05 Eleonora Giunchiglia , Fergus Imrie , Mihaela van der Schaar , Thomas Lukasiewicz

In light of the 40th jubilee of Requirements Engineering (RE), roughly 40 experts met in Switzerland to discuss where our discipline stands today. As of today, the common view is, indisputably, that RE as a discipline is stable and…

Software Engineering · Computer Science 2017-10-13 Daniel Méndez Fernández

Natural Language Processing (NLP) is now a cornerstone of requirements automation. One compelling factor behind the growing adoption of NLP in Requirements Engineering (RE) is the prevalent use of natural language (NL) for specifying…

Software Engineering · Computer Science 2024-07-17 Mehrdad Sabetzadeh , Chetan Arora

The escalating complexity of modern software imposes an unsustainable operational burden on Site Reliability Engineering (SRE) teams, demanding AI-driven automation that can emulate expert diagnostic reasoning. Existing solutions, from…

Software Engineering · Computer Science 2026-01-30 Peng Di , Faqiang Chen , Xiao Bai , Hongjun Yang , Qingfeng Li , Ganglin Wei , Jian Mou , Feng Shi , Keting Chen , Peng Tang , Zhitao Shen , Zheng Li , Wenhui Shi , Junwei Guo , Hang Yu

There is a strong overlap between requirements engineering (RE) and user experience (UX). Nevertheless, in practice both disciplines are often performed by separate roles and there are deficits in collaboration. In order to provide starting…

Software Engineering · Computer Science 2022-09-15 Hartmut Schmitt , Gerald Heller , Anne Hess , Oliver Karras

[Context&Motivation]Due to the managerial ,operational and evolutionary independence of constituent systems (CSs) in a System of Systems (SoS) context, top-down and linear requirements engineering (RE) approaches are insufficient. RE…

Software Engineering · Computer Science 2021-02-11 Carsten Wiecher , Joel Greenyer , Carsten Wolff , Harald Anacker , Roman Dumitrescu

Operationalizing human values alongside functional and adaptation requirements remains challenging due to their ambiguous, pluralistic, and context-dependent nature. Explicit representations are needed to support the elicitation, analysis,…

Software Engineering · Computer Science 2026-02-11 Everaldo Silva Júnior , Lina Marsso , Ricardo Caldas , Marsha Chechik , Genaína Nunes Rodrigues

Requirement Engineering (RE) is a Software Engineering (SE) process of defining, documenting, and maintaining the requirements from a problem. It is one of the most complex processes of SE because it addresses the relation between customer…

‹ Prev 1 4 5 6 7 8 10 Next ›