Potiyenko, S.V., Glushkov Institute of Cybernetics NAS of Ukraine
-
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 3-4 (2022) - Theory and Methodology of Programming
Generation of multipurpose formal models from legacy code
Abstract PDF (Українська)