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: | , , |
| 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)
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)
Keynote Speaker From weed killers and cannibals to viruses, prions, and Nobel prizes
by: Maramorosch, K.
Published: (2012)
by: Maramorosch, K.
Published: (2012)
Plenary Session Friday April 5, 2013
Published: (2013)
Published: (2013)
Materials of IX annual Conference of Young Scientist of the Institute of Molecular Biology and Genetics NASU
Published: (2015)
Published: (2015)
Poster Sessions
Published: (2013)
Published: (2013)
Plenary Session Saturday April 6, 2013
Published: (2013)
Published: (2013)
Video-based visualization of debugging process
by: Shynkarenko, V.I., et al.
Published: (2024)
by: Shynkarenko, V.I., et al.
Published: (2024)
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)
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)
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)
Special relations of logical consequence in logics of quasi-ary predicates
by: Shkilniak, S.S.
Published: (2025)
by: Shkilniak, S.S.
Published: (2025)
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)
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
by: Guba, A.A.
Published: (2025)
by: Guba, A.A.
Published: (2025)
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)
Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
by: Parasiuk, I.N., et al.
Published: (2025)
by: Parasiuk, I.N., et al.
Published: (2025)
DS-theory. Presentation of canonical algorithm by means of algorithmic language
by: Kolesnyk, V.G.
Published: (2017)
by: Kolesnyk, V.G.
Published: (2017)
Developing algorithms for automatic hypoxing test chasing from the single-channel electrocardiograms: a model experiment
by: Romanenko, T.M.
Published: (2024)
by: Romanenko, T.M.
Published: (2024)
T-satisfiability test problem for the VL1 logical language of the VRS system
by: Timofeev, V.G.
Published: (2015)
by: Timofeev, V.G.
Published: (2015)
The Code is based on random numbers with irregular distribution
by: Mikhersky, R.M.
Published: (2025)
by: Mikhersky, R.M.
Published: (2025)
Logical consequence relations in logics of monotone predicates and logics of antitone predicates
by: Shkilniak, O.S.
Published: (2018)
by: Shkilniak, O.S.
Published: (2018)
Logical consequence relations in logics of quasiary predicates
by: Shkilniak, O.S.
Published: (2018)
by: Shkilniak, O.S.
Published: (2018)
Algebraic patterns of binary code vulnerabilities
by: Yakovlev, V.M.
Published: (2020)
by: Yakovlev, V.M.
Published: (2020)
Cedars’s Scientists in RECOOP HST
Published: (2012)
Published: (2012)
The translator of Petri-object model visual programming language
by: Dyfuchyn, А.Yu.
Published: (2022)
by: Dyfuchyn, А.Yu.
Published: (2022)
Spectrum of sequential number pershopordinal compositional-nominative logics
by: Shkilnyak, S.S.
Published: (2025)
by: Shkilnyak, S.S.
Published: (2025)
First-order composition-nominative logics with generalized renominations
by: Nikitchenko, M.S., et al.
Published: (2025)
by: Nikitchenko, M.S., et al.
Published: (2025)
Instrumentariy creating business logic
by: Kozhaev, V. V.
Published: (2015)
by: Kozhaev, V. V.
Published: (2015)
Integration of Semantic WEB technologies with Business Intelligence 2.0 systems
by: Rogushina, J.V., et al.
Published: (2025)
by: Rogushina, J.V., et al.
Published: (2025)
Multiagent models based on fuzzy logic of the highest type for a high-performance environment
by: Parasyuk, I.N., et al.
Published: (2015)
by: Parasyuk, I.N., et al.
Published: (2015)
Descriptive logic using in Web-service problems
by: Zakharova, O.V.
Published: (2017)
by: Zakharova, O.V.
Published: (2017)
UAV application for geophysical research
by: Prystai, А., et al.
Published: (2017)
by: Prystai, А., et al.
Published: (2017)