Projekt: Safe Round-Trip Software Engineering fo...
Stammdaten
| Safe Round-Trip Software Engineering for Improving the Maintainability of Legacy Software Systems | |
| Beschreibung: | 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. |
| Schlagworte: | Reverse Engineering, Formal Methods, Reengineering |
| Kurztitel: | Safe-RTSE |
| Zeitraum: | 01.11.2015 - 30.04.2019 |
| Kontakt-Email: | martin.pinzger@aau.at |
| Homepage: | http://serg.aau.at/ |
MitarbeiterInnen
| MitarbeiterInnen | Funktion | Zeitraum |
|---|---|---|
| Martin Pinzger (intern) |
|
|
| Giovanni Liva (intern) |
|
|
Zuordnung
| Organisationseinheit | ||||
|---|---|---|---|---|
|
Fakultät für Technische Wissenschaften
Institut für Informatik-Systeme
|
Kategorisierung
| Projekttyp | Forschungsförderung (auf Antrag oder Ausschreibung) |
| Förderungstyp | §27 |
| Forschungstyp |
|
| Sachgebiete | |
| Forschungscluster | Kein Forschungscluster ausgewählt |
| Genderrelevanz | Genderrelevanz nicht ausgewählt |
| Projektfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
| Arbeitsgruppen |
|
Finanzierung
| Förderprogramm | |||
|---|---|---|---|
| Österreichische Forschungsförderungsgesellschaft mbH (FFG) | |||
XAUTOMATA TECHNOLOGY GmbH
|
Kooperationen
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
| Projekte | Keine verknüpften Projekte vorhanden |
| Publikationen |
|
| Veranstaltungen | Keine verknüpften Veranstaltung vorhanden |
| Vorträge |
|