A method for business logic extraction from legacy COBOL code of industrial systems
The purpose of this work is to develop a software tool for analysis automation and simplifying of understanding of software systems behavior. Methods for translation, abstraction, debugging and test generation for COBOL are proposed. We developed a software system, which implements the methods.Probl...
Saved in:
| Date: | 2018 |
|---|---|
| Main Authors: | Guba, A.A., Kolchin, A.V., Potiyenko, S.V. |
| Format: | Article |
| Language: | Russian |
| Published: |
PROBLEMS IN PROGRAMMING
2018
|
| Subjects: | |
| Online Access: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/176 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Problems in programming |
| Download file: | |
Institution
Problems in programmingSimilar Items
Generation of multipurpose formal models from legacy code
by: Potiyenko, S.V., et al.
Published: (2023)
by: Potiyenko, S.V., et al.
Published: (2023)
A method for business logic extraction from legacy COBOL code of industrial systems
by: A. A. Guba, et al.
Published: (2016)
by: A. A. Guba, et al.
Published: (2016)
Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.V.
Published: (2018)
by: Kolchin, A.V.
Published: (2018)
Efficient increasing of the mutation score during model-based test suite generation
by: Kolchin, A., et al.
Published: (2020)
by: Kolchin, A., et al.
Published: (2020)
About the method of projecting abstract data type at the algebra of algorithmic
by: Doroshenko, A.Yu., et al.
Published: (2018)
by: Doroshenko, A.Yu., et al.
Published: (2018)
Increase the temporal efficiency of data structures in memory based on adaptation
by: Shinkarenko, V.I., et al.
Published: (2015)
by: Shinkarenko, V.I., et al.
Published: (2015)
Transformation of the legacy code on Fortran for scalability and cloud computing
by: Doroshenko, A.Yu., et al.
Published: (2018)
by: Doroshenko, A.Yu., et al.
Published: (2018)
Transformation of the legacy code on Fortran for scalability and cloud computing
by: Yu. Doroshenko, et al.
Published: (2016)
by: Yu. Doroshenko, et al.
Published: (2016)
Cedars’s Scientists in RECOOP HST
Published: (2012)
Published: (2012)
Video-based visualization of debugging process
by: Shynkarenko, V.I., et al.
Published: (2024)
by: Shynkarenko, V.I., et al.
Published: (2024)
An approach for software white box testing with genetic algorithm
by: Slabospickaya, O.A., et al.
Published: (2018)
by: Slabospickaya, O.A., et al.
Published: (2018)
Mother and Child Health
Published: (2012)
Published: (2012)
Abstracts Young Scientist Forum April 10
Published: (2010)
Published: (2010)
Nanobiotechnology and Cancer Research
Published: (2012)
Published: (2012)
On a problem of high-precision trajectory measurements by optical means
by: Putyatin, V. G., et al.
Published: (2017)
by: Putyatin, V. G., et al.
Published: (2017)
NanoBiotechnology and Cancer Research
Published: (2012)
Published: (2012)
Mother and Child Health
Published: (2012)
Published: (2012)
Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)
by: Kolchin, A.V., et al.
Published: (2015)
Research of dynamics of publications on informatics in abstract database «Ukrainika naukova»
by: Kryuchyn, A. A., et al.
Published: (2014)
by: Kryuchyn, A. A., et al.
Published: (2014)
Static method of consistency and completeness checking in formal model of distributed software systems
by: Kolchin, A.V., et al.
Published: (2025)
by: Kolchin, A.V., et al.
Published: (2025)
Radical theory in \(BCH\)-algebras
by: Dudek, Wieslaw A., et al.
Published: (2018)
by: Dudek, Wieslaw A., et al.
Published: (2018)
Computational and experimental investigations of flow parts PL20 for rehabilitation of hydraulic turbines of kremenchug hydro power plant
by: Линник, А. В., et al.
Published: (2016)
by: Линник, А. В., et al.
Published: (2016)
Computational and experimental investigations of flow parts PL20 for rehabilitation of hydraulic turbines of kremenchug hydro power plant
by: Линник, А. В., et al.
Published: (2016)
by: Линник, А. В., et al.
Published: (2016)
UAV application for geophysical research
by: Prystai, А., et al.
Published: (2017)
by: Prystai, А., et al.
Published: (2017)
Use of the "Library of Science Metrics" system for conducting science metric research
by: Ланде, Д. В., et al.
Published: (2023)
by: Ланде, Д. В., et al.
Published: (2023)
About a system approach to the development and ground tests of on-board automated naval complexes for detection and target designation
by: Dodonov, A. G., et al.
Published: (2017)
by: Dodonov, A. G., et al.
Published: (2017)
NETWORK OF INTERNET-CONTROLLED HF RECEIVERS FOR IONOSPHERIC RESEARCHES
by: Koloskov, A. V., et al.
Published: (2015)
by: Koloskov, A. V., et al.
Published: (2015)
Test rig of OJSC «Turboatom» for physical simulation of hydrodynamic process in water passages of model Kaplan hydroturbines
by: Линник, А. В., et al.
Published: (2014)
by: Линник, А. В., et al.
Published: (2014)
Test rig of OJSC «Turboatom» for physical simulation of hydrodynamic process in water passages of model Kaplan hydroturbines
by: Линник, А. В., et al.
Published: (2014)
by: Линник, А. В., et al.
Published: (2014)
THE EFFECT OF THE ACTIVE RESISTANCE OF THE PULSE TRANSFORMER WINDINGS ON THE PARAMETERS OF VOLTAGE PULSES GENERATED ON A CAPACITIVE LOAD
by: Gurin, A. G., et al.
Published: (2019)
by: Gurin, A. G., et al.
Published: (2019)
Донори Н2S у створенні інноваційних лікарських засобів
by: Kaminskyy, D. V., et al.
Published: (2017)
by: Kaminskyy, D. V., et al.
Published: (2017)
Formation of the subject domains network on the basis of the ArXiv
by: Lande, D. V., et al.
Published: (2018)
by: Lande, D. V., et al.
Published: (2018)
Scientometric analysis of co-word networks taken from publications of a scientific team
by: Lande, D. V., et al.
Published: (2017)
by: Lande, D. V., et al.
Published: (2017)
A method of test data generation from source code of Java programs
by: A. V. Kolchin, et al.
Published: (2016)
by: A. V. Kolchin, et al.
Published: (2016)
Translational Wave Impact on the Operation of the Dniester Pumped Storage Power Plant Upper Reservoir
by: Riabenko, Oleksandr A., et al.
Published: (2019)
by: Riabenko, Oleksandr A., et al.
Published: (2019)
Translational Wave Impact on the Operation of the Dniester Pumped Storage Power Plant Upper Reservoir
by: Riabenko, Oleksandr A., et al.
Published: (2019)
by: Riabenko, Oleksandr A., et al.
Published: (2019)
Elicitation of Possible Scientific Expert Groups at Co-Authorship Network Using Decision Support Methods
by: Gorbov, I. V., et al.
Published: (2013)
by: Gorbov, I. V., et al.
Published: (2013)
Mother and Child Health Oral Presentation
Published: (2011)
Published: (2011)
Cardiovascular Research Oral Presentation Senior Scientists’ Forum
Published: (2011)
Published: (2011)
Prediction of lifetime of data storage on optical disks
by: Petrov, V. V., et al.
Published: (2016)
by: Petrov, V. V., et al.
Published: (2016)
Similar Items
-
Generation of multipurpose formal models from legacy code
by: Potiyenko, S.V., et al.
Published: (2023) -
A method for business logic extraction from legacy COBOL code of industrial systems
by: A. A. Guba, et al.
Published: (2016) -
Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.V.
Published: (2018) -
Efficient increasing of the mutation score during model-based test suite generation
by: Kolchin, A., et al.
Published: (2020) -
About the method of projecting abstract data type at the algebra of algorithmic
by: Doroshenko, A.Yu., et al.
Published: (2018)