English
Related papers

Related papers: Requirements Problem and Solution Concepts for Ada…

200 papers

While Retrieval-Augmented Generation (RAG) has exhibited promise in utilizing external knowledge, its generation process heavily depends on the quality and accuracy of the retrieved context. Large language models (LLMs) struggle to evaluate…

Computation and Language · Computer Science 2025-10-13 Shi-Qi Yan , Quan Liu , Zhen-Hua Ling

We consider robust optimal experimental design (ROED) for nonlinear Bayesian inverse problems governed by partial differential equations (PDEs). An optimal design is one that maximizes some utility quantifying the quality of the solution of…

Numerical Analysis · Mathematics 2026-05-01 Abhijit Chowdhary , Ahmed Attia , Alen Alexanderian

[Context] Artificial intelligence (AI) components used in building software solutions have substantially increased in recent years. However, many of these solutions focus on technical aspects and ignore critical human-centered aspects.…

Software Engineering · Computer Science 2023-05-22 Khlood Ahmad , Mohamed Abdelrazek , Chetan Arora , Arbind Agrahari Baniya , Muneera Bano , John Grundy

Most existing automated requirements formalisation techniques require system engineers to (re)write their requirements using a set of predefined requirement templates with a fixed structure and known semantics to simplify the formalisation…

Software Engineering · Computer Science 2020-10-01 Aya Zaki-Ismail , Mohamed Osama , Mohamed Abdelrazek , John Grundy , Amani Ibrahim

Developing critical components, such as mission controllers or embedded systems, is a challenging task. Reactive synthesis is a technique to automatically produce correct controllers. Given a high-level specification written in LTL,…

Logic in Computer Science · Computer Science 2023-12-15 Matías Brizzio , César Sánchez

[Background] Research on requirements engineering (RE) for mobile apps employs datasets formed by app users, developers or vendors. However, little is known about the sources of these datasets in terms of platforms and the RE activities…

Software Engineering · Computer Science 2025-09-05 Chong Wang , Haoning Wu , Peng Liang , Maya Daneva , Marten van Sinderen

Software requirements are key elements that contribute to the quality and users satisfaction of the final system. In this work, Requirements Engineering (RE) of web sites is presented using an organizational semiotics perspective. They are…

Software Engineering · Computer Science 2013-05-15 Flávia Linhalis Arantes

Optimizing a building's energy supply design is a task with multiple competing criteria, where not only monetary but also, for example, an environmental objective shall be taken into account. Moreover, when deciding which storages and…

Optimization and Control · Mathematics 2024-07-26 Elisabeth Halser , Elisabeth Finhold , Neele Leithäuser , Tobias Seidel , Karl-Heinz Küfer

Repetitive Scenario Design (RSD) is a randomized approach to robust design based on iterating two phases: a standard scenario design phase that uses $N$ scenarios (design samples), followed by randomized feasibility phase that uses $N_o$…

Systems and Control · Computer Science 2016-02-12 Giuseppe C. Calafiore

In large scale agile systems development, the lack of a unified requirements engineering (RE) process is a major challenge, exacerbated by the absence of high level guiding principles for effective requirements management. To address this…

Software Engineering · Computer Science 2026-02-12 Hina Saeeda , Mijin Kim , Eric Knauss , Jesper Thyssen , Jesper Ørting , Jesper Lysemose Korsgaard , Niels Jørgen Strøm

Quality requirements are critical for successful software engineering, with maintainability being a key internal quality. Despite significant attention in software metrics research, maintainability has attracted surprisingly little focus in…

Software Engineering · Computer Science 2024-01-22 Markus Borg

Natural Language Processing (NLP) is widely used to support the automation of different Requirements Engineering (RE) tasks. Most of the proposed approaches start with various NLP steps that analyze requirements statements, extract their…

Software Engineering · Computer Science 2022-06-15 Riad Sonbol , Ghaida Rebdawi , Nada Ghneim

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

Growing concerns around the trustworthiness of AI-enabled systems highlight the role of requirements engineering (RE) in addressing emergent, context-dependent properties that are difficult to specify without structured approaches. In this…

Software Engineering · Computer Science 2025-07-15 Hugo Villamizar , Daniel Mendez , Marcos Kalinowski

[Context] Engineering Artificial Intelligence (AI) software is a relatively new area with many challenges, unknowns, and limited proven best practices. Big companies such as Google, Microsoft, and Apple have provided a suite of recent…

Software Engineering · Computer Science 2023-01-26 Khlood Ahmad , Mohamed Abdelrazek , Chetan Arora , Muneera Bano , John Grundy

Requirement engineering is a key ingredient for software development to be effective. Apart from the traditional software requirement which is not much appropriate for new emerging software such as smart handheld device based software. In…

Software Engineering · Computer Science 2014-08-13 Tamjid Rahman , M. Rokonuzzaman

Introduction: Requirements engineering faces challenges due to the handling of increasingly complex software systems. These challenges can be addressed using generative AI. Given that GenAI based RE has not been systematically analyzed in…

Software Engineering · Computer Science 2025-11-11 Haowei Cheng , Jati H. Husen , Yijun Lu , Teeradaj Racharak , Nobukazu Yoshioka , Naoyasu Ubayashi , Hironori Washizaki

The use of conceptual models to foster requirements engineering has been proposed and evaluated as beneficial for several decades. For instance, goal-oriented requirements engineering or the specification of scenarios are commonly done…

Software Engineering · Computer Science 2021-03-09 Marian Daun , Jennifer Brings , Marcel Goger , Walter Koch , Thorsten Weyer

Goal-models (GM) have been used in adaptive systems engineering for their ability to capture the different ways to fulfill the requirements. Contextual GM (CGM) extend these models with the notion of context and context-dependent…

Software Engineering · Computer Science 2015-03-25 Felipe Pontes Guimarães , Genaina Nunes Rodrigues , Raian Ali , Daniel Macêdo Batista

Recommender Systems (RecSys) have become indispensable in numerous applications, profoundly influencing our everyday experiences. Despite their practical significance, academic research in RecSys often abstracts the formulation of research…

Information Retrieval · Computer Science 2024-06-25 Aixin Sun
‹ Prev 1 8 9 10 Next ›