Programming and Validating Software Restructurings

Legacy software is the result of years of accumulated investment, leading to stable code bases that are complex, poorly documented, and hard to modify. The maintenance effort for legacy code bases is significant and dominates the software development budget over the lifetime of a system. To keep up the rate of innovation, software developers should be enabled to efficiently make structured, large-scale code modifications, and ensure their correctness. In this project we will develop a framework for the definition of custom, project-specific software restructurings that can be automatically applied at scale, and automatically validate the correctness of the results of restructurings. The framework is evaluated by using it to restructure existing software at Philips.

  • Projectnummer / Project number: 17933
  • Gebruikers / Users: 5 bedrijven en 1 instituut / 5 companies and 1 institute
  • Projectleider / Project leader: prof. dr. E. Visser, Technische Universiteit Delft
  • Type project / Type project: Lopend
  • Startdatum / Start date: 1-1-2020
  • Einddatum / End date: 1-1-2024
  • Programma / Programme: Partnership TNO-ESI MasCot
  • Vakgebied / Discipline: Informatica


Dr. Mladen Skelin (Programmamedewerker) Dr. Mladen Skelin (Programmamedewerker) 030 600 1280