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

Інформація × Реєстраційний номер 0219U003334, 0118U001278 , Науково-дослідна робота Назва роботи Розробка спеціалізованих комп'ютерних технологій електронних довірчих послуг Назва етапу роботи Керівник роботи Мелащенко Андрій Олегович, Дата реєстрації 01-02-2019 Організація виконавець Інститут кібернетики ім. В.М.Глушкова НАН України Опис етапу Проведено дослідження міжнародних та європейських стандартів, а також застосовано програмне забезпечення для формалізації процесу верифікації відповідності програмних засобів вимогам стандартів. Розроблено прототип програмної системи "Валідація", яка імплементує розроблені моделі і методи. Опис продукції В роботі досліджено міжнародні та європейські стандарти, а також застосовано програмне забезпечення для формалізації процесу верифікації відповідності програмних засобів вимогам стандартів Автори роботи Гречко А.В. Додано в НРАТ 2020-04-02 Закрити