Automating Software Re-engineering

Introduction to the ISoLA 2020 Track

  • Conference paper
  • First Online: 27 October 2020
  • Cite this conference paper

research paper on software reengineering

  • Serge Demeyer 10 ,
  • Reiner Hähnle 11 &
  • Heiko Mantel 11  

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 12477))

Included in the following conference series:

  • International Symposium on Leveraging Applications of Formal Methods

574 Accesses

1 Citations

Software Engineering as a discipline and, in particular, as a research field within Computer Science, is still mainly focused on methods, techniques, processes, and tools to develop software from scratch. In reality, however, greenfield scenarios are not the most common ones. It is important to realize that dynamic evolution of software became a much more common and relevant issue in recent times, and its importance keeps growing. Software refactoring, parallelization, adaptation, therefore, become central activities in the value chain: automating them can realize huge gains. Formal approaches to software modeling and analysis are poised to make a substantial contribution to software re-engineering, because they are fundamentally concerned with automation and correctness. This potential, however, is far from being realized. Formal methods tend to aim at software development ab ovo or look at some piece of given software as a static object. This state of affairs motivated a track on Automating Software Re-Engineering, where we invited a group of leading researchers with an active interest in the automation of software re-engineering to discuss the state of the art.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
  • Available as EPUB and PDF
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

research paper on software reengineering

Automating Software Re-engineering: Introduction to the ISoLA 2022 Track

research paper on software reengineering

Maintaining Security in Software Evolution

Search-based detection of model level changes.

Atre, R., Jannesari, A., Wolf, F.: Brief announcement: meeting the challenges of parallelizing sequential programs. In: Scheideler, C., Hajiaghayi, M.T. (eds.) Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA, Washington DC, USA, pp. 363–365. ACM (2017)

Google Scholar  

Barbier, F., Cariou, E., Goaer, O.L., Pierre, S.: Software adaptation: classification and a case study with state chart XML. IEEE Softw. 32 (5), 68–76 (2015)

Article   Google Scholar  

Demeyer, S., Parsai, A., Vercammen, S., van Bladel, B., Abdi, M.: Formal verification of developer tests: a research agenda inspired by mutation testing. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 9–24. Springer, Cham (2020)

Fowler, M.: Refactoring: Improving the Design of Existing Code. Object Technology Series. Addison-Wesley, Boston (1999)

MATH   Google Scholar  

Hähnle, R., Heydari Tabar, A., Mazaheri, A., Norouzi, M., Steinhöfel, D., Wolf, F.: Safer parallelization. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 117–137. Springer, Cham (2020)

Hähnle, R., Huisman, M.: Deductive software verification: from pen-and-paper proofs to industrial tools. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 345–373. Springer, Cham (2019). https://doi.org/10.1007/978-3-319-91908-9_18

Chapter   Google Scholar  

Hopkins, R., Jenkins, K.: Eating the IT Elephant: Moving from Greenfield Development to Brownfield. IBM Press, Upper Saddle River (2011)

Jacobs, M.-C., Mantel, H.: A unifying framework for dynamic monitoring and a taxonomy of optimizations. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 72–92. Springer, Cham (2020)

Ka I Pun, V., Stolz, V., Gheyi R.: ReAct: refactoring and active object languages. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 138–158. Springer, Cham (2020)

Lochau, M., Luthmann, L., Göttmann, H., Bacher, I.: Parametric timed bisimulation. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 55–71. Springer, Cham (2020)

Orlov, D.: Finding idioms in source code using subtree counting techniques. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 44–54. Springer, Cham (2020)

Weigl, A., Ulbrich, M., Lentzsch, D.: Modular regression verification for reactive systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 25–43. Springer, Cham (2020)

Download references

Author information

Authors and affiliations.

University of Antwerp, Antwerp, Belgium

Serge Demeyer

Technical University Darmstadt, Darmstadt, Germany

Reiner Hähnle & Heiko Mantel

You can also search for this author in PubMed   Google Scholar

Corresponding authors

Correspondence to Serge Demeyer , Reiner Hähnle or Heiko Mantel .

Editor information

Editors and affiliations.

University of Limerick and Lero, Limerick, Ireland

Tiziana Margaria

TU Dortmund, Dortmund, Germany

Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Cite this paper.

Demeyer, S., Hähnle, R., Mantel, H. (2020). Automating Software Re-engineering. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles. ISoLA 2020. Lecture Notes in Computer Science(), vol 12477. Springer, Cham. https://doi.org/10.1007/978-3-030-61470-6_1

Download citation

DOI : https://doi.org/10.1007/978-3-030-61470-6_1

Published : 27 October 2020

Publisher Name : Springer, Cham

Print ISBN : 978-3-030-61469-0

Online ISBN : 978-3-030-61470-6

eBook Packages : Computer Science Computer Science (R0)

Share this paper

Anyone you share the following link with will be able to read this content:

Sorry, a shareable link is not currently available for this article.

Provided by the Springer Nature SharedIt content-sharing initiative

  • Publish with us

Policies and ethics

  • Find a journal
  • Track your research

research paper on software reengineering

Academia.edu no longer supports Internet Explorer.

To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to  upgrade your browser .

  •  We're Hiring!
  •  Help Center

Software Reengineering

  • Most Cited Papers
  • Most Downloaded Papers
  • Newest Papers
  • Save to Library
  • Software Maintenance Follow Following
  • Software Evolution Follow Following
  • Software Reuse Follow Following
  • Agile Software Process Improvement Follow Following
  • Concept Map Follow Following
  • Software Process Improvement and Assessment Follow Following
  • CASE Tools Follow Following
  • Component-Based Software Engineering (CBSE) Follow Following
  • Distributed Denial of Service Attack Follow Following
  • DDoS Defense Follow Following

Enter the email address you signed up with and we'll email you a reset link.

  • Academia.edu Publishing
  •   We're Hiring!
  •   Help Center
  • Find new research papers in:
  • Health Sciences
  • Earth Sciences
  • Cognitive Science
  • Mathematics
  • Computer Science
  • Academia ©2024

Software Design and Architecture The once and future focus of software engineering

Ieee account.

  • Change Username/Password
  • Update Address

Purchase Details

  • Payment Options
  • Order History
  • View Purchased Documents

Profile Information

  • Communications Preferences
  • Profession and Education
  • Technical Interests
  • US & Canada: +1 800 678 4333
  • Worldwide: +1 732 981 0060
  • Contact & Support
  • About IEEE Xplore
  • Accessibility
  • Terms of Use
  • Nondiscrimination Policy
  • Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity. © Copyright 2024 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.

software engineering Recently Published Documents

Total documents.

  • Latest Documents
  • Most Cited Documents
  • Contributed Authors
  • Related Sources
  • Related Keywords

Identifying Non-Technical Skill Gaps in Software Engineering Education: What Experts Expect But Students Don’t Learn

As the importance of non-technical skills in the software engineering industry increases, the skill sets of graduates match less and less with industry expectations. A growing body of research exists that attempts to identify this skill gap. However, only few so far explicitly compare opinions of the industry with what is currently being taught in academia. By aggregating data from three previous works, we identify the three biggest non-technical skill gaps between industry and academia for the field of software engineering: devoting oneself to continuous learning , being creative by approaching a problem from different angles , and thinking in a solution-oriented way by favoring outcome over ego . Eight follow-up interviews were conducted to further explore how the industry perceives these skill gaps, yielding 26 sub-themes grouped into six bigger themes: stimulating continuous learning , stimulating creativity , creative techniques , addressing the gap in education , skill requirements in industry , and the industry selection process . With this work, we hope to inspire educators to give the necessary attention to the uncovered skills, further mitigating the gap between the industry and the academic world.

Opportunities and Challenges in Code Search Tools

Code search is a core software engineering task. Effective code search tools can help developers substantially improve their software development efficiency and effectiveness. In recent years, many code search studies have leveraged different techniques, such as deep learning and information retrieval approaches, to retrieve expected code from a large-scale codebase. However, there is a lack of a comprehensive comparative summary of existing code search approaches. To understand the research trends in existing code search studies, we systematically reviewed 81 relevant studies. We investigated the publication trends of code search studies, analyzed key components, such as codebase, query, and modeling technique used to build code search tools, and classified existing tools into focusing on supporting seven different search tasks. Based on our findings, we identified a set of outstanding challenges in existing studies and a research roadmap for future code search research.

Psychometrics in Behavioral Software Engineering: A Methodological Introduction with Guidelines

A meaningful and deep understanding of the human aspects of software engineering (SE) requires psychological constructs to be considered. Psychology theory can facilitate the systematic and sound development as well as the adoption of instruments (e.g., psychological tests, questionnaires) to assess these constructs. In particular, to ensure high quality, the psychometric properties of instruments need evaluation. In this article, we provide an introduction to psychometric theory for the evaluation of measurement instruments for SE researchers. We present guidelines that enable using existing instruments and developing new ones adequately. We conducted a comprehensive review of the psychology literature framed by the Standards for Educational and Psychological Testing. We detail activities used when operationalizing new psychological constructs, such as item pooling, item review, pilot testing, item analysis, factor analysis, statistical property of items, reliability, validity, and fairness in testing and test bias. We provide an openly available example of a psychometric evaluation based on our guideline. We hope to encourage a culture change in SE research towards the adoption of established methods from psychology. To improve the quality of behavioral research in SE, studies focusing on introducing, validating, and then using psychometric instruments need to be more common.

Towards an Anatomy of Software Craftsmanship

Context: The concept of software craftsmanship has early roots in computing, and in 2009, the Manifesto for Software Craftsmanship was formulated as a reaction to how the Agile methods were practiced and taught. But software craftsmanship has seldom been studied from a software engineering perspective. Objective: The objective of this article is to systematize an anatomy of software craftsmanship through literature studies and a longitudinal case study. Method: We performed a snowballing literature review based on an initial set of nine papers, resulting in 18 papers and 11 books. We also performed a case study following seven years of software development of a product for the financial market, eliciting qualitative, and quantitative results. We used thematic coding to synthesize the results into categories. Results: The resulting anatomy is centered around four themes, containing 17 principles and 47 hierarchical practices connected to the principles. We present the identified practices based on the experiences gathered from the case study, triangulating with the literature results. Conclusion: We provide our systematically derived anatomy of software craftsmanship with the goal of inspiring more research into the principles and practices of software craftsmanship and how these relate to other principles within software engineering in general.

On the Reproducibility and Replicability of Deep Learning in Software Engineering

Context: Deep learning (DL) techniques have gained significant popularity among software engineering (SE) researchers in recent years. This is because they can often solve many SE challenges without enormous manual feature engineering effort and complex domain knowledge. Objective: Although many DL studies have reported substantial advantages over other state-of-the-art models on effectiveness, they often ignore two factors: (1) reproducibility —whether the reported experimental results can be obtained by other researchers using authors’ artifacts (i.e., source code and datasets) with the same experimental setup; and (2) replicability —whether the reported experimental result can be obtained by other researchers using their re-implemented artifacts with a different experimental setup. We observed that DL studies commonly overlook these two factors and declare them as minor threats or leave them for future work. This is mainly due to high model complexity with many manually set parameters and the time-consuming optimization process, unlike classical supervised machine learning (ML) methods (e.g., random forest). This study aims to investigate the urgency and importance of reproducibility and replicability for DL studies on SE tasks. Method: In this study, we conducted a literature review on 147 DL studies recently published in 20 SE venues and 20 AI (Artificial Intelligence) venues to investigate these issues. We also re-ran four representative DL models in SE to investigate important factors that may strongly affect the reproducibility and replicability of a study. Results: Our statistics show the urgency of investigating these two factors in SE, where only 10.2% of the studies investigate any research question to show that their models can address at least one issue of replicability and/or reproducibility. More than 62.6% of the studies do not even share high-quality source code or complete data to support the reproducibility of their complex models. Meanwhile, our experimental results show the importance of reproducibility and replicability, where the reported performance of a DL model could not be reproduced for an unstable optimization process. Replicability could be substantially compromised if the model training is not convergent, or if performance is sensitive to the size of vocabulary and testing data. Conclusion: It is urgent for the SE community to provide a long-lasting link to a high-quality reproduction package, enhance DL-based solution stability and convergence, and avoid performance sensitivity on different sampled data.

Predictive Software Engineering: Transform Custom Software Development into Effective Business Solutions

The paper examines the principles of the Predictive Software Engineering (PSE) framework. The authors examine how PSE enables custom software development companies to offer transparent services and products while staying within the intended budget and a guaranteed budget. The paper will cover all 7 principles of PSE: (1) Meaningful Customer Care, (2) Transparent End-to-End Control, (3) Proven Productivity, (4) Efficient Distributed Teams, (5) Disciplined Agile Delivery Process, (6) Measurable Quality Management and Technical Debt Reduction, and (7) Sound Human Development.

Software—A New Open Access Journal on Software Engineering

Software (ISSN: 2674-113X) [...]

Improving bioinformatics software quality through incorporation of software engineering practices

Background Bioinformatics software is developed for collecting, analyzing, integrating, and interpreting life science datasets that are often enormous. Bioinformatics engineers often lack the software engineering skills necessary for developing robust, maintainable, reusable software. This study presents review and discussion of the findings and efforts made to improve the quality of bioinformatics software. Methodology A systematic review was conducted of related literature that identifies core software engineering concepts for improving bioinformatics software development: requirements gathering, documentation, testing, and integration. The findings are presented with the aim of illuminating trends within the research that could lead to viable solutions to the struggles faced by bioinformatics engineers when developing scientific software. Results The findings suggest that bioinformatics engineers could significantly benefit from the incorporation of software engineering principles into their development efforts. This leads to suggestion of both cultural changes within bioinformatics research communities as well as adoption of software engineering disciplines into the formal education of bioinformatics engineers. Open management of scientific bioinformatics development projects can result in improved software quality through collaboration amongst both bioinformatics engineers and software engineers. Conclusions While strides have been made both in identification and solution of issues of particular import to bioinformatics software development, there is still room for improvement in terms of shifts in both the formal education of bioinformatics engineers as well as the culture and approaches of managing scientific bioinformatics research and development efforts.

Inter-team communication in large-scale co-located software engineering: a case study

AbstractLarge-scale software engineering is a collaborative effort where teams need to communicate to develop software products. Managers face the challenge of how to organise work to facilitate necessary communication between teams and individuals. This includes a range of decisions from distributing work over teams located in multiple buildings and sites, through work processes and tools for coordinating work, to softer issues including ensuring well-functioning teams. In this case study, we focus on inter-team communication by considering geographical, cognitive and psychological distances between teams, and factors and strategies that can affect this communication. Data was collected for ten test teams within a large development organisation, in two main phases: (1) measuring cognitive and psychological distance between teams using interactive posters, and (2) five focus group sessions where the obtained distance measurements were discussed. We present ten factors and five strategies, and how these relate to inter-team communication. We see three types of arenas that facilitate inter-team communication, namely physical, virtual and organisational arenas. Our findings can support managers in assessing and improving communication within large development organisations. In addition, the findings can provide insights into factors that may explain the challenges of scaling development organisations, in particular agile organisations that place a large emphasis on direct communication over written documentation.

Aligning Software Engineering and Artificial Intelligence With Transdisciplinary

Study examined AI and SE transdisciplinarity to find ways of aligning them to enable development of AI-SE transdisciplinary theory. Literature review and analysis method was used. The findings are AI and SE transdisciplinarity is tacit with islands within and between them that can be linked to accelerate their transdisciplinary orientation by codification, internally developing and externally borrowing and adapting transdisciplinary theories. Lack of theory has been identified as the major barrier toward towards maturing the two disciplines as engineering disciplines. Creating AI and SE transdisciplinary theory would contribute to maturing AI and SE engineering disciplines.  Implications of study are transdisciplinary theory can support mode 2 and 3 AI and SE innovations; provide an alternative for maturing two disciplines as engineering disciplines. Study’s originality it’s first in SE, AI or their intersections.

Export Citation Format

Share document.

College of Computing

Irfan Essa

Workshop Explores Sustainable Software in Research

Tuesday, May 14, 2024

Morgan Usry

College of computing school of computer science, software engineering.

In software development, project sustainability is paramount for ensuring long-term viability and continued growth. Sustainable software allows research projects to evolve with new technology and enables project maintainers to sustain interest in growing and transforming the software over time.

A recent workshop hosted on April 3 by Georgia Tech’s Open Source Programs Office (OSPO) and the Center for Scientific Software Engineering (SSE) gave researchers and students the opportunity to learn about available sustainable software resources.

The Sustainable Software in Academia workshop featured Georgia Tech research scientists and software engineers who shared the latest information on developing and maintaining sustainable software for research projects.

Jeffrey Young , OSPO director, and SSE co-director, said the workshop aligned with each organization’s goals of creating positive change for the research enterprise at Georgia Tech and in the broader academic community.

Jeffrey Young

“Resources like the OSPO are explicitly meant to be a central point for researchers who may not know where to ask for help with their open-source projects. We strongly encourage all attendees, along with Georgia Tech researchers and students, to review the topics discussed and reach out to us with questions,” said Young.

According to Young, a senior research scientist in the School of Computer Science, the workshop provided a “from the ground up” exploration of the resources of the two centers. It also focused on how the centers can improve the quality of scientific software or open-source projects for researchers. 

Along with discussions of software engineering best practices, College of Computing Senior Associate Dean and Professor Irfan Essa and Suresh Marru, director of the Center for Artificial Intelligence in Science and Engineering (ARTISAN), covered AI-related efforts at the Institute level. Marru introduced the ARTISAN center, which brings new capabilities to Georgia Tech researchers to develop advanced AI science workflows using open-source tools.

A large portion of the workshop was dedicated to best practices for software engineering of scientific research projects. Dave Brownell, head of engineering for SSE, shared some tips on how to incorporate software engineering into research projects. These insights included the use of continuous integration and related tools to maintain the code quality of research projects and developing a shared vision for how research software should be built and maintained long-term. A panel forum with SSE research software engineers created an open discussion of best practices.

“The discussion was lively with a special focus on how Georgia Tech can better support quality software projects as well as a long, sustained lifecycle for open-source projects,” said Young.

Recent Stories

The team created an app for people with ADHD to help with tasks. (Photo by Aaliya Jakir)

Student Startup Wins $50K, Advances in Microsoft…

Friday, May 17, 2024

The Web Conference 2024

Chatbots Are Poor Multilingual Healthcare Consultants…

Wednesday, May 15, 2024

Irfan Essa

We are thrilled to announce Vivek Sarkar as the new Dean of the College of Computing at Georgia Tech! With a distinguished career spanning academia and industry, Sarkar's leadership promises to elevate our community to new heights. https://t.co/2mX5D46cJz pic.twitter.com/LxpLTCXWZV — Georgia Tech Computing (@gtcomputing) April 12, 2024
@GeorgiaTech 's dedication to excellence in computer science (CS) has been recognized once again, with the latest U.S. News and World Report rankings unveiling the institution at 7th place overall for graduate CS studies. https://t.co/qavNUSTb7n pic.twitter.com/BcGyGBQld8 — Georgia Tech Computing (@gtcomputing) April 10, 2024

Help | Advanced Search

Computer Science > Software Engineering

Title: no free lunch: research software testing in teaching.

Abstract: Software is at the core of most scientific discoveries today. Therefore, the quality of research results highly depends on the quality of the research software. Rigorous testing, as we know it from software engineering in the industry, could ensure the quality of the research software but it also requires a substantial effort that is often not rewarded in academia. Therefore, this research explores the effects of research software testing integrated into teaching on research software. In an in-vivo experiment, we integrated the engineering of a test suite for a large-scale network simulation as group projects into a course on software testing at the Blekinge Institute of Technology, Sweden, and qualitatively measured the effects of this integration on the research software. We found that the research software benefited from the integration through substantially improved documentation and fewer hardware and software dependencies. However, this integration was effortful and although the student teams developed elegant and thoughtful test suites, no code by students went directly into the research software since we were not able to make the integration back into the research software obligatory or even remunerative. Although we strongly believe that integrating research software engineering such as testing into teaching is not only valuable for the research software itself but also for students, the research of the next generation, as they get in touch with research software engineering and bleeding-edge research in their field as part of their education, the uncertainty about the intellectual properties of students' code substantially limits the potential of integrating research software testing into teaching.

Submission history

Access paper:.

  • HTML (experimental)
  • Other Formats

license icon

References & Citations

  • Google Scholar
  • Semantic Scholar

BibTeX formatted citation

BibSonomy logo

Bibliographic and Citation Tools

Code, data and media associated with this article, recommenders and search tools.

  • Institution

arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs .

Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.

  • View all journals
  • Explore content
  • About the journal
  • Publish with us
  • Sign up for alerts
  • Published: 08 May 2024

Accurate structure prediction of biomolecular interactions with AlphaFold 3

  • Josh Abramson   ORCID: orcid.org/0009-0000-3496-6952 1   na1 ,
  • Jonas Adler   ORCID: orcid.org/0000-0001-9928-3407 1   na1 ,
  • Jack Dunger 1   na1 ,
  • Richard Evans   ORCID: orcid.org/0000-0003-4675-8469 1   na1 ,
  • Tim Green   ORCID: orcid.org/0000-0002-3227-1505 1   na1 ,
  • Alexander Pritzel   ORCID: orcid.org/0000-0002-4233-9040 1   na1 ,
  • Olaf Ronneberger   ORCID: orcid.org/0000-0002-4266-1515 1   na1 ,
  • Lindsay Willmore   ORCID: orcid.org/0000-0003-4314-0778 1   na1 ,
  • Andrew J. Ballard   ORCID: orcid.org/0000-0003-4956-5304 1 ,
  • Joshua Bambrick   ORCID: orcid.org/0009-0003-3908-0722 2 ,
  • Sebastian W. Bodenstein 1 ,
  • David A. Evans 1 ,
  • Chia-Chun Hung   ORCID: orcid.org/0000-0002-5264-9165 2 ,
  • Michael O’Neill 1 ,
  • David Reiman   ORCID: orcid.org/0000-0002-1605-7197 1 ,
  • Kathryn Tunyasuvunakool   ORCID: orcid.org/0000-0002-8594-1074 1 ,
  • Zachary Wu   ORCID: orcid.org/0000-0003-2429-9812 1 ,
  • Akvilė Žemgulytė 1 ,
  • Eirini Arvaniti 3 ,
  • Charles Beattie   ORCID: orcid.org/0000-0003-1840-054X 3 ,
  • Ottavia Bertolli   ORCID: orcid.org/0000-0001-8578-3216 3 ,
  • Alex Bridgland 3 ,
  • Alexey Cherepanov   ORCID: orcid.org/0000-0002-5227-0622 4 ,
  • Miles Congreve 4 ,
  • Alexander I. Cowen-Rivers 3 ,
  • Andrew Cowie   ORCID: orcid.org/0000-0002-4491-1434 3 ,
  • Michael Figurnov   ORCID: orcid.org/0000-0003-1386-8741 3 ,
  • Fabian B. Fuchs 3 ,
  • Hannah Gladman 3 ,
  • Rishub Jain 3 ,
  • Yousuf A. Khan   ORCID: orcid.org/0000-0003-0201-2796 3 ,
  • Caroline M. R. Low 4 ,
  • Kuba Perlin 3 ,
  • Anna Potapenko 3 ,
  • Pascal Savy 4 ,
  • Sukhdeep Singh 3 ,
  • Adrian Stecula   ORCID: orcid.org/0000-0001-6914-6743 4 ,
  • Ashok Thillaisundaram 3 ,
  • Catherine Tong   ORCID: orcid.org/0000-0001-7570-4801 4 ,
  • Sergei Yakneen   ORCID: orcid.org/0000-0001-7827-9839 4 ,
  • Ellen D. Zhong   ORCID: orcid.org/0000-0001-6345-1907 3 ,
  • Michal Zielinski 3 ,
  • Augustin Žídek   ORCID: orcid.org/0000-0002-0748-9684 3 ,
  • Victor Bapst 1   na2 ,
  • Pushmeet Kohli   ORCID: orcid.org/0000-0002-7466-7997 1   na2 ,
  • Max Jaderberg   ORCID: orcid.org/0000-0002-9033-2695 2   na2 ,
  • Demis Hassabis   ORCID: orcid.org/0000-0003-2812-9917 1 , 2   na2 &
  • John M. Jumper   ORCID: orcid.org/0000-0001-6169-6580 1   na2  

Nature ( 2024 ) Cite this article

264k Accesses

1 Citations

1204 Altmetric

Metrics details

We are providing an unedited version of this manuscript to give early access to its findings. Before final publication, the manuscript will undergo further editing. Please note there may be errors present which affect the content, and all legal disclaimers apply.

  • Drug discovery
  • Machine learning
  • Protein structure predictions
  • Structural biology

The introduction of AlphaFold 2 1 has spurred a revolution in modelling the structure of proteins and their interactions, enabling a huge range of applications in protein modelling and design 2–6 . In this paper, we describe our AlphaFold 3 model with a substantially updated diffusion-based architecture, which is capable of joint structure prediction of complexes including proteins, nucleic acids, small molecules, ions, and modified residues. The new AlphaFold model demonstrates significantly improved accuracy over many previous specialised tools: far greater accuracy on protein-ligand interactions than state of the art docking tools, much higher accuracy on protein-nucleic acid interactions than nucleic-acid-specific predictors, and significantly higher antibody-antigen prediction accuracy than AlphaFold-Multimer v2.3 7,8 . Together these results show that high accuracy modelling across biomolecular space is possible within a single unified deep learning framework.

You have full access to this article via your institution.

Similar content being viewed by others

research paper on software reengineering

Highly accurate protein structure prediction with AlphaFold

research paper on software reengineering

Augmenting large language models with chemistry tools

research paper on software reengineering

De novo generation of multi-target compounds using deep generative chemistry

Author information.

These authors contributed equally: Josh Abramson, Jonas Adler, Jack Dunger, Richard Evans, Tim Green, Alexander Pritzel, Olaf Ronneberger, Lindsay Willmore

These authors jointly supervised this work: Victor Bapst, Pushmeet Kohli, Max Jaderberg, Demis Hassabis, John M. Jumper

Authors and Affiliations

Core Contributor, Google DeepMind, London, UK

Josh Abramson, Jonas Adler, Jack Dunger, Richard Evans, Tim Green, Alexander Pritzel, Olaf Ronneberger, Lindsay Willmore, Andrew J. Ballard, Sebastian W. Bodenstein, David A. Evans, Michael O’Neill, David Reiman, Kathryn Tunyasuvunakool, Zachary Wu, Akvilė Žemgulytė, Victor Bapst, Pushmeet Kohli, Demis Hassabis & John M. Jumper

Core Contributor, Isomorphic Labs, London, UK

Joshua Bambrick, Chia-Chun Hung, Max Jaderberg & Demis Hassabis

Google DeepMind, London, UK

Eirini Arvaniti, Charles Beattie, Ottavia Bertolli, Alex Bridgland, Alexander I. Cowen-Rivers, Andrew Cowie, Michael Figurnov, Fabian B. Fuchs, Hannah Gladman, Rishub Jain, Yousuf A. Khan, Kuba Perlin, Anna Potapenko, Sukhdeep Singh, Ashok Thillaisundaram, Ellen D. Zhong, Michal Zielinski & Augustin Žídek

Isomorphic Labs, London, UK

Alexey Cherepanov, Miles Congreve, Caroline M. R. Low, Pascal Savy, Adrian Stecula, Catherine Tong & Sergei Yakneen

You can also search for this author in PubMed   Google Scholar

Corresponding authors

Correspondence to Max Jaderberg , Demis Hassabis or John M. Jumper .

Supplementary information

Supplementary information.

This Supplementary Information file contains the following 9 sections: (1) Notation; (2) Data pipeline; (3) Model architecture; (4) Auxiliary heads; (5) Training and inference; (6) Evaluation; (7) Differences to AlphaFold2 and AlphaFold-Multimer; (8) Supplemental Results; and (9) Appendix: CCD Code and PDB ID tables.

Reporting Summary

Rights and permissions.

Reprints and permissions

About this article

Cite this article.

Abramson, J., Adler, J., Dunger, J. et al. Accurate structure prediction of biomolecular interactions with AlphaFold 3. Nature (2024). https://doi.org/10.1038/s41586-024-07487-w

Download citation

Received : 19 December 2023

Accepted : 29 April 2024

Published : 08 May 2024

DOI : https://doi.org/10.1038/s41586-024-07487-w

Share this article

Anyone you share the following link with will be able to read this content:

Sorry, a shareable link is not currently available for this article.

Provided by the Springer Nature SharedIt content-sharing initiative

This article is cited by

Major alphafold upgrade offers boost for drug discovery.

  • Ewen Callaway

Nature (2024)

By submitting a comment you agree to abide by our Terms and Community Guidelines . If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.

Quick links

  • Explore articles by subject
  • Guide to authors
  • Editorial policies

Sign up for the Nature Briefing: Translational Research newsletter — top stories in biotechnology, drug discovery and pharma.

research paper on software reengineering

IMAGES

  1. (PDF) Proposed Software Re-engineering Process That Combine Traditinal

    research paper on software reengineering

  2. Software Reengineering PowerPoint Template

    research paper on software reengineering

  3. software engineering research paper

    research paper on software reengineering

  4. General model for software reengineering (Byrne, 1992)

    research paper on software reengineering

  5. Research Paper On Software Reengineering : Re-engineering Software

    research paper on software reengineering

  6. (PDF) Ten recommendations for software engineering in research

    research paper on software reengineering

VIDEO

  1. Final Term Paper Software Engineering II

  2. The Paper + Software I Use. #musiccomposition #music #writingmusic

  3. Software Re engineering in English

  4. Role of Software Engineering in IT industry: 22DCE024,22DCE027,22DE029,22DCE032,22DCE042

  5. Software Maintenance and Evolution: Re engineering (1)

  6. Ethics in Software Engineering: An Unspoken Rule

COMMENTS

  1. (PDF) Software Re-engineering: An Overview

    This paper presents brief overview of software re-engineering and highlights its future path. The objective of software engineering and reengineering (reproduced from [2]). The traditional model ...

  2. Software Re-engineering: An Overview

    The core of software re-engineering is to enhance or change existing software so it can be understood, managed, and reused as new software. When the system's software architecture and platforms become absolute and need to be changed, re-engineering is needed. The importance of software re-engineering lies in its ability to recover and reuse things which are already existing in an outdated ...

  3. Quality-driven software re-engineering

    Abstract. Software re-engineering consists of a set of activities intended to restructure a legacy system to a new target system that conforms with hard and soft quality constraints (or non-functional requirements, NFR). This paper presents a framework that allows specific NFR such as performance and maintainability to guide the re-engineering ...

  4. Automating Software Re-engineering

    Software refactoring, parallelization, adaptation, therefore, become central activities in the value chain: automating them can realize huge gains. Formal approaches to software modeling and analysis are poised to make a substantial contribution to software re-engineering, because they are fundamentally concerned with automation and correctness.

  5. A Case Study in Software Reengineering

    Software reengineering results from several needs including fixing defects (corrective reengineering), modifying the software to address weaknesses or to mitigate potential malfunctions (preventive reengineering), and extending the software to accommodate changes in its external environment (adaptive reengineering). This paper describes a case study in perfective and adaptive reengineering ...

  6. [PDF] Software Re-Engineering

    Software Re-Engineering. Conor Ryan. Published 2000. Computer Science, Engineering. Software maintenance is a highly important, yet often neglected, part of the software life cycle, and has been widely recognised as one of the more serious contributors to the current demand for programmers. Few systems remain static after delivery, as most are ...

  7. Reengineering

    The chapter introduces the concept of software reengineering based on three basic principles: abstraction, refinement, and alteration. It explains five basic reengineering approaches that include: big bang, incremental, partial, iterative, and evolutionary. The five approaches are different in two aspects: (i) the extent of reengineering ...

  8. Handbook of Re-Engineering Software Intensive Systems into Software

    About this book. This handbook distils the wealth of expertise and knowledge from a large community of researchers and industrial practitioners in Software Product Lines (SPLs) gained through extensive and rigorous theoretical, empirical, and applied research. It is a timely compilation of well-established and cutting-edge approaches that can ...

  9. PDF Automating Software Re-engineering

    Software refactoring, parallelization, adaptation, there-fore, become central activities in the value chain: automating them can realize huge gains. Formal approaches to software modeling and analysis are poised to make a substantial contribution to software re-engineering, because they are fundamentally concerned with automation and correct-ness.

  10. THE STUDY AND APPROACH OF SOFTWARE RE-ENGINEERING

    IV. DEFINITION OF SOFTWARE RE-ENGINEERING 1. GENERAL MODEL OF SOFTWARE RE-ENGINEERING Re-engineering starts with the source code of the basic system exist, and ends with the source code of the system will target. This process can be as simple as using the translation tool to translate source code from one language

  11. A retrospective view of software maintenance and reengineering research

    The series of the CSMR started in 1997 and have provided a valuable and updated state of the art and research trends on software maintenance, reengineering, architecture, and software evolution topics for researchers and practitioners in software engineering. Regarding the evolution of research topics, we performed a retrospective analysis of the main themes for the past 14 years in order to ...

  12. [1112.4016] The Study and Approach of Software Re-Engineering

    The Study and Approach of Software Re-Engineering. Phuc V. Nguyen, (Department of Cipher & Information Technology, Ho Chi Minh City's Vietnamese Communist Party Committee) The nature of software re-engineering is to improve or transform existing software so it can be understood, controlled and reused as new software.

  13. software reengineering Latest Research Papers

    Software Maintainability can be enhanced using reengineering. The proposed research validates improvement in the quality of the reengineered software system. The quality of the software is analyzed using a coupling, cohesion, inheritance, and other essential design metrics. The observed improvement in the software design is 62.1%.

  14. PDF A Study of Software Re-engineering for Improvement in Software ...

    Software Re-engineering involves source code translation, reverse engineering, program structure improvement, program modularization ... JETIR1805153 Journal of Emerging Technologies and Innovative Research (JETIR) www.jetir.org 845 1. Programming Limits - There are programming limits to the extent that a software can be improved by re ...

  15. Software Reengineering Research Papers

    Reengineering open source software for extended functionality the case of Open MRS. Purpose: To proffer solution to the numerous problems of paper-based medical record systems predominant in low- and medium-income countries (LMICs), by reengineering an open source electronic medical record software system, the OpenMRS,... more. Download.

  16. Figure 1 from Three R‟s of Software Engineering: Reuse, Reengineering

    Figure 1: Reuse Metrics and Models - "Three R‟s of Software Engineering: Reuse, Reengineering, Reverse Engineering" Figure 1: Reuse Metrics and Models - "Three R‟s of Software Engineering: Reuse, Reengineering, Reverse Engineering" ... Reuse, Reengineering, Reverse Engineering}, author={Research Paper Research Paper and V. Khanna and Parul ...

  17. Software Design and Architecture The once and future focus of software

    The design of software has been a focus of software engineering research since the field's beginning. This paper explores key aspects of this research focus and shows why design will remain a principal focus. The intrinsic elements of software design, both process and product, are discussed: concept formation, use of experience, and means for representation, reasoning, and directing the design ...

  18. software engineering Latest Research Papers

    The paper will cover all 7 principles of PSE: (1) Meaningful Customer Care, (2) Transparent End-to-End Control, (3) Proven Productivity, (4) Efficient Distributed Teams, (5) Disciplined Agile Delivery Process, (6) Measurable Quality Management and Technical Debt Reduction, and (7) Sound Human Development.

  19. Challenges and Practices of Deep Learning Model Reengineering: A Case

    Many engineering organizations are reimplementing and extending deep neural networks from the research community. We describe this process as deep learning model reengineering. Deep learning model reengineering - reusing, reproducing, adapting, and enhancing state-of-the-art deep learning approaches - is challenging for reasons including under-documented reference models, changing requirements ...

  20. Workshop Explores Sustainable Software in Research

    The Sustainable Software in Academia workshop featured Georgia Tech research scientists and software engineers who shared the latest information on developing and maintaining sustainable software for research projects. Jeffrey Young, OSPO director, and SSE co-director, said the workshop aligned with each organization's goals of creating ...

  21. Samsung and Arm look to accelerate 6G software research

    As part of the collaborative research, Samsung Research plans to launch an open-source project with Arm to jointly develop and refine parallel packet processing technology. This technology is described as one of the 'key software technologies in next-generation communications.' Parallel packet ...

  22. No Free Lunch: Research Software Testing in Teaching

    Software is at the core of most scientific discoveries today. Therefore, the quality of research results highly depends on the quality of the research software. Rigorous testing, as we know it from software engineering in the industry, could ensure the quality of the research software but it also requires a substantial effort that is often not rewarded in academia. Therefore, this research ...

  23. Accurate structure prediction of biomolecular interactions with

    Abstract. The introduction of AlphaFold 2 1 has spurred a revolution in modelling the structure of proteins and their interactions, enabling a huge range of applications in protein modelling and ...

  24. Flood of Fake Science Forces Multiple Journal Closures

    May 14, 2024 8:00 am ET. Text. Fake studies have flooded the publishers of top scientific journals, leading to thousands of retractions and millions of dollars in lost revenue. The biggest hit has ...

  25. Unriddle AI review: Read research papers faster with Unriddle AI

    Because Unriddle helps researchers save time in reading research papers, researchers can analyze more research papers. With Unriddle, researchers do not need to search for complex topics on the internet. Unriddle can also help researchers improve their research quality. Because it is an AI-powered tool, researchers can ask any questions from ...

  26. English Intelligent Translation Software Framework Based on data

    English Intelligent Translation Software Framework Based on data Analysis Algorithm. November 2023. November 2023. DOI: 10.1109/ICIICS59993.2023.10421120. Conference: 2023 International Conference ...