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

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


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