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

Інформація × Реєстраційний номер 0211U005837, 0111U004836 , Науково-дослідна робота Назва роботи Інтегрований підхід до аналізу та верифікації специфікацій телекомунікаційних програмних засобів для однопроцесорних та багатопроцесорних систем. Назва етапу роботи Керівник роботи Летичевський Олександр Адольфович, Дата реєстрації 23-12-2011 Організація виконавець Інститут кібернетики ім. В.М.Глушкова НАН України Опис етапу На основі розроблених інсерційних моделей вимог та специфікацій для багаторівневих протоколів та програм створено дедуктивні алгоритми верифікації специфікацій вимог до програмного забезпечення реактивних систем. Опис продукції Розроблено інсерційні моделі вимог та специфікацій для багаторівневих протоколів та програм; на основі цих моделей створено дедуктивні алгоритми верифікації специфікацій вимог до програмного забезпечення реактивних систем. Запропоновані алгоритми верифікації специфікацій вимог до програмних систем розроблено на базі інсерційного моделювання - оригінального підходу до моделювання складних розподілених систем, що базується на теорії взаємодії агентів та середовищ. Автори роботи Годлевський Олександр Богуславович Довбиш Валентина Яківна Летичевський Олександр Олександрович Мороховець Марина Костянтинівна Потієнко Степан Валерійович Феліжанко Ольга Дмитрівна Щоголева Наталя Миколаївна Додано в НРАТ 2020-04-02 Закрити