Студентські роботи

Підвищення ефективності програмних засобів автоматизованої верифікації результатів компіляції програмних проєктів критичних інформаційно-управляючих систем

Данилейко, А.С.

Розробка програмних інструментів підвищення ефективності застосування програмних засобів автоматизованої верифікації результатів компіляції програмних проєктів критичних ІУС. Для досягнення мети дипломної роботи поставлено такі завдання : - провести аналіз процесу верифікації програмних проєктів критичних інформаційно-управляючих систем, обґрунтувати необхідність процесу його автоматизації; - провести аналіз засобів автоматизації верифікації результатів компіляції платформи Radics; - розробити пропозиції щодо підвищення ефективності роботи засобів автоматизації верифікації результатів компіляції платформи Radics; - розробити програмну реалізацію щодо пропозицій і оцінити ефективність їх реалізації.

Українська

2021

проєкти критичних інформаційно-управляючих (ІУС) систем українських АЕС

Національний університет «Полтавська політехніка імені Юрія Кондратюка»

Данилейко А.С. Підвищення ефективності програмних засобів автоматизованої верифікації результатів компіляції програмних проєктів критичних інформаційно-управляючих систем : кваліф. робота на здобуття кваліфікації бакалавра зі спец. 123 «Комп’ютерна інженерія» / А.С. Данилейко. – Полтава: Нац. ун-т ім. Ю. Кондратюка, 2021. – 67 с.

004