Project: Safe Round-Trip Software Engineering fo...
Master data
| Safe Round-Trip Software Engineering for Improving the Maintainability of Legacy Software Systems | |
| Description: | Safe Round-Trip Software Engineering for Improving the Maintainability of Legacy Software Systems. In this project we aim at investigating methods and techniques to reverse engineer "formal models" from existing systems based on rewriting logic capturing explicit and implicit aspects of the original system. We claim that by using formal reasoning techniques on top of the extracted models the software engineer can first express a formal property that the system exhibits before re-engineering, and later check it against the re-engineered models representing the system design. |
| Keywords: | Reverse Engineering, Formal Methods, Reengineering |
| Short title: | Safe-RTSE |
| Period: | 01.11.2015 - 30.04.2019 |
| Contact e-mail: | martin.pinzger@aau.at |
| Homepage: | http://serg.aau.at/ |
Employees
| Employees | Role | Time period |
|---|---|---|
| Martin Pinzger (internal) |
|
|
| Giovanni Liva (internal) |
|
|
Assignment
| Organisational unit | ||||
|---|---|---|---|---|
|
Fakultät für Technische Wissenschaften
Institut für Informatik-Systeme
|
Categorisation
| Project type | Research funding (on request / by call for proposals) |
| Funding type | §27 |
| Research type |
|
| Subject areas | |
| Research Cluster | No research Research Cluster selected |
| Gender aspects | Genderrelevance not selected |
| Project focus |
Classification raster of the assigned organisational units:
|
| working groups |
|
Funding
| Funding program | |||
|---|---|---|---|
| Österreichische Forschungsförderungsgesellschaft mbH (FFG) | |||
XAUTOMATA TECHNOLOGY GmbH
|
Cooperations
Research activities
| Projects | No related projects |
| Publications |
|
| Events | No related events |
| Lectures |
|