Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering (ISoLA 2022)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13702))

Included in the following conference series:

  • 496 Accesses

Abstract

Software Engineering is often viewed as the discipline of developing new software systems from scratch. In practice, however, it is much more common that software development starts from a system to be modified or substituted. Software re-engineering is a difficult, error-prone, and expensive task. Therefore, automating software re-engineering emerges as an attractive opportunity. Formal methods can help in automating software re-engineering, but, current formal approaches to software development and analysis tend to look at software as a static object and to focus on green-field scenarios. In this track we look at formal approaches that take the re-engineering aspect into account.

Partially funded by the Hessian LOEWE initiative within the “Software-Factory 4.0” project.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 79.99
Price excludes VAT (USA)
  • 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

References

  1. Abusdal, O.J., Kamburjan, E., Ka I Pun, V., Stolz, V.: A notion of equivalence for refactorings with abstract execution. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 259–280. Springer, Cham (2022)

    Google Scholar 

  2. Beckert, B., Bubel, R., Hähnle, R., Ulbrich, M.: Towards a usable and sustainable deductive verification tool. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 281–300. Springer, Cham (2022)

    Google Scholar 

  3. Beringer, L.: Verified software units for simple DFA modules and objects in C. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 237–258. Springer, Cham (2022)

    Google Scholar 

  4. Demeyer, S., Hähnle, R., Mantel, H.: Automating software re-engineering. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12477, pp. 3–8. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-61470-6_1

    Chapter  Google Scholar 

  5. Demeyer, S., Rocha, H., Verhheijke, D.: Refactoring solidity smart contracts to protect against reentrancy exploits. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 324–344. Springer, Cham (2022)

    Google Scholar 

  6. Eldh, S.: On technical debt in software testing: Observations from industry. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 301–323. Springer, Cham (2022)

    Google Scholar 

  7. 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  MATH  Google Scholar 

  8. Hendricks, D., Aslam, K.: A systematic approach for interfacing component-based software with an active automata learning tool. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 216–236. Springer, Cham (2022)

    Google Scholar 

  9. Hilbrich, M., Müller, S., Kulagina, S., Lazik, C., De Mecquenem, N., Grunske, L.: A consolidated view on specification languages for data analysis workflows. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 201–215. Springer, Cham (2022)

    Google Scholar 

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

    Google Scholar 

  11. Lanzinger, F., Ulbrich, M., Weigl, A.: A refactoring for data minimisation using formal verification. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 345–364. Springer, Cham (2022)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Antwerp, Antwerp, Belgium

    Serge Demeyer

  2. Technical University Darmstadt, Darmstadt, Germany

    Reiner Hähnle & Heiko Mantel

Authors
  1. Serge Demeyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Reiner Hähnle
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Heiko Mantel
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Serge Demeyer .

Editor information

Editors and Affiliations

  1. University of Limerick, CSIS and Lero, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Demeyer, S., Hähnle, R., Mantel, H. (2022). Automating Software Re-engineering: Introduction to the ISoLA 2022 Track. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering. ISoLA 2022. Lecture Notes in Computer Science, vol 13702. Springer, Cham. https://doi.org/10.1007/978-3-031-19756-7_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-19756-7_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-19755-0

  • Online ISBN: 978-3-031-19756-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation