Для решения образовательных, научных и практических проблем в области преобразований программ разработана концепция специализированного банка знаний о преобразованиях программ в рамках нового научного направления "Компьютерные банки знаний". Описан современный взгляд на существующие подсистемы потокового анализа программ (ПАП), после чего предложены метод ПАП в терминах онтологии знаний о ПАП и подсистема интерпретации методов ПАП в специализированном банке знаний о преобразованиях программ.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"