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

Інформація × Реєстраційний номер 0215U004851, 0114U001640 , Науково-дослідна робота Назва роботи Когнітивна архітектура для розуміння програмних систем Назва етапу роботи Керівник роботи Летичевський Олександр Адольфович, Дата реєстрації 10-12-2015 Організація виконавець Інститут кібернетики ім. В.М.Глушкова НАН України Опис етапу На основі інсерційного моделювання створено когнітивну багатошарову архітектуру ICAR, розроблено та досліджено спеціалізацію когнітивної інсерційної машини, що підтримує метод Флойда доведення анотацій програм. Створено методи символьного моделювання для розв'язання задач верифікації вимог та генерації тестових сценаріїв. Обгрунтовано формальну семантику мови UCM та створено алгоритми для інсерційного моделювання формальних UCM моделей. Реалізовано прототип універсального комп'ютерного інтелектуального помічника для програмістів для роботи над верифікацією та тестуванням програмних компонентів, які представляють собою мультиагентні розподілені системи Опис продукції Розроблено та досліджено спеціалізацію когнітивної інсерційної машини, що підтримує метод Флойда доведення анотацій програм; інсерційну когнітивну архітектуру ICAR; методи символьного моделювання для розв'язання задач верифікації вимог та генерації тестових сценаріїв; формальну семантику мови UCM та алгоритми для інсерційного моделювання формальних UCM моделей; реалізовано прототип універсального комп'ютерного інтелектуального помічника для програмістів для роботи над верифікацією та тестуванням програмних компонентів, які представляють собою мультиагентні розподілені системи. Автори роботи Волков Владислав Анатолійович Годлевський Олександр Богуславович Губа Антон Андрійович Довбиш Валентина Яківна Колбасін Микола Іванович Колчин Олександр Валентинович Летичевський Олександр Адольфович Летичевський Олександр Олесандрович Ляскало Леся Євгенівна Мороховець Марина Костянтинівна Потієнко Степан Валерійович Феліжанко Ольга Дмитрівна Щоголева Наталя Миколаївна Яковлев Віктор Михайлович Додано в НРАТ 2020-04-02 Закрити