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...
Saved in:
| Date: | 2023 |
|---|---|
| Main Authors: | Potiyenko, S.V., Kolchin, A.V. |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
PROBLEMS IN PROGRAMMING
2023
|
| Subjects: | |
| Online Access: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/505 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Problems in programming |
| Download file: | |
Institution
Problems in programmingSimilar Items
-
Application of Petri component nets in the checking task of parallel distributed systems
by: Lukyanova, E.A.
Published: (2025) -
A method for business logic extraction from legacy COBOL code of industrial systems
by: Guba, A.A., et al.
Published: (2018) -
Increase the temporal efficiency of data structures in memory based on adaptation
by: Shinkarenko, V.I., et al.
Published: (2015) -
Partial evaluation in insertion modeling system
by: Peschanenko, V.S.
Published: (2025) -
Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
by: Parasiuk, I.N., et al.
Published: (2025)