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 |
|