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 |
|---|---|
| Автори: | Guba, A.A., Kolchin, A.V., Potiyenko, S.V. |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2018
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/176 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: | |
Репозитарії
Problems in programmingСхожі ресурси
A method for business logic extraction from legacy COBOL code of industrial systems
за авторством: A. A. Guba, та інші
Опубліковано: (2016)
за авторством: A. A. Guba, та інші
Опубліковано: (2016)
Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)
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)
Keynote Speaker From weed killers and cannibals to viruses, prions, and Nobel prizes
за авторством: Maramorosch, K.
Опубліковано: (2012)
за авторством: Maramorosch, K.
Опубліковано: (2012)
Materials of IX annual Conference of Young Scientist of the Institute of Molecular Biology and Genetics NASU
Опубліковано: (2015)
Опубліковано: (2015)
Plenary Session Friday April 5, 2013
Опубліковано: (2013)
Опубліковано: (2013)
Poster Sessions
Опубліковано: (2013)
Опубліковано: (2013)
Plenary Session Saturday April 6, 2013
Опубліковано: (2013)
Опубліковано: (2013)
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)
Increase the temporal efficiency of data structures in memory based on adaptation
за авторством: Shinkarenko, V.I., та інші
Опубліковано: (2015)
за авторством: Shinkarenko, V.I., та інші
Опубліковано: (2015)
About the method of projecting abstract data type at the algebra of algorithmic
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2018)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2018)
On a problem of high-precision trajectory measurements by optical means
за авторством: Putyatin, V. G., та інші
Опубліковано: (2017)
за авторством: Putyatin, V. G., та інші
Опубліковано: (2017)
Cedars’s Scientists in RECOOP HST
Опубліковано: (2012)
Опубліковано: (2012)
Video-based visualization of debugging process
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)
Instrumentariy creating business logic
за авторством: Kozhaev, V. V.
Опубліковано: (2015)
за авторством: Kozhaev, V. V.
Опубліковано: (2015)
Nanobiotechnology and Cancer Research
Опубліковано: (2012)
Опубліковано: (2012)
Abstracts for RECOOP Multidisciplinary Conference April 9
Опубліковано: (2010)
Опубліковано: (2010)
Women’s Health and Cardiovascular Diseases
Опубліковано: (2012)
Опубліковано: (2012)
Mother and Child Health
Опубліковано: (2012)
Опубліковано: (2012)
Abstracts Young Scientist Forum April 10
Опубліковано: (2010)
Опубліковано: (2010)
Translational Research and Drug Development
Опубліковано: (2012)
Опубліковано: (2012)
UAV application for geophysical research
за авторством: Prystai, А., та інші
Опубліковано: (2017)
за авторством: Prystai, А., та інші
Опубліковано: (2017)
Small Business development in the applicable tax code
за авторством: L. І. Novik, та інші
Опубліковано: (2014)
за авторством: L. І. Novik, та інші
Опубліковано: (2014)
Computational and experimental investigations of flow parts PL20 for rehabilitation of hydraulic turbines of kremenchug hydro power plant
за авторством: Линник, А. В., та інші
Опубліковано: (2016)
за авторством: Линник, А. В., та інші
Опубліковано: (2016)
Computational and experimental investigations of flow parts PL20 for rehabilitation of hydraulic turbines of kremenchug hydro power plant
за авторством: Линник, А. В., та інші
Опубліковано: (2016)
за авторством: Линник, А. В., та інші
Опубліковано: (2016)
About a system approach to the development and ground tests of on-board automated naval complexes for detection and target designation
за авторством: Dodonov, A. G., та інші
Опубліковано: (2017)
за авторством: Dodonov, A. G., та інші
Опубліковано: (2017)
Test rig of OJSC «Turboatom» for physical simulation of hydrodynamic process in water passages of model Kaplan hydroturbines
за авторством: Линник, А. В., та інші
Опубліковано: (2014)
за авторством: Линник, А. В., та інші
Опубліковано: (2014)
Test rig of OJSC «Turboatom» for physical simulation of hydrodynamic process in water passages of model Kaplan hydroturbines
за авторством: Линник, А. В., та інші
Опубліковано: (2014)
за авторством: Линник, А. В., та інші
Опубліковано: (2014)
Mother and Child Health
Опубліковано: (2012)
Опубліковано: (2012)
Translational Research and Drug Development
Опубліковано: (2012)
Опубліковано: (2012)
Women’s Health and Cardiovascular Diseases
Опубліковано: (2012)
Опубліковано: (2012)
NanoBiotechnology and Cancer Research
Опубліковано: (2012)
Опубліковано: (2012)
A method of test data generation from source code of Java programs
за авторством: A. V. Kolchin, та інші
Опубліковано: (2016)
за авторством: A. V. Kolchin, та інші
Опубліковано: (2016)
THE EFFECT OF THE ACTIVE RESISTANCE OF THE PULSE TRANSFORMER WINDINGS ON THE PARAMETERS OF VOLTAGE PULSES GENERATED ON A CAPACITIVE LOAD
за авторством: Gurin, A. G., та інші
Опубліковано: (2019)
за авторством: Gurin, A. G., та інші
Опубліковано: (2019)
Radical theory in \(BCH\)-algebras
за авторством: Dudek, Wieslaw A., та інші
Опубліковано: (2018)
за авторством: Dudek, Wieslaw A., та інші
Опубліковано: (2018)
Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
Research of dynamics of publications on informatics in abstract database «Ukrainika naukova»
за авторством: Kryuchyn, A. A., та інші
Опубліковано: (2014)
за авторством: Kryuchyn, A. A., та інші
Опубліковано: (2014)
Схожі ресурси
-
A method for business logic extraction from legacy COBOL code of industrial systems
за авторством: A. A. Guba, та інші
Опубліковано: (2016) -
Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023) -
Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018) -
Efficient increasing of the mutation score during model-based test suite generation
за авторством: Kolchin, A., та інші
Опубліковано: (2020) -
Keynote Speaker From weed killers and cannibals to viruses, prions, and Nobel prizes
за авторством: Maramorosch, K.
Опубліковано: (2012)