Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://reposit.nupp.edu.ua/handle/PoltNTU/10247Повний запис метаданих
| Поле DC | Значення | Мова |
|---|---|---|
| dc.contributor.author | Данилейко, А.С. | - |
| dc.date.accessioned | 2022-01-30T13:49:03Z | - |
| dc.date.available | 2022-01-30T13:49:03Z | - |
| dc.date.issued | 2021 | - |
| dc.identifier.uri | http://reposit.nupp.edu.ua/handle/PoltNTU/10247 | - |
| dc.description | Данилейко А.С. Підвищення ефективності програмних засобів автоматизованої верифікації результатів компіляції програмних проєктів критичних інформаційно-управляючих систем : кваліф. робота на здобуття кваліфікації бакалавра зі спец. 123 «Комп’ютерна інженерія» / А.С. Данилейко. – Полтава: Нац. ун-т ім. Ю. Кондратюка, 2021. – 67 с. | uk_UA |
| dc.description.abstract | Розробка програмних інструментів підвищення ефективності застосування програмних засобів автоматизованої верифікації результатів компіляції програмних проєктів критичних ІУС. Для досягнення мети дипломної роботи поставлено такі завдання : - провести аналіз процесу верифікації програмних проєктів критичних інформаційно-управляючих систем, обґрунтувати необхідність процесу його автоматизації; - провести аналіз засобів автоматизації верифікації результатів компіляції платформи Radics; - розробити пропозиції щодо підвищення ефективності роботи засобів автоматизації верифікації результатів компіляції платформи Radics; - розробити програмну реалізацію щодо пропозицій і оцінити ефективність їх реалізації. | uk_UA |
| dc.language.iso | uk | uk_UA |
| dc.publisher | Національний університет «Полтавська політехніка імені Юрія Кондратюка» | uk_UA |
| dc.subject | проєкти критичних інформаційно-управляючих (ІУС) систем українських АЕС | uk_UA |
| dc.subject | програмні засоби | uk_UA |
| dc.subject | автоматизація АЕС | uk_UA |
| dc.subject | оцінка ефективності | uk_UA |
| dc.title | Підвищення ефективності програмних засобів автоматизованої верифікації результатів компіляції програмних проєктів критичних інформаційно-управляючих систем | uk_UA |
| dc.type | Студентські роботи | uk_UA |
| dc.identifier.udc | 004 | - |
| Розташовується у зібраннях: | Кваліфікаційні роботи здобувачів вищої освіти (бакалавр) 123 Комп'ютерна інженерія | |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| 402-ТК Данилейко.docx | Студентські роботи | 1.79 MB | Microsoft Word XML | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.