translation трансляція 2 Cobol 1 UDC 004.414.23+004.416.6+004.4’414+004.4’418 1 UDC 004.416 1 abstraction 1 debugging 1 formal model 1 legacy systems 1 modeling 1 test generation 1 Кобол 1 УДК 004.414.23+004.416.6+004.4’414+004.4’418 1 УДК 004.416 1 абстракция 1 абстракція 1 відлагодження 1 генерация тестов 1 генерація тестів 1 моделирование 1 моделювання 1 отладка 1 трансляция 1 успадковані системи 1 формальна модель 1