中文
相关论文

相关论文: Dependency-Aware Release Planning for Software Pro…

200 篇论文

Representational state transfer (REST) is a widely employed architecture by web applications and cloud. Users can invoke such services according to the specification of their application interfaces, namely RESTful APIs. Existing approaches…

软件工程 · 计算机科学 2022-03-08 Jiaxian Lin , Tianyu Li , Yang Chen , Guangsheng Wei , Jiadong Lin , Sen Zhang , Hui Xu

Software Reliability Growth Models (SRGMs) are based on underlying assumptions which make them typically more suited for quality evaluation of closed-source projects and their development lifecycles. Their usage in open-source software…

软件工程 · 计算机科学 2022-06-27 Radoslav Micko , Stanislav Chren , Bruno Rossi

Answer set programming (ASP) and planning are two widely used paradigms for solving logic programs with declarative programming. In both cases, the quality of the input programs has a major influence on the quality and performance of the…

计算机科学中的逻辑 · 计算机科学 2019-05-09 Patrick Lühne

The translation of high-level abstract features into clear, and testable functional requirements (FRs) is a crucial step in software development, bridging the gap between user needs and technical specifications. In engineering practice,…

软件工程 · 计算机科学 2025-05-20 Xiaoli Lian , Jiajun Wu , Xiaoyun Gao , Shuaisong Wang , Li Zhang

Semantic understanding of programs has attracted great attention in the community. Inspired by recent successes of large language models (LLMs) in natural language understanding, tremendous progress has been made by treating programming…

机器学习 · 计算机科学 2023-06-13 Jianyu Zhao , Yuyang Rong , Yiwen Guo , Yifeng He , Hao Chen

Requirements Engineering in open source projects such as Eclipse faces the challenge of having to prioritize requirements for individual contributors in a more or less unobtrusive fashion. In contrast to conventional industrial software…

Software testing relates to the process of accessing the functionality of a program against some defined specifications. To ensure conformance, test engineers often generate a set of test cases to validate against the user requirements.…

软件工程 · 计算机科学 2017-02-16 Kamal Z. Zamli , Fakhrud Din , Graham Kendall , Bestoun S. Ahmed

We present a framework for uncovering and exploiting dependencies among tools and documents to enhance exemplar artifact generation. Our method begins by constructing a tool knowledge graph from tool schemas,including descriptions,…

人工智能 · 计算机科学 2025-10-29 Shengjie Liu , Li Dong , Zhenyu Zhang

The applications that are deployed in the cloud to provide services to the users encompass a large number of interconnected dependent cloud components. Multiple identical components are scheduled to run concurrently in order to handle…

分布式、并行与集群计算 · 计算机科学 2021-11-12 Chinmaya Kumar Dehury , Prasan Kumar Sahoo , Bharadwaj Veeravalli

In the realm of software development, testing is crucial for ensuring software quality and adherence to requirements. However, it can be time-consuming and resource-intensive, especially when dealing with large and complex software systems.…

软件工程 · 计算机科学 2024-04-26 Aron Karatayev , Anna Ogorodova , Pakizar Shamoi

The practice of stochastic sensitivity analysis described in the decision analysis literature is a testimonial to the need for considering deviations from precise point estimates of uncertainty. We propose the use of Bayesian fuzzy…

人工智能 · 计算机科学 2013-04-10 Pramod Jain , Alice M. Agogino

Software reliability growth models (SRGM) enable failure data collected during testing. Specifically, nonhomogeneous Poisson process (NHPP) SRGM are the most commonly employed models. While software reliability growth models are important,…

软件工程 · 计算机科学 2024-02-01 Shadow Pritchard , Bhaskar Mitra , Vidhyashree Nagaraju

Stable Logic Programming (SLP) is an emergent, alternative style of logic programming: each solution to a problem is represented by a stable model of a deductive database/function-free logic program encoding the problem itself. Several…

人工智能 · 计算机科学 2014-02-25 Gianpaolo Brignoli , Stefania Costantini , Ottavio D'Antona , Alessandro Provetti

Payroll management is a critical business task that is subject to a large number of rules, which vary widely between companies, sectors, and countries. Moreover, the rules are often complex and change regularly. Therefore, payroll…

计算机科学中的逻辑 · 计算机科学 2024-03-20 Benjamin Callewaert , Joost Vennekens

Due to the limited amount of resources available for the next release of the current product under development not all stakeholders requests can be included in the next product to deliver. This optimization problem, known as the Next…

软件工程 · 计算机科学 2025-02-13 Isabel del Aguila , Jose del Sagrado , Alfonso Bosch

An important product measure to determine the effectiveness of software processes is the defect density (DD). In this study, we propose the application of support vector regression (SVR) to predict the DD of new software projects obtained…

软件工程 · 计算机科学 2019-01-14 Cuauhtemoc Lopez-Martin , Mohammad Azzeh , Ali Bou Nassif , Shadi Banitaan

Software reliability models are an important tool in quality management and release planning. There is a large number of different models that often exhibit strengths in different areas. This paper proposes a model that is based on a…

软件工程 · 计算机科学 2016-12-13 Stefan Wagner , Helmut Fischer

Recent years have seen the rise of statistical program learning based on neural models as an alternative to traditional rule-based systems for programming by example. Rule-based approaches offer correctness guarantees in an unsupervised way…

机器学习 · 计算机科学 2020-06-08 Raphaël Dang-Nhu

Online planning in Markov Decision Processes (MDPs) enables agents to make sequential decisions by simulating future trajectories from the current state, making it well-suited for large-scale or dynamic environments. Sample-based methods…

人工智能 · 计算机科学 2025-09-22 Tamir Shazman , Idan Lev-Yehudi , Ron Benchetit , Vadim Indelman

Interval linear programming provides a tool for solving real-world optimization problems under interval-valued uncertainty. Instead of approximating or estimating crisp input data, the coefficients of an interval program may perturb…

最优化与控制 · 数学 2025-10-08 Elif Garajová , Milan Hladík , Miroslav Rada