English
Related papers

Related papers: Vision for an Artefact-based Approach to Regulator…

200 papers

Weak alignment of requirements engineering (RE) with verification and validation (VV) may lead to problems in delivering the required products in time with the right quality. For example, weak communication of requirements changes to…

We present our ongoing work on requirements specification and analysis for the geographically distributed software and systems. Developing software and systems within/for different countries or states or even within/for different…

Software Engineering · Computer Science 2015-08-10 Maria Spichkova , Heinz Schmidt

Background: The artifacts used in Agile software testing and the reasons why these artifacts are used are fairly well-understood. However, empirical research on how Agile test artifacts are eventually designed in practice and which quality…

Software Engineering · Computer Science 2020-09-04 Jannik Fischbach , Henning Femmer , Daniel Mendez , Davide Fucci , Andreas Vogelsang

We investigate the problem of practical output regulation, i.e., to design a controller that brings the system output in the vicinity of a desired target value while keeping the other variables bounded. We consider uncertain systems that…

Optimization and Control · Mathematics 2021-07-19 Mohammad Saeed Sarafraz , Anton V. Proskurnikov , Mohammad Saleh Tavazoei , Peyman Mohajerin Esfahani

[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

Mathematical models simulate various events under different conditions, enabling an early overview of the system to be implemented in practice, reducing the waste of resources and in less time. In project optimization, these models play a…

Optimization and Control · Mathematics 2021-05-11 Gustavo Barbosa Libotte , Fran Sérgio Lobato , Francisco Duarte Moura Neto , Gustavo Mendes Platt

Robotic systems are multi-dimensional entities, combining both hardware and software, that are heavily dependent on, and influenced by, interactions with the real world. They can be variously categorised as embedded, cyberphysical,…

Software Engineering · Computer Science 2018-09-05 Marie Farrell , Matt Luckcuck , Michael Fisher

Considerable interest has recently been focused on studying multiple phenotypes simultaneously in both epidemiological and genomic studies, either to capture the multidimensionality of complex disorders or to understand shared etiology of…

Methodology · Statistics 2015-11-26 Denis Agniel , Katherine P. Liao , Tianxi Cai

The increasing complexity of regulatory updates from global authorities presents significant challenges for medical device manufacturers, necessitating agile strategies to sustain compliance and maintain market access. Concurrently,…

Artificial Intelligence · Computer Science 2024-12-24 Yu Han , Zekun Guo

Reference models in form of best practices are an essential element to ensured knowledge as design for reuse. Popular modeling approaches do not offer mechanisms to embed reference models in a supporting way, let alone a repository of it.…

Databases · Computer Science 2024-07-02 Erik Heiland , Peter Hillmann , Andreas Karcher

Empirical research plays a fundamental role in the machine learning domain. At the heart of impactful empirical research lies the development of clear research hypotheses, which then shape the design of experiments. The execution of…

Machine Learning · Computer Science 2024-05-29 Daniel Vranješ , Oliver Niggemann

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

This paper identifies and tackles the challenges of the requirements engineering discipline when applied to development of AI-based complex systems. Due to their complex behaviour, there is an immanent need for a tailored development…

Software Engineering · Computer Science 2019-09-02 Hrvoje Belani , Marin Vuković , Željka Car

The main focus of the requirements engineering (RE) literature has been on the technical aspects related to the RE projects. Furthermore, research has mainly focused on the specific methods for collecting the requirements for an information…

Computers and Society · Computer Science 2016-06-07 Risto Paavola , Petri Hallikainen

This article offers several contributions to the interdisciplinary project of responsible research and innovation in data science and AI. First, it provides a critical analysis of current efforts to establish practical mechanisms for…

Computers and Society · Computer Science 2021-10-12 Christopher Burr , David Leslie

Context: The Evidence-Based Software Engineering (EBSE) paradigm and the planning phase of a systematic literature review. Objective: A protocol to do a systematic literature review with detailed information about the processes suggested by…

Software Engineering · Computer Science 2017-04-05 José L. Barros-Justo , Samuel Sepúlveda , Nelson Martínez-Araujo , Alejandro González-García

Verification of complex, safety-critical systems is a significant challenge. Manual testing and simulations are often used, but are only capable of exploring a subset of the system's reachable states. Formal methods are mathematically-based…

Software Engineering · Computer Science 2021-10-19 Matt Luckcuck , Marie Farrell , Oisín Sheridan , Rosemary Monahan

Reinforcement learning (RL) has the potential to significantly improve clinical decision making. However, treatment policies learned via RL from observational data are sensitive to subtle choices in study design. We highlight a simple…

Machine Learning · Computer Science 2020-12-23 Christina X. Ji , Michael Oberst , Sanjat Kanjilal , David Sontag

Rule-based modeling is a powerful way to model kinetic interactions in biochemical systems. Rules enable a precise encoding of biochemical interactions at the resolution of sites within molecules, but obtaining an integrated global view…

Quantitative Methods · Quantitative Biology 2015-09-04 John A. P. Sekar , Jose-Juan Tapia , James R. Faeder

AI has the potential to improve approaches to talent management enabling dynamic provisions through implementing advanced automation. This study aims to identify the new requirements for developing AI-oriented artifacts to address talent…

Artificial Intelligence · Computer Science 2022-07-26 Ali Faqihi , Shah J Miah