debugging Cobol 1 UDC 004.416 1 UDC 004.9 1 abstraction 1 constructive-synthesizing modeling 1 education 1 modeling 1 software engineering 1 test generation 1 translation 1 video 1 visualization 1 Кобол 1 УДК 004.416 1 УДК 004.9 1 абстракция 1 абстракція 1 відео 1 відлагодження 1 візуалізація 1 генерация тестов 1 генерація тестів 1 конструктивно-продукційне моделювання 1 моделирование 1 моделювання 1 навчання 1 налагодження 1 отладка 1 трансляция 1