Findings indicate that software correctness is the primary objective in language design, supported by robust type systems, compile time verification, and expressive abstractions that help reduce errors and improve code reliability.
It was concluded that Clean Architecture cannot be viewed solely as an ally or a villain, as its effectiveness depends on project characteristics, team experience, and the proportionate application of its principles.
A practical approach to using the SOLID principles as a system of engineering constraints is proposed, which ensures sustainable development of a software product and reduces architectural risks throughout its life cycle.
Milana S. Shapieva, Muhammad A. Agamirzaev· EKONOMIKA I UPRAVLENIE: PROB...· 0 citations
Formal methods are mathematical techniques employed to specify, develop, and verify software systems, ensuring high reliability and correctness. Formal methods have significantly influenced software engineering by introducing mathematical precision in specification, development, and verification processes. Unlike traditional software engineering approaches that rely heavily on testing, formal methods offer rigorous techniques such as model checking, theorem proving, and formal specification to ensure software correctness and reliability. These methods enhance software quality, especially in fields where safety is crucial, like aerospace, railway, healthcare, and automotive industries, where failures can have catastrophic consequences. The integration of formal methods into modern software development practices, including Agile and DevOps, has led to improved verification and validation processes. However, challenges such as high complexity, scalability issues, and the need for specialized expertise have hindered widespread adoption in industry. Despite these challenges, lightweight formal methods and automated verification tools have made significant progress in bridging the gap between formal verification and practical software engineering. This paper explores the impact of formal methods on software engineering methodologies and practices, focusing on their benefits, challenges, and real-world applications. The study highlights how formal methods improve software quality, enhance verification processes, and integrate with modern development approaches.
Current research is summarized to identify key gaps and future directions to optimize LLM based APR are proposed, to assure its reliability and scalability in real world software development.
Fatmaelzahra Hamdi, Ramadam Moawad, A. Mohsen· Journal of universal compute...· 0 citations
Refactoring is widely used to improve internal software quality; however, its impact on external functionality remains insufficiently explored. This study investigates how different refactoring operations influence software functionality through a controlled experimental analysis. A set of ten commonly used refactoring operations was applied to the jEdit system. Software functionality was quantitatively evaluated using a composite metric derived from cohesion, polymorphism, interface size, design size, and inheritance hierarchy. The selected ten refactoring operations were performed 453 times across ten independent experiments in jEdit. The results reveal that refactoring operations do not have uniform effects on functionality. Operations that enhance encapsulation and modular distribution significantly improve functionality, with Encapsulate Field achieving the highest increase. In contrast, operations that reduce abstraction, such as Inline Method and Inline Class, negatively impact functionality. Additionally, some operations show no measurable effect, indicating limitations in metric sensitivity. These findings demonstrate that refactoring should not be assumed to universally improve software functionality. Instead, its impact depends on the nature and context of the operations being applied. The study provides empirical evidence and practical guidance for selecting refactoring operations that effectively enhance functional quality while avoiding potential degradation.
Abdullah Almogahed, Manal Othman, M. Qasim et al.· 2026 6th International Confe...· 0 citations
It is demonstrated that multiple architectural views, continuous monitoring, domain-driven decomposition, and AI-assisted design techniques contribute significantly to improving scalability, maintainability, adaptability, and long-term software sustainability.
Malach Obisa Amonga· arXiv.org· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
