中文
相关论文

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

200 篇论文

This paper analyses the security contribution of typical functional-language features by examining them in the light of accepted information security principles. Imperative and functional code are compared to illustrate various cases. In…

密码学与安全 · 计算机科学 2012-01-30 Yusuf Moosa Motara

Identifying control-friendly models of nonlinear systems remains one of the major challenges at the intersection of system identification and control. The Linear Parameter-Varying (LPV) framework offers a promising solution, but existing…

系统与控制 · 电气工程与系统科学 2026-05-13 Roel Drenth , Jan H. Hoekstra , Maarten Schoukens , Roland Tóth

Event logs extracted from information systems offer a rich foundation for understanding and improving business processes. In many real-world applications, it is possible to distinguish between desirable and undesirable process executions,…

人工智能 · 计算机科学 2025-11-03 Ali Norouzifar , Wil van der Aalst

The question What is Complexity? has occupied a great deal of time and paper over the last 20 or so years. There are a myriad different perspectives and definitions but still no consensus. In this paper I take a phenomenological approach,…

适应与自组织系统 · 物理学 2015-02-12 Christopher R. Stephens

Decisions suggested by improperly designed software systems might be prone to discriminate against people based on protected characteristics, such as gender and ethnicity. Previous studies attribute such undesired behavior to flaws in…

软件工程 · 计算机科学 2025-09-26 Qusai Ramadan , Jukka Ruohonen , Abhishek Tiwari , Adam Alami , Zeyd Boukhers

Natural language processing supported requirements engineering is an area of research and development that seeks to apply NLP techniques, tools and resources to a variety of requirements documents or artifacts to support a range of…

Observability is a modelling property that describes the possibility of inferring the internal state of a system from observations of its output. A related property, structural identifiability, refers to the theoretical possibility of…

定量方法 · 定量生物学 2018-12-12 Alejandro F. Villaverde

Requirements Engineering Methods (REMs) support Requirements Engineering (RE) tasks, from elicitation, through modeling and analysis, to validation and evolution of requirements. Despite the growing interest to design, validate and teach…

软件工程 · 计算机科学 2012-03-09 Ivan Jureta

The majority of automatic metrics for evaluating NLG systems are reference-based. However, the challenge of collecting human annotation results in a lack of reliable references in numerous application scenarios. Despite recent advancements…

计算与语言 · 计算机科学 2024-03-22 Shuqian Sheng , Yi Xu , Luoyi Fu , Jiaxin Ding , Lei Zhou , Xinbing Wang , Chenghu Zhou

Functional data are frequently accompanied by a parametric template that describes the typical shapes of the functions. However, these parametric templates can incur significant bias, which undermines both utility and interpretability. To…

统计方法学 · 统计学 2022-05-18 Daniel R. Kowal , Antonio Canale

System requirements related to concepts like information flow, knowledge, and robustness cannot be judged in terms of individual system executions, but rather require an analysis of the relationship between multiple executions. Such…

计算机科学中的逻辑 · 计算机科学 2025-01-15 Bernd Finkbeiner

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…

软件工程 · 计算机科学 2024-11-19 Lasse M. Reinpold , Marvin Schieseck , Lukas P. Wagner , Felix Gehlhoff , Alexander Fay

In the international standard for system and software engineering ISO/IEC/IEEE 15288: 2015, the output of the stakeholder needs and the business or mission analysis technical processes are transformed into a technical view of the system by…

软件工程 · 计算机科学 2023-02-14 Siyuan Ji , Charles E. Dickerson , Michael Wilkinson

Tracking of reference signals is addressed in the context of a class of nonlinear controlled systems modelled by $r$-th order functional differential equations, encompassing inter alia systems with unknown "control direction" and dead-zone…

最优化与控制 · 数学 2021-01-18 Thomas Berger , Achim Ilchmann , Eugene P Ryan

Functional dependencies (FDs) specify the intended data semantics while violations of FDs indicate deviation from these semantics. In this paper, we study a data cleaning problem in which the FDs may not be completely correct, e.g., due to…

数据库 · 计算机科学 2012-07-25 George Beskales , Ihab F. Ilyas , Lukasz Golab , Artur Galiullin

There have been two different methods for checking the satisfiability of feature descriptions that use the functional uncertainty device, namely~\cite{Kaplan:88CO} and \cite{Backofen:94JSC}. Although only the one in \cite{Backofen:94JSC}…

cmp-lg · 计算机科学 2008-02-03 Rolf Backofen

The frequency response function (FRF) is a typical way to describe the outcome of experiments where posture control is perturbed with an external stimulus. The FRF is an empirical transfer function between an input stimulus and the induced…

应用统计 · 统计学 2025-06-02 Vittorio Lippi

Fractional factorial designs are widely used for designing screening experiments. Nonregular fractional factorial designs can have better properties than regular designs, but their construction is challenging. Current research on the…

统计方法学 · 统计学 2021-06-02 Lin Wang , Hongquan Xu

Modern science is relying on software more than ever. The behavior and outcomes of this software shape the scientific and public discourse on important topics like climate change, economic growth, or the spread of infections. Most…

软件工程 · 计算机科学 2025-01-09 Adrian Bajraktari , Michelle Binder , Andreas Vogelsang

Due to an ageing society, it can be expected that less nursing personnel will be responsible for an increasing number of patients in the future. One way to address this challenge is to provide system-based support for nursing personnel in…

人工智能 · 计算机科学 2014-04-09 Georg Kaes , Jürgen Manger , Stefanie Rinderle-Ma , Ralph Vigne