Знайдено документів: 1
Інформація × Реєстраційний номер 0108U002463, Науково-дослідна робота Назва роботи Формальні специфікації програмних систем Керівник роботи Редько Володимир Никифорович, Дата реєстрації 27-05-2008 Організація виконавець Київський національний університет імені Тараса Шевченка Опис роботи Розробка адекватних логіко-математичних формалізмів для задання семантики мов специфікації предметних областей. Зокрема, побудова та дослідження композиційно-номінативної семантики репрезентативного фрагменту мови OCL. Додано в НРАТ 2024-12-10 Закрити
НДДКР РК
Формальні специфікації програмних систем
Керівник: Редько Володимир Никифорович. Формальні специфікації програмних систем. Київський національний університет імені Тараса Шевченка. № 0108U002463
Знайдено документів: 1

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


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