Знайдено документів: 1
Інформація × Реєстраційний номер 0214U006981, 0111U007052 , Науково-дослідна робота Назва роботи Формальні специфікації та методи розробки надійних програмних систем. Назва етапу роботи Керівник роботи Нікітченко Микола Степанович, Доктор фізико-математичних наук Дата реєстрації 23-04-2014 Організація виконавець Київський національний університет імені Тараса Шевченка Опис етапу Проведено загальний аналіз класу модель-орієнтованих формальних методів специфікацій та розробки програмних систем. Задана змістовна семантика мов специфікацій програмних систем (нотацій) Z-методу, B-методу. Опис продукції Автори роботи Буй Дмитро Борисович Загорський Сергій Петрович Компан Сергей Владимирович Нікітченко Микола Степанович Поляков Сергій Анатолійович Сільвейструк Людмила Миколаївна Шишацька Олена Володимирівна Додано в НРАТ 2020-04-02 Закрити
НДДКР ОК
Формальні специфікації та методи розробки надійних програмних систем.
Керівник: Нікітченко Микола Степанович. Формальні специфікації та методи розробки надійних програмних систем.. (Етап: ). Київський національний університет імені Тараса Шевченка. № 0214U006981
Знайдено документів: 1

Оновлено: 2026-03-18


Роздрукувати цю сторінку