програми, программы, programms ; семантика, semantics ; логічний метод, логический метод

Рассматриваются вопросы анализа семантики программ в машинных кодах. Предлагается метод определения семантических особенностей программ путем построения их логических схем, формирования базы признаков и логического вывода с использованием базы знаний и правил

• http://libsearch.kture/ftplib/DM/Problemy_Bioniki/2004/60-004.DOC

Проблемы бионики [Текст] : всеукр. межвед. науч.-техн. сб. / МОН Украины, Харьк. техн. ун-т радиоэлектороники ; редкол. : М. Ф. Бондаренко (гл. ред.) и др. — Харьков : ХТУРЭ, 2000. — 137 с.

• УДК // МАТЕМАТИЧНА КІБЕРНЕТИКА