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

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


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