Results 21 to 30 of about 8,846 (233)
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
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 +1 more source
Study on Effectiveness of Quality Objectives and Non-quality Objectives for Automated Software Refactoring [PDF]
Jisuanji kexue, 2022 The cost of software maintenance increases as the continuous iterative development of software.To reduce this cost,automated software refactoring is proven to be an effective solution.One of the most typical automated software refactoring approaches is ...
GUO Ya-lin, LI Xiao-chen, REN Zhi-lei, JIANG He
doaj +1 more source
On the documentation of refactoring types [PDF]
Automated Software Engineering, 2021 Commit messages are the atomic level of software documentation. They provide a natural language description of the code change and its purpose. Messages are critical for software maintenance and program comprehension. Unlike documenting feature updates and bug fixes, little is known about how developers document their refactoring activities. Developers
Eman Abdullah AlOmar +6 more
openaire +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
A Refactoring Classification Framework for Efficient Software Maintenance
IEEE Access, 2023 The expenses associated with software maintenance and evolution constitute a significant portion, surpassing more than 80% of the overall costs involved in software development.
Abdullah Almogahed +8 more
doaj +1 more source
Towards sound refactoring in erlang [PDF]
, 2015 Erlang is an actor-based programming language used extensively for building concurrent, reactive systems that are highly available and suff er minimum downtime. Such systems are often mission critical, making system correctness vital.
Francalanza, Adrian, Tanti, Erica
core +1 more source
Refactoring on the whole project
Труды Института системного программирования РАН, 2018 Refactoring is one of the most popular and successful techniques in improving source code. It is an integral part of agile development methods. However, we still lack effective tools for source code automatic refactoring for C/C++.
S. V. Syromyatnikov +2 more
doaj +1 more source
Refactoring Graphs: Assessing Refactoring over Time [PDF]
2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER), 2020 Refactoring is an essential activity during software evolution. Frequently, practitioners rely on such transformations to improve source code maintainability and quality. As a consequence, this process may produce new source code entities or change the structure of existing ones.
Aline Brito +2 more
openaire +2 more sources
Refactoring Functional Programs [PDF]
, 2004 Refactoring is the process of improving the design of existing programs without changing their functionality. These notes cover refactoring in functional languages, using Haskell as the medium, and introducing the HaRe tool for refactoring in ...
Simon Thompson, Thompson, Simon
core +1 more source