中文
相关论文

相关论文: Measuring the Quality of B Abstract Machines with …

200 篇论文

We introduce a dataset comprising commercial machine translations, gathered weekly over six years across 12 translation directions. Since human A/B testing is commonly used, we assume commercial systems improve over time, which enables us…

计算与语言 · 计算机科学 2024-10-04 Guojun Wu , Shay B. Cohen , Rico Sennrich

Recently, the automated translation of source code from one programming language to another by using automatic approaches inspired by Neural Machine Translation (NMT) methods for natural languages has come under study. However, such…

Any traditional engineering field has metrics to rigorously assess the quality of their products. Engineers know that the output must satisfy the requirements, must comply with the production and market rules, and must be competitive.…

For an AI solution to evolve from a trained machine learning model into a production-ready AI system, many more things need to be considered than just the performance of the machine learning model. A production-ready AI system needs to be…

人工智能 · 计算机科学 2023-03-24 Petra Heck , Gerard Schouten

Context: In the realm of software development, maintaining high software quality is a persistent challenge. However, this challenge is often impeded by the lack of comprehensive understanding of how specific code modifications influence…

软件工程 · 计算机科学 2024-04-08 Thomas Karanikiotis , Andreas L. Symeonidis

In recent years, the role and the importance of software in the automotive domain have changed dramatically. Being able to systematically evaluate and manage software quality is becoming even more crucial. In practice, however, we still…

Mathematics has many useful properties for developing of complex software systems. One is that it can exactly describe a physical situation of the object or outcome of an action. Mathematics support abstraction and this is an excellent…

软件工程 · 计算机科学 2010-04-19 Manoranjan Kumar Singh , Rakesh. L

This paper proposes some new architectural metrics which are appropriate for evaluating the architectural attributes of a software system. The main feature of our approach is to assess the complexity of a software architecture by analyzing…

软件工程 · 计算机科学 2007-05-23 Jianjun Zhao

Objective metrics model image quality by quantifying image degradations or estimating perceived image quality. However, image quality metrics do not model what makes an image more appealing or beautiful. In order to quantify the aesthetics…

图像与视频处理 · 电气工程与系统科学 2018-11-21 Dogancan Temel , Ghassan AlRegib

Automatic image description systems are commonly trained and evaluated using crowdsourced, human-generated image descriptions. The best-performing system is then determined using some measure of similarity to the reference data (BLEU,…

计算与语言 · 计算机科学 2020-06-17 Emiel van Miltenburg

Consistency in product quality is of critical importance in manufacturing. However, achieving a target product quality typically involves balancing a large number of manufacturing attributes. Existing manufacturing practices for dealing…

Computer-based control systems have grown in size, complexity, distribution and criticality. In this paper a methodology is presented to perform an abstract testing of such large control systems in an efficient way: an abstract test is…

软件工程 · 计算机科学 2022-06-29 Francesco Flammini , Nicola Mazzocca , Antonio Orazzo

The idea of automatizing the assessment of objectoriented design is not new. Different approaches define and apply their own quality models, which are composed of single metrics or combinations thereof, to operationalize software design.…

软件工程 · 计算机科学 2016-02-24 Johannes Bräuer

A systems quality is a major concern for development teams when it evolve. Understanding the effects of a loss of quality in the codebase is crucial to avoid side effects like the appearance of technical debt. Although the identification of…

We present an alternative method of evaluating Quality Estimation systems, which is based on a linguistically-motivated Test Suite. We create a test-set consisting of 14 linguistic error categories and we gather for each of them a set of…

计算与语言 · 计算机科学 2019-10-17 Avramidis Eleftherios , Vivien Macketanz , Arle Lommel , Hans Uszkoreit

Data quality describes the degree to which data meet specific requirements and are fit for use by humans and/or downstream tasks (e.g., artificial intelligence). Data quality can be assessed across multiple high-level concepts called…

数据库 · 计算机科学 2025-07-24 Vasileios Papastergios , Lisa Ehrlinger , Anastasios Gounaris

In this work, we show a methodology aimed to improve the quality of the assessment process for subjects related to basic programming. The method takes into account the relevance of the items and the students answers to follow different…

计算机与社会 · 计算机科学 2014-03-07 P. Molins-Ruano , C. González-Sacristán , F. Díez , P. Rodriguez , G. M. Sacha

Software engineering is continuously facing the challenges of growing complexity of software packages and increased level of data on defects and drawbacks from software production process. This makes a clarion call for inventions and…

软件工程 · 计算机科学 2016-11-15 R. Selvarani , T. R. Gopalakrishnan Nair , V. Kamakshi Prasad

The objective of this research work is to improve the degree of excellence by removing the number of exceptions from the software. The modern age is more concerned with the quality of software. Extensive research is being carried out in…

软件工程 · 计算机科学 2014-04-22 Ekbal Rashid , Srikanta Patnaik , Vandana Bhattacherjee

In Software Engineering, early detection of architectural issues is key. It helps mitigate the risk of poor performance, and lowers the cost of repairing these issues. Metrics give a quick overview of the project which helps designers with…

软件工程 · 计算机科学 2019-01-29 Théo Coulin , Maxence Detante , William Mouchère , Fabio Petrillo