Супроводження контролю відповідності програм і моделей формальним специфікаціям задач

Пустоваров, В. І.


	Наукова періодика України		Information, computing and intelligent systems

Пустоваров В. І.
Супроводження контролю відповідності програм і моделей формальним специфікаціям задач / В. І. Пустоваров // Вісник Національного технічного університету України "КПІ". Іформатика, управління та обчислювальна техніка. - 2007. - Вип. 47. - С. 271-281. - Режим доступу: http://nbuv.gov.ua/UJRN/Vkpi_iuot_2007_47_31

Запропоновано механізми автоматизації доказового об'єктно-орієнтованого програмування задач за специфікаціями на базі контролю семантичної коректності взаємних перетворень кодів програм і специфікацій. Через ці механізми обгрунтовано використання аналітичного типу даних, який можна вбудувати до мов і систем програмування. Запропонований підхід дозволяє автоматизувати доказові перетворення кодів і специфікацій у системах автоматизації програмування та моделювання для задач формальної верифікації та синтезу кодів.

Повний текст PDF - 269.471 Kb

Зміст випуску Google Scholar

Цитування публікації

Цитованість авторів публікації:

Пустоваров В.

Бібліографічний опис для цитування:

Пустоваров В. І. Супроводження контролю відповідності програм і моделей формальним специфікаціям задач / В. І. Пустоваров // Вісник Національного технічного університету України "КПІ". Іформатика, управління та обчислювальна техніка. - 2007. - Вип. 47. - С. 271-281. - Режим доступу: http://nbuv.gov.ua/UJRN/Vkpi_iuot_2007_47_31.

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

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача