Author Details
Guba, A.A., Glushkov Institute of Cybernetics NAS of Ukraine
-
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 (2014) - Methods and facilities of software engineering
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
Abstract
PDF
-
No 2 (2013) - Formal methods of software development
Deductive verification of requirements for event-driven architecture
Abstract
PDF
