Пошук академічних текстів

Інформація × Реєстраційний номер 0223U003937, 0122U001568 , Науково-дослідна робота Назва роботи Композитологічні засади технологічних систем програмування Назва етапу роботи Керівник роботи Редько Ігор Володимирович, Доктор фізико-математичних наукЯганов Петро Олексійович, Кандидат технічних наук Дата реєстрації 27-07-2023 Організація виконавець Національний технічний університет України "Київський політехнічний інститут імені Ігоря Сікорського" Опис етапу  В роботі досліджена та обґрунтована необхідність парадигмальних змін у технологічних основах програмування, переходу від індивідносуб’єктивної парадигми програмування до інтерсуб’єктивної. Програмування розглянуто у контексті осучаснення його розуміння як діяльність, що обумовлена програмним уподібненням, суб’єктоорієнтованим взаємодоповненням його активної та пасивної форм. Об'єктивізація активно-пасивного взаємодоповнення є основною передумовою реального осучаснення розуміння програмування як рефлексивно-транзитивного замикання породжуваного суб'єктом програмного уподібнення. Інструмент логіко-математичних специфікацій семантико-синтаксичних аспектів програмування апробовано на прикладах, продемонстровано загальні особливості застосування технологічного середовища програмування до породження суб’єктоорієнтованих технологічних систем програмування та їх використання. Показано, що застосування продуктивного редукційного програмування має ключову роль у технологізації програмування. Використання останнього дозволяє зменшити складність процесу розробки програмного продукту та збільшити продуктивність програміста. Крім того, редукційне програмування може бути використане для оптимізації коду та покращення його читабельності, що є прикладом технологізації програмування та покращенні якості програмного продукту. Запропоновано нову парадигму програмування, що передбачає активну участь суб'єкта програмування, який розглядає програмування як діяльність, що визначається програмою. Семантика програмного продукту та його синтаксична нотація обумовлюються концептом редукції та мовою програмування, яку обирає суб'єкт програмування. Таким чином, активізація ролі суб’єкта програмування покращує процес розробки та якість програмного продукту. Показано, що концепти програмування можуть бути використані як семантичні шаблони у програмному ланцюгу для побудови певних класів програм. Опис продукції Автори роботи Зилевіч Максим Олегович Додано в НРАТ 2023-07-27 Закрити