Author:
Eilertsen Anna Maria,Bagge Anya Helene,Stolz Volker
Publisher
Springer International Publishing
Reference20 articles.
1. Lecture Notes in Computer Science;W Ahrendt,2007
2. Cinnéide, M.Ó., Nixon, P.: A methodology for the automated introduction of design patterns. In: International Conference on Software Maintenance, ICSM 1999, pp. 463–472. IEEE Computer Society (1999)
3. Eilertsen, A.M.: Making software refactoring safer. Master’s thesis, Department of Informatics, University of Bergen (2016)
4. Ekman, T., Hedin, G.: The JastAdd system - modular extensible compiler construction. Sci. Comput. Program. 69(1–3), 14–26 (2007)
5. Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Boston (1999)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Schematic Program Proofs with Abstract Execution;Journal of Automated Reasoning;2024-03-26
2. An Automated Approach to Extracting Local Variables;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
3. Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules;Ernst Denert Award for Software Engineering 2020;2022
4. I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking;The Logic of Software. A Tasting Menu of Formal Methods;2022
5. A Notion of Equivalence for Refactorings with Abstract Execution;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022