Results 91 to 100 of about 2,688,379 (262)
The effectiveness of refactoring, based on a compatibility testing taxonomy and a dependency graph
, 2006 In this paper, we describe and then appraise a testing taxonomy proposed by van Deursen and Moonen (VD&M) based on the post-refactoring repeatability of tests.
Hassoun, Y +9 more
core +1 more source
Advances in large DNA fragment assembly for microbial cell factory engineering
Quantitative Biology, Volume 14, Issue 3, September 2026.Abstract The efficient, rapid, and reliable assembly of DNA fragments is essential for advancing metabolic engineering and synthetic biology. With the rapid advancement of DNA synthesis and assembly technologies, the scale of DNA assembly has expanded from single genes to metabolic pathways and even genomes.
Yu Zhang +5 more
wiley +1 more source
Mechanical Verification of Refactorings [PDF]
, 2008 In this paper we describe the formal verification of refactorings for untyped and typed lambda-calculi. This verification is performed in the proof assistant Isabelle/HOL.
Simon Thompson +3 more
core +1 more source
Actionable visualization principles and guidance for a foundational university data science course
Teaching Statistics, Volume 48, Issue S1, Page S122-S135, Summer 2026.Abstract When teaching how to describe and apply good practices for visualizing data, we need to define “good”. Several sets of guidelines about good visualization practice exist in the literature and online, though each set focuses on different aspects of visualization and their level ranges from very general to very specific.
David C. Sterratt +2 more
wiley +1 more source
Validation of ShakeMaps Created From Global Navigation Satellite System (GNSS) Velocities
Earthquake Spectra, Volume 42, Issue 3, August 2026.Ground velocity observations generated through a time difference of Global Navigation Satellite Systems (GNSS) phase observables and orbits have been shown to be comparable to seismic recordings without clipping during intense ground motions. Computing GNSS velocities is also computationally scalable and increases the density of ground motion ...
Jensen V. DeGrande, Brendan W. Crowell
wiley +1 more source
International Journal for Numerical Methods in Fluids, Volume 98, Issue 7, Page 857-870, July 2026.The immersed boundary method (IBM) was coupled with the moment representation lattice Boltzmann method (MR‐LBM), reducing bandwidth requirements compared to population‐based LBM formulations. A systematic assessment of IBM parameters was conducted to quantify their effect on computational performance.
Marco A. Ferrari +2 more
wiley +1 more source
A Case Study in Refactoring Functional Programs [PDF]
, 2003 Refactoring is the process of redesigning existing code without changing its functionality. Refactoring has recently come to prominence in the OO community. In this paper we explore the prospects for refactoring functional programs.
Thompson, Simon, Reinke, Claus
core
An approach to prioritize code smells for refactoring
Automated Software Engineering, 2014 Code smells are a popular mechanism to find structural design problems in software systems. Consequently, several tools have emerged to support the detection of code smells. However, the number of smells returned by current tools usually exceeds the amount of problems that the developer can deal with, particularly when the effort available for ...
Santiago A. Vidal +2 more
openaire +2 more sources
Electronics, 2019 Currently, high-level synthesis (HLS) methods and tools are a highly relevant area in the strategy of several leading companies in the field of system-on-chips (SoCs) and field programmable gate arrays (FPGAs).
Abelardo Báez +9 more
semanticscholar +1 more source
IEEE AccessAdopting high-quality source code is the ultimate way through which software evolution can be ensured as sustainable. Continuous refactoring in complex software systems ensures longevity and increases architecture knowledge sustainability.
Abdullah Almogahed +9 more
doaj +1 more source