Kolchin, A.V., Glushkov Institute of Cybernetics NAS of Ukraine
-
No 2-3 (2012) - Formal methods of programming
Optimization of checking the feasibility of transitions when verifying formal models
Abstract PDF (Українська) -
No 4 (2012) - Formal methods of software development
Survey on modern tools and methods of formal models verification
Abstract PDF (Русский) -
No 2-3 (2016) - Theory and Methodology of Programming
A method for business logic extraction from legacy COBOL code of industrial systems
Abstract PDF (Русский) -
No 2-3 (2018) - Methods and facilities of software engineering
Interactive method for cumulative analysis of software formal models behavior
Abstract PDF -
No 3-4 (2022) - Theory and Methodology of Programming
Generation of multipurpose formal models from legacy code
Abstract PDF (Українська)