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

Інформація × Реєстраційний номер 0218U002522, 0113U000072 , Науково-дослідна робота Назва роботи Розробити нові методи та засоби ефективної верифікації та розробки складних інформаційних систем на основі символьного інсерційного моделювання, дедуктивних методів та методів штучного інтелекту Назва етапу роботи Керівник роботи Летичевський Олександр Адольфович, Дата реєстрації 03-04-2018 Організація виконавець Інститут кібернетики ім.В.М.Глушкова НАН України Опис етапу 1. Розроблено метод аналізу та модельного тестування складних інформаційних систем та засоби його програмної підтримки. Опис продукції Розроблено метод аналізу та модельного тестування складних інформаційних систем та засоби його програмної підтримки. Метод реалізовано у відповідному програмному прототипі. Розроблені засоби аналізу програмних систем дають змогу будувати моделі програм, поданих мовами С, Кобол та можуть бути застосовані до програмного коду мовами VBA, Java, C#. Засоби модельного тестування призначені для виявлення похибок та помилок у проектах на ранніх етапах створення. Автори роботи Летичевський Олександр Олександрович Мороховець Марина Костянтинівна Додано в НРАТ 2020-04-02 Закрити