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...
Збережено в:
| Дата: | 2018 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2018
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/176 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |
Репозитарії
Problems in programmingСхожі ресурси
Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)
A method for business logic extraction from legacy COBOL code of industrial systems
за авторством: A. A. Guba, та інші
Опубліковано: (2016)
за авторством: A. A. Guba, та інші
Опубліковано: (2016)
Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)
за авторством: Kolchin, A.V.
Опубліковано: (2018)
Efficient increasing of the mutation score during model-based test suite generation
за авторством: Kolchin, A., та інші
Опубліковано: (2020)
за авторством: Kolchin, A., та інші
Опубліковано: (2020)
Increase the temporal efficiency of data structures in memory based on adaptation
за авторством: Shinkarenko, V.I., та інші
Опубліковано: (2015)
за авторством: Shinkarenko, V.I., та інші
Опубліковано: (2015)
Keynote Speaker From weed killers and cannibals to viruses, prions, and Nobel prizes
за авторством: Maramorosch, K.
Опубліковано: (2012)
за авторством: Maramorosch, K.
Опубліковано: (2012)
Plenary Session Friday April 5, 2013
Опубліковано: (2013)
Опубліковано: (2013)
Materials of IX annual Conference of Young Scientist of the Institute of Molecular Biology and Genetics NASU
Опубліковано: (2015)
Опубліковано: (2015)
Poster Sessions
Опубліковано: (2013)
Опубліковано: (2013)
Plenary Session Saturday April 6, 2013
Опубліковано: (2013)
Опубліковано: (2013)
Video-based visualization of debugging process
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)
Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
Transformation of the legacy code on Fortran for scalability and cloud computing
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2018)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2018)
Transformation of the legacy code on Fortran for scalability and cloud computing
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2016)
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2016)
An approach for software white box testing with genetic algorithm
за авторством: Slabospickaya, O.A., та інші
Опубліковано: (2018)
за авторством: Slabospickaya, O.A., та інші
Опубліковано: (2018)
Special relations of logical consequence in logics of quasi-ary predicates
за авторством: Shkilniak, S.S.
Опубліковано: (2025)
за авторством: Shkilniak, S.S.
Опубліковано: (2025)
On a problem of high-precision trajectory measurements by optical means
за авторством: Putyatin, V. G., та інші
Опубліковано: (2017)
за авторством: Putyatin, V. G., та інші
Опубліковано: (2017)
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2025)
за авторством: Guba, A.A.
Опубліковано: (2025)
About the method of projecting abstract data type at the algebra of algorithmic
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2018)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2018)
Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
за авторством: Parasiuk, I.N., та інші
Опубліковано: (2025)
за авторством: Parasiuk, I.N., та інші
Опубліковано: (2025)
DS-theory. Presentation of canonical algorithm by means of algorithmic language
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)
Developing algorithms for automatic hypoxing test chasing from the single-channel electrocardiograms: a model experiment
за авторством: Romanenko, T.M.
Опубліковано: (2024)
за авторством: Romanenko, T.M.
Опубліковано: (2024)
T-satisfiability test problem for the VL1 logical language of the VRS system
за авторством: Timofeev, V.G.
Опубліковано: (2015)
за авторством: Timofeev, V.G.
Опубліковано: (2015)
The Code is based on random numbers with irregular distribution
за авторством: Mikhersky, R.M.
Опубліковано: (2025)
за авторством: Mikhersky, R.M.
Опубліковано: (2025)
Logical consequence relations in logics of monotone predicates and logics of antitone predicates
за авторством: Shkilniak, O.S.
Опубліковано: (2018)
за авторством: Shkilniak, O.S.
Опубліковано: (2018)
Logical consequence relations in logics of quasiary predicates
за авторством: Shkilniak, O.S.
Опубліковано: (2018)
за авторством: Shkilniak, O.S.
Опубліковано: (2018)
Algebraic patterns of binary code vulnerabilities
за авторством: Yakovlev, V.M.
Опубліковано: (2020)
за авторством: Yakovlev, V.M.
Опубліковано: (2020)
Cedars’s Scientists in RECOOP HST
Опубліковано: (2012)
Опубліковано: (2012)
The translator of Petri-object model visual programming language
за авторством: Dyfuchyn, А.Yu.
Опубліковано: (2022)
за авторством: Dyfuchyn, А.Yu.
Опубліковано: (2022)
Spectrum of sequential number pershopordinal compositional-nominative logics
за авторством: Shkilnyak, S.S.
Опубліковано: (2025)
за авторством: Shkilnyak, S.S.
Опубліковано: (2025)
First-order composition-nominative logics with generalized renominations
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2025)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2025)
Instrumentariy creating business logic
за авторством: Kozhaev, V. V.
Опубліковано: (2015)
за авторством: Kozhaev, V. V.
Опубліковано: (2015)
Integration of Semantic WEB technologies with Business Intelligence 2.0 systems
за авторством: Rogushina, J.V., та інші
Опубліковано: (2025)
за авторством: Rogushina, J.V., та інші
Опубліковано: (2025)
Multiagent models based on fuzzy logic of the highest type for a high-performance environment
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)
Descriptive logic using in Web-service problems
за авторством: Zakharova, O.V.
Опубліковано: (2017)
за авторством: Zakharova, O.V.
Опубліковано: (2017)
UAV application for geophysical research
за авторством: Prystai, А., та інші
Опубліковано: (2017)
за авторством: Prystai, А., та інші
Опубліковано: (2017)