中文
相关论文

相关论文: Effective Requirements Generation: Synchronizing E…

200 篇论文

Enterprise Application Integration deals with the problem of connecting heterogeneous applications, and is the centerpiece of current on-premise, cloud and device integration scenarios. For integration scenarios, structurally correct…

软件工程 · 计算机科学 2024-02-20 Daniel Ritter , Fredrik Nordvall Forsberg , Stefanie Rinderle-Ma

Video generation models have made significant progress in simulating future states, showcasing their potential as world simulators in embodied scenarios. However, existing models often lack robust understanding, limiting their ability to…

计算机视觉与模式识别 · 计算机科学 2025-06-11 Xiaowei Chi , Chun-Kai Fan , Hengyuan Zhang , Xingqun Qi , Rongyu Zhang , Anthony Chen , Chi-min Chan , Wei Xue , Qifeng Liu , Shanghang Zhang , Yike Guo

The dependency on the correct functioning of embedded systems is rapidly growing, mainly due to their wide range of applications, such as micro-grids, automotive device control, health care, surveillance, mobile devices, and consumer…

计算机科学中的逻辑 · 计算机科学 2017-03-01 Lucas Cordeiro

Generative models face a fundamental challenge: they must simultaneously learn high-level semantic concepts (what to generate) and low-level synthesis details (how to generate it). Conventional end-to-end training entangles these distinct,…

机器学习 · 计算机科学 2025-09-30 Deyuan Liu , Peng Sun , Xufeng Li , Tao Lin

Neural network verification tools currently support only a narrow class of specifications, typically expressed as low-level constraints over raw inputs and outputs. This limitation significantly hinders their adoption and practical…

机器学习 · 计算机科学 2026-03-04 Yizhak Y. Elboher , Reuven Peleg , Zhouxing Shi , Guy Katz , Jan Křetínský

Context: Machine learning (ML) may enable effective automated test generation. Objective: We characterize emerging research, examining testing practices, researcher goals, ML techniques applied, evaluation, and challenges. Methods: We…

软件工程 · 计算机科学 2023-04-18 Afonso Fontes , Gregory Gay

In software development, the raw requirements proposed by users are frequently incomplete, which impedes the complete implementation of application functionalities. With the emergence of large language models, recent methods with the…

Understanding the quality of a performance evaluation metric is crucial for ensuring that model outputs align with human preferences. However, it remains unclear how well each metric captures the diverse aspects of these preferences, as…

计算与语言 · 计算机科学 2025-03-04 Genta Indra Winata , David Anugraha , Lucky Susanto , Garry Kuwanto , Derry Tanti Wijaya

Goal-oriented requirements variability modelling has established the understanding for adaptability in the early stage of software development-the Requirements Engineering phase. Goal-oriented requirements variability modelling considers…

软件工程 · 计算机科学 2019-05-17 Khavee Agustus Botangen , Jian Yu , Sira Yongchareon , LiangHuai Yang , Quan Bai

In the past years, software reverse engineering dealt with source code understanding. Nowadays, it is levered to software requirements abstract level, supported by feature model notations, language independent, and simpler than the source…

软件工程 · 计算机科学 2019-04-30 Anas Alhamwieh , Said Ghoul

Deep Generative Machine Learning Models (DGMs) have been growing in popularity across the design community thanks to their ability to learn and mimic complex data distributions. DGMs are conventionally trained to minimize statistical…

机器学习 · 计算机科学 2022-06-16 Lyle Regenwetter , Faez Ahmed

In the field of software engineering there are many new archetypes are introducing day to day Improve the efficiency and effectiveness of software development. Due to dynamic environment organizations are frequently exchanging their…

软件工程 · 计算机科学 2017-02-02 Ahmed Mateen , Madiha Tabassum , Akmal Rehan

Eligibility criteria (EC) are essential for clinical trial design, yet drafting them remains a time-intensive and cognitively demanding task for clinicians. Existing automated approaches often fall at two extremes either requiring highly…

Process mining offers techniques to exploit event data by providing insights and recommendations to improve business processes. The growing amount of algorithms for process discovery has raised the question of which algorithms perform best…

软件工程 · 计算机科学 2018-06-20 Toon Jouck , Alfredo Bolt , Benoît Depaire , Massimiliano de Leoni , Wil M. P. van der Aalst

In the combinatorial recommender systems, multiple items are fed to the user at one time in the result page, where the correlations among the items have impact on the user behavior. In this work, we model the combinatorial recommendation as…

信息检索 · 计算机科学 2019-06-25 Fan Wang , Xiaomin Fang , Lihang Liu , Yaxue Chen , Jiucheng Tao , Zhiming Peng , Cihang Jin , Hao Tian

Despite the tremendous advances that have been made in the last decade on developing useful machine-learning applications, their wider adoption has been hindered by the lack of strong assurance guarantees that can be made about their…

机器学习 · 计算机科学 2019-07-18 He Zhu , Zikang Xiong , Stephen Magill , Suresh Jagannathan

Recommending a sequence of activities for an ongoing case requires that the recommendations conform to the underlying business process and meet the performance goal of either completion time or process outcome. Existing work on next…

人工智能 · 计算机科学 2022-05-09 Prerna Agarwal , Avani Gupta , Renuka Sindhgatta , Sampath Dechu

In this paper, we present an approach to select a subset of requirement elicitation technique for an optimum result in the requirement elicitation process. Our approach consists of three steps. First, we identify various attribute in three…

软件工程 · 计算机科学 2017-09-26 Saurabh Tiwari , Santosh Singh Rathore

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

Adapting large language models (LLMs) to a targeted task efficiently and effectively remains a fundamental challenge. Such adaptation often requires iteratively improving the model toward a targeted task, yet collecting high-quality…

计算与语言 · 计算机科学 2026-04-30 Ting-Wei Li , Sirui Chen , Jiaru Zou , Yingbing Huang , Tianxin Wei , Jingrui He , Hanghang Tong