Results 1 to 10 of about 22,609 (263)
Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Widely used complex code refactoring tools lack a solid reasoning about the correctness of the transformations they implement, whilst interest in proven correct refactoring is ever increasing as only formal verification can provide true confidence in ...
Dániel Horpácsi +2 more
doaj +5 more sources
Visualizing software refactoring using radar charts. [PDF]
Sci Rep, 2023 Refactoring tools have advanced greatly and are being used in many large projects. As a result, a great deal of information is now available about past refactoring and its effects on the source code.
Al-Ghuwairi AR +6 more
europepmc +2 more sources
Renaming Global Variables in C Mechanically Proved Correct [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Most integrated development environments are shipped with refactoring tools. However, their refactoring operations are often known to be unreliable. As a consequence, developers have to test their code after applying an automatic refactoring.
Julien Cohen
doaj +5 more sources
Component-Based Java Legacy Code Refactoring
Revista Facultad de Ingeniería Universidad de Antioquia, 2013 Component-Based Software Engineering (CBSE) claims to improve software modularisation and to embed architectural concerns. Refactoring Java legacy code with CBSE in mind requires first assessing the compliance of legacy code with component programming ...
Hugo Arboleda +2 more
doaj +6 more sources
Unlocking Blocked Communicating Processes [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We study the problem of disentangling locked processes via code refactoring. We identify and characterise a class of processes that is not lock-free; then we formalise an algorithm that statically detects potential locks and propose refactoring ...
Adrian Francalanza +2 more
doaj +6 more sources
Analysis of the impact of refactoring on code quality – comparative analysis of two cases
Journal of Computer Sciences Institute, 2017 In agile methods, one of the techniques for improving code quality is refactoring. This is a process that employs a number of techniques, modifying the code without changing its functionality, aiming to improve its transparency and reduce vulnerability ...
Mariusz Łukasik, Marek Miłosz
doaj +2 more sources
Code smells analysis for android applications and a solution for less battery consumption. [PDF]
Sci RepIn the digitization era, the battery consumption factor plays a vital role for the devices that operate Android software, expecting them to deliver high performance and good maintainability.The study aims to analyze the Android-specific code smells ...
Gupta A +4 more
europepmc +2 more sources
Computers, 2023 Evaluating mutation testing behavior can help decide whether refactoring successfully maintains the expected initial test results. Moreover, manually performing this analytical work is both time-consuming and prone to errors.
Tiago Samuel Rodrigues Teixeira +2 more
doaj +1 more source
Student Code Refactoring Misconceptions
Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, 2023 Teaching students to develop code of good quality is important. Refactoring -- rewriting a program into a semantically equivalent program of better quality -- is a common technique to improve code quality. It is therefore relevant for students to learn about refactoring, even for the smaller programs they write as beginners.
Eduardo Oliveira +2 more
openaire +3 more sources
On the Assessment of Interactive Detection of Code Smells in Practice: A Controlled Experiment
IEEE Access, 2023 Code smells are structures in a program that often indicate the presence of deeper maintainability problems. Code smells should be detected as soon as they are introduced, enabling refactoring actions with less effort and time. Non-Interactive Detection (
Danyllo Albuquerque +6 more
doaj +1 more source