Знайдено документів: 1
Інформація × Реєстраційний номер 0212U005319, 0111U007052 , Науково-дослідна робота Назва роботи Формальні специфікації та методи розробки надійних програмних систем. Назва етапу роботи Керівник роботи Нікітченко Микола Степанович, Доктор фізико-математичних наук Дата реєстрації 20-06-2012 Організація виконавець Київський національний університет імені Тараса Шевченка Опис етапу Здійснено огляд сучасних формальних мов специфікацій програмних систем та формальних методів розробки програмних систем; задана змістовна семантика мови обмежень UML/OCL. Опис продукції Автори роботи Буй Дмитро Борисович Загорський Сергій Петрович Нікітченко Микола Степанович Парфірова Тетяна Сергіївна Поляков Сергій Анатолійович Сільвейструк Людмила Миколаївна Шишацька Олена Володимирівна Додано в НРАТ 2020-04-02 Закрити
НДДКР ОК
Формальні специфікації та методи розробки надійних програмних систем.
Керівник: Нікітченко Микола Степанович. Формальні специфікації та методи розробки надійних програмних систем.. (Етап: ). Київський національний університет імені Тараса Шевченка. № 0212U005319
Знайдено документів: 1

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


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