Cover Image

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...

Full description

Saved in:

Bibliographic Details
Date:	2018
Main Authors:	Guba, A.A., Kolchin, A.V., Potiyenko, S.V.
Format:	Article
Language:	Russian
Published:	PROBLEMS IN PROGRAMMING 2018
Subjects:	translation Cobol modeling abstraction test generation debugging UDC 004.416
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 programming

Similar Items

A method for business logic extraction from legacy COBOL code of industrial systems
by: A. A. Guba, et al.
Published: (2016)

Generation of multipurpose formal models from legacy code
by: Potiyenko, S.V., et al.
Published: (2023)

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)

Keynote Speaker From weed killers and cannibals to viruses, prions, and Nobel prizes
by: Maramorosch, K.
Published: (2012)

Materials of IX annual Conference of Young Scientist of the Institute of Molecular Biology and Genetics NASU
Published: (2015)

Plenary Session Friday April 5, 2013
Published: (2013)

Poster Sessions
Published: (2013)

Plenary Session Saturday April 6, 2013
Published: (2013)

Transformation of the legacy code on Fortran for scalability and cloud computing
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)

An approach for software white box testing with genetic algorithm
by: Slabospickaya, O.A., et al.
Published: (2018)

Increase the temporal efficiency of data structures in memory based on adaptation
by: Shinkarenko, V.I., et al.
Published: (2015)

About the method of projecting abstract data type at the algebra of algorithmic
by: Doroshenko, A.Yu., et al.
Published: (2018)

On a problem of high-precision trajectory measurements by optical means
by: Putyatin, V. G., et al.
Published: (2017)

Cedars’s Scientists in RECOOP HST
Published: (2012)

Video-based visualization of debugging process
by: Shynkarenko, V.I., et al.
Published: (2024)

Instrumentariy creating business logic
by: Kozhaev, V. V.
Published: (2015)

Nanobiotechnology and Cancer Research
Published: (2012)

Abstracts for RECOOP Multidisciplinary Conference April 9
Published: (2010)

Women’s Health and Cardiovascular Diseases
Published: (2012)

Mother and Child Health
Published: (2012)

Abstracts Young Scientist Forum April 10
Published: (2010)

Translational Research and Drug Development
Published: (2012)

UAV application for geophysical research
by: Prystai, А., et al.
Published: (2017)

Computational and experimental investigations of flow parts PL20 for rehabilitation of hydraulic turbines of kremenchug hydro power plant
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)

Small Business development in the applicable tax code
by: L. І. Novik, et al.
Published: (2014)

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)

Test rig of OJSC «Turboatom» for physical simulation of hydrodynamic process in water passages of model Kaplan hydroturbines
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)

Mother and Child Health
Published: (2012)

Translational Research and Drug Development
Published: (2012)

Women’s Health and Cardiovascular Diseases
Published: (2012)

NanoBiotechnology and Cancer Research
Published: (2012)

A method of test data generation from source code of Java programs
by: A. V. Kolchin, et al.
Published: (2016)

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)

Radical theory in \(BCH\)-algebras
by: Dudek, Wieslaw A., et al.
Published: (2018)

Static method of consistency and completeness checking in formal model of distributed software systems
by: Kolchin, A.V., et al.
Published: (2025)

Research of dynamics of publications on informatics in abstract database «Ukrainika naukova»
by: Kryuchyn, A. A., et al.
Published: (2014)