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 ...
Horpácsi, Dániel +2 more
core +4 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.
Cohen, Julien
core +4 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
What Refactoring Topics Do Developers Discuss? A Large Scale Empirical Study Using Stack Overflow
IEEE Access, 2022 Due to the growing complexity of software systems, there has been a dramatic increase in research and industry demand on refactoring. Refactoring research nowadays addresses challenges beyond code transformation to include, but not limited to, scheduling
Chaima Abid +3 more
doaj +1 more source
RMMOC: Refactoring Method based on Multi-Objective Algorithms and New Criteria [PDF]
AUT Journal of Modeling and Simulation, 2023 Some factors can change the software and affect the quality, such as the new users' requirements and the need for compatibility with modern techniques. These factors impose a high cost on technical software maintenance. One of the techniques for software
Mohammad Reza Keyvanpour +2 more
doaj +1 more source
Revisiting Scenarios of Using Refactoring Techniques to Improve Software Systems Quality
IEEE Access, 2023 Refactoring is one of the most widely used techniques in practice to improve the quality of existing software. However, it is observed that refactoring does not continually improve all software quality attributes.
Abdullah Almogahed +4 more
doaj +1 more source
Refactoring Techniques for Improving Software Quality: Practitioners’ Perspectives
Journal of ICT, 2021 Refactoring is a critical task in software maintenance and is commonly applied to improve system design or to cope with design defects. There are 68 different types of refactoring techniques and each technique has a particular purpose and effect. However,
Abdullah Almogahed, Mazni Omar
doaj +1 more source
Optimized Refactoring Mechanisms to Improve Quality Characteristics in Object-Oriented Systems
IEEE Access, 2023 Refactoring has emerged as a predominant approach to augmenting software product quality. However, empirical evidence suggests that not all dimensions of software quality experience unending enhancements through refactoring.
Abdullah Almogahed +5 more
doaj +1 more source
A model transformation approach to perform refactoring on software architecture using refactoring patterns based on stakeholder requirements [PDF]
AUT Journal of Mathematics and Computing, 2020 Software Architecture (SA) generally has a considerable influence on software quality attributes. Coordination of software architecture to the requirements of the stakeholders and avoiding common mistakes and faults in designing SA increases the chance ...
Mohammad Tanhaei
doaj +1 more source
Local Search and the Evolution of World Models
Topics in Cognitive Science, EarlyView., 2023 Abstract An open question regarding how people develop their models of the world is how new candidates are generated for consideration out of infinitely many possibilities. We discuss the role that evolutionary mechanisms play in this process. Specifically, we argue that when it comes to developing a global world model, innovation is necessarily ...
Neil R. Bramley +3 more
wiley +1 more source