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