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