Automating software re-engineering

Ondertitel:introduction to the ISoLA 2022 track

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.

ISBN:978-3-031-19755-0

Jaar van publicatie:2022

Trefwoorden:P1 Proceeding

Toegankelijkheid:Open