Пустоваров В. І. Супроводження контролю відповідності програм і моделей формальним специфікаціям задач / В. І. Пустоваров // Вісн. Нац. техн. ун-ту України "КПІ". - 2007. - Вип. 47. - С. 269-279. - Бібліогр.: 7 назв. - укp.
Запропоновано механізми автоматизації доказового об'єктно-орієнтованого програмування задач за специфікаціями на базі контролю семантичної коректності взаємних перетворень кодів програм і специфікацій. Через ці механізми обгрунтовано використання аналітичного типу даних, який можна вбудувати до мов і систем програмування. Запропонований підхід дозволяє автоматизувати доказові перетворення кодів і специфікацій у системах автоматизації програмування та моделювання для задач формальної верифікації та синтезу кодів.
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"