中文
相关论文

相关论文: Are "Non-functional" Requirements really Non-funct…

200 篇论文

Like software, requirements evolve and change frequently during the development process. Refactoring is the process of reorganising software without changing its behaviour, to make it easier to understand and modify. We propose refactoring…

软件工程 · 计算机科学 2022-01-13 Marie Farrell , Matt Luckcuck , Oisin Sheridan , Rosemary Monahan

Out of a personal puzzlement, recent peer review comments, and demonstrable confusion in the existing literature, the paper presents a rapid review of the concept of legal requirements (LRs) in requirements engineering (RE) research.…

软件工程 · 计算机科学 2025-09-09 Jukka Ruohonen

Continuous Integration (CI) implies that a whole developer team works together on the mainline of a software project. CI systems automate the builds of a software. Sometimes a developer checks in code, which breaks the build. A broken build…

软件工程 · 计算机科学 2017-03-30 Klérisson V. R. Paixão , Crícia Z. Felício , Fernanda M. Delfim , Marcelo de A. Maia

This paper presents background, the basic steps and an example for a testability analysis framework for non-functional properties.

Emulating firmware of microcontrollers is challenging due to the lack of peripheral models. Existing work finds out how to respond to peripheral read operations by analyzing the target firmware. This is problematic because the firmware…

密码学与安全 · 计算机科学 2022-10-12 Wei Zhou , Lan Zhang , Le Guan , Peng Liu , Yuqing Zhang

Functionals are an important research subject in Mathematics and Computer Science as well as a challenge in Information Technologies where the current programming paradigm states that only symbolic computations are possible on higher order…

逻辑 · 数学 2018-09-13 Stanislaw Ambroszkiewicz

When using LLMs to address Non-Functional Requirements (NFRs), developers may behave differently (e.g., expressing the same NFR in different words). Robust LLMs should output consistent results across these variations; however, this aspect…

软件工程 · 计算机科学 2025-04-04 Feng Lin , Dong Jae Kim , Zhenhao Li , Jinqiu Yang , Tse-Hsun , Chen

Complex problems may require sophisticated, non-linear learning methods such as kernel machines or deep neural networks to achieve state of the art prediction accuracies. However, high prediction accuracies are not the only objective to…

人工智能 · 计算机科学 2016-11-24 Marina M. -C. Vidovic , Nico Görnitz , Klaus-Robert Müller , Marius Kloft

Failure Mode Reasoning (FMR) is a method for formal analysis of system-related faults. The method was originally developed for identifying failure modes of safety-critical systems based on an analysis of their programs. In this paper, we…

软件工程 · 计算机科学 2022-10-18 Hamid Jahanian

Quality requirements deal with how well a product should perform the intended functionality, such as start-up time and learnability. Researchers argue they are important and at the same time studies indicate there are deficiencies in…

软件工程 · 计算机科学 2022-02-07 Thomas Olsson , Severine Sentilles , Efi Papatheocharous

In many Industry 4.0 data analytics applications, quality characteristic data acquired from manufacturing processes are better modeled as functions, often referred to as profiles. In practice, there are situations where a scalar quality…

统计方法学 · 统计学 2023-11-21 Murat Kulahci , Antonio Lepore , Biagio Palumbo , Gianluca Sposito

Existing evaluation benchmarks of language models of code (code LMs) focus almost exclusively on whether the LMs can generate functionally-correct code. In real-world software engineering, developers think beyond functional correctness.…

软件工程 · 计算机科学 2024-10-01 Manav Singhal , Tushar Aggarwal , Abhijeet Awasthi , Nagarajan Natarajan , Aditya Kanade

A good process model is expected not only to reflect the behavior of the process, but also to be as easy to read and understand as possible. Because preferences vary across different applications, numerous measures provide ways to reflect…

形式语言与自动机理论 · 计算机科学 2024-08-23 Patrizia Schalk , Adam Burke , Robert Lorenz

Software deployment can turn into a baffling problem when the components being deployed exhibit non-functional requirements. If the platform on which such components are deployed cannot satisfy their non-functional requirements, then they…

网络与互联网体系结构 · 计算机科学 2009-09-29 Nicolas Le Sommer

The Frequency Response Functions (FRFs) are the most widely used functions to characterise the dynamic behaviour of structures. The natural frequencies and damping behaviour can be easily and quickly detected from a Bode diagram. The modal…

经典物理 · 物理学 2024-04-09 Dario Di Maio

Formal analysis of functional and non-functional requirements is crucial in automotive systems. The behaviors of those systems often rely on complex dynamics as well as on stochastic behaviors. We have proposed a probabilistic extension of…

软件工程 · 计算机科学 2019-11-01 Li Huang , Tian Liang , Eun-Young Kang

Unintended failures during a computation are painful but frequent during software development. Failures due to external reasons (e.g., missing files, no permissions) can be caught by exception handlers. Programming failures, such as calling…

编程语言 · 计算机科学 2024-02-21 Michael Hanus

It is a long-standing desire of industry and research to automate the software development and testing process as much as possible. In this process, requirements engineering (RE) plays a fundamental role for all other steps that build on…

软件工程 · 计算机科学 2023-09-26 Viju Sudhi , Libin Kutty , Robin Gröpler

Requirements engineering aims to fulfill a purpose, i.e., inform subsequent software development activities about stakeholders' needs and constraints that must be met by the system under development. The quality of requirements artifacts…

软件工程 · 计算机科学 2025-01-08 Julian Frattini , Jannik Fischbach , Davide Fucci , Michael Unterkalmsteiner , Daniel Mendez

We sketch a series of studies and experiments designed to provide empirical evidence about the truth or falsity of claims that non-prescriptive approaches to standards demand greater competence from regulators than prescriptive approaches…

软件工程 · 计算机科学 2014-04-29 C. Michael Holloway , Chris W. Johnson