constructive-synthesizing modeling конструктивно-продукційне моделювання 2 UDC 004.9 1 UDC 510+004.4 1 algorithm 1 constructor 1 debugging 1 education 1 formal grammar 1 formalization 1 software 1 software engineering 1 video 1 visualization 1 УДК 004.9 1 УДК 510+004.4 1 алгоритм 1 відео 1 візуалізація 1 конструктор 1 навчання 1 налагодження 1 програмне забезпечення 1 формальна граматика 1 формалізація 1 інженерія програмного забезпечення 1