Buchumschlag

Generation of multipurpose formal models from legacy code

In this paper a method for generation of formal models from legacy systems code is proposed. The purpose of these models is to have a possibility of their application in different tasks such as automatic generation of executable tests, translation to modern programming languages, reverse engineering...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:PROBLEMS IN PROGRAMMING
Datum:2023
Heft:3-4
Сторінки:42-50
ISSN:1727-4907
Автори та афіліації:
  • S.V. Potiyenko — Glushkov Institute of Cybernetics NAS of Ukraine
  • A.V. Kolchin — Glushkov Institute of Cybernetics NAS of Ukraine
Hauptverfasser: Potiyenko, S.V., Kolchin, A.V.
Format: Artikel
Sprache:Ukrainisch
Veröffentlicht: PROBLEMS IN PROGRAMMING 2023
Schlagworte:
translation
formal model
legacy systems
UDC 004.414.23+004.416.6+004.4’414+004.4’418
Online Zugang:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/505
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Institution

Problems in programming

Online

https://pp.isofts.kiev.ua/index.php/ojs1/article/view/505

Ähnliche Einträge