中文
相关论文

相关论文: How to specify Non-functional Requirements to supp…

200 篇论文

This paper presents a comprehensive approach for model-based diagnosis which includes proposals for characterizing and computing preferred diagnoses, assuming that the system description is augmented with a system structure (a directed…

人工智能 · 计算机科学 2014-11-17 A. Darwiche

This paper describes how motivational models can be used to cross check agile requirements artifacts to improve consistency and completeness of software requirements. Motivational models provide a high level understanding of the purposes of…

软件工程 · 计算机科学 2023-06-13 Eduardo A. Oliveira , Leon Sterling

Accurate models are essential for design, performance prediction, control, and diagnostics in complex engineering systems. Physics-based models excel during the design phase but often become outdated during system deployment due to changing…

机器学习 · 计算机科学 2025-01-22 Zihan Liu , Prashant N. Kambali , C. Nataraj

Software sustainability is a key multifaceted non-functional requirement that encompasses environmental, social, and economic concerns, yet its integration into the development of Machine Learning (ML)-enabled systems remains an open…

Conventional diffusion models typically relies on a fixed forward process, which implicitly defines complex marginal distributions over latent variables. This can often complicate the reverse process' task in learning generative…

机器学习 · 统计学 2025-06-10 Grigory Bartosh , Dmitry Vetrov , Christian A. Naesseth

We investigate the use of Natural Language Inference (NLI) in automating requirements engineering tasks. In particular, we focus on three tasks: requirements classification, identification of requirements specification defects, and…

软件工程 · 计算机科学 2024-05-09 Mohamad Fazelnia , Viktoria Koscinski , Spencer Herzog , Mehdi Mirakhorli

Software ecosystems (SECOs) and open innovation processes have been claimed as a way forward for the software industry. A proper understanding of requirements is as important for these IT-systems as for more traditional ones. This paper…

软件工程 · 计算机科学 2018-01-03 Aparna Vegendla , Anh Nguyen Duc , Shang Gao , Guttorm Sindre

Mathematical modeling of production systems is the foundation of all model-based approaches for production system analysis, design, improvement, and control. To construct such a model for the stochastic process of the production system more…

系统与控制 · 电气工程与系统科学 2024-05-22 Yuting Sun , Liang Zhang

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

Due to the growing complexity of software systems, there has been a dramatic increase and industry demand for tools and techniques on software refactoring in the last ten years, defined traditionally as a set of program transformations…

软件工程 · 计算机科学 2020-07-07 Chaima Abid , Vahid Alizadeh , Marouane Kessentini , Thiago do Nascimento Ferreira , Danny Dig

Background: Software systems powered by large language models are becoming a routine part of everyday technologies, supporting applications across a wide range of domains. In software engineering, many studies have focused on how LLMs…

软件工程 · 计算机科学 2025-08-05 Cleyton Magalhaes , Italo Santos , Brody Stuart-Verner , Ronnie de Souza Santos

Background: Despite the potential benefits of software modelling, developers have shown a considerable reluctance towards its application. There is substantial existing research studying industrial use and technical challenges of modelling.…

软件工程 · 计算机科学 2023-01-05 Shalini Chakraborty , Grischa Liebel

The Unified Modeling Language (UML) community has started to define so-called profiles in order to better suit the needs of specific domains or settings. Product lines1 represent a special breed of systems they are extensible semi-finished…

软件工程 · 计算机科学 2014-10-16 Wolfgang Pree , Marcus Fontoura , Bernhard Rumpe

Methods: This work introduces a method supporting the collaborative definition of machine learning tasks by leveraging model-based engineering in the formalization of the systems modeling language SysML. The method supports the…

软件工程 · 计算机科学 2023-07-11 Simon Raedler , Juergen Mangler , Stefanie Rinderle-Ma

Specifying data requirements for machine learning (ML) software systems remains a challenge in requirements engineering (RE). This vision paper explores causal modelling as an RE activity that allows the systematic integration of prior…

软件工程 · 计算机科学 2025-04-24 Hans-Martin Heyn , Yufei Mao , Roland Weiss , Eric Knauss

Deep learning fostered a leap ahead in automated skin lesion analysis in the last two years. Those models are expensive to train and difficult to parameterize. Objective: We investigate methodological issues for designing and evaluating…

计算机视觉与模式识别 · 计算机科学 2026-04-21 Eduardo Valle , Michel Fornaciali , Afonso Menegola , Julia Tavares , Flávia Vasques Bittencourt , Lin Tzy Li , Sandra Avila

Recent advances in learning or identification of nonlinear dynamics focus on learning a suitable model within a pre-specified model class. However, a key difficulty that remains is the choice of the model class from which the dynamics will…

系统与控制 · 电气工程与系统科学 2023-09-29 Charis Stamouli , Evangelos Chatzipantazis , George J. Pappas

Accurate knowledge of the state variables in a dynamical system is critical for effective control, diagnosis, and supervision, especially when direct measurements of all states are infeasible. This paper presents a novel approach to…

动力系统 · 数学 2025-07-10 Ayoub Farkane , Mohamed Boutayeb , Mustapha Oudani , Mounir Ghogho

Functional data, i.e., smooth random functions observed over a continuous domain, are increasingly available in areas such as biomedical research, health informatics, and epidemiology. However, effective statistical analysis for functional…

机器学习 · 统计学 2026-04-07 Jianbin Tan , Anru R. Zhang

Large Language Models (LLMs) have become widely used for Software Engineering (SE) tasks, spanning from function-level code generation to complex repository-level workflows. However, the high latency of autoregressive inference remains a…

软件工程 · 计算机科学 2026-05-05 Yijia Li , Junkai Chen , Xing Hu , Xin Xia