Доповідь професора Шкарупила В.В. на пленарному засіданні Міжнародної наукової конференції в НУ «Запорізька політехніка»

20 жовтня 2026 р. д.т.н., професор Шкарупило В.В. виступив із доповіддю на тему «Стратифікований підхід до варіювання рівня деталізації формальних специфікацій програмно-алгоритмічної складової комп’ютерних систем» на пленарному засіданні XІІІ Міжнародної науково-практичної конференції «Сучасні проблеми і досягнення в галузі радіотехніки, телекомунікацій та інформаційних технологій» (20-22 жовтня 2026 р., м. Запоріжжя): https://zp.edu.ua/science/conferences/year-2026/xiii-mizhnarodna-naukovo-praktychna-konferentsiia-suchasni-problemy-i-dosiahnennia-v-haluzi-radiotekhniky-telekomunikatsij-ta-informatsijnykh-tekhnolohij/.

Шкарупилом В.В. було висвітлено власні здобутки за результатами проведеної науково-дослідної роботи у частині залучення формальних методів і засобів у якості засобів зниження небажаного впливу людського фактору на несуперечливість артефактів процесу розроблення програмно-алгоритмічного забезпечення систем критично призначення, застосовуваних, у тому числі, при вирішенні актуальних науково-технічних задач енергетики (https://www.facebook.com/nuzaporizkapolitekhnika/posts/pfbid021uBskMms3k2ng4GgxSqFmHWzXgkmLMNkVLDp4XMMcJ8eyoduUQQhJoTrardquLTFl).

На заході були залучені, у тому числі, представники роботодавців – компанії Freshcode (https://www.freshcodeit.com/).