Пошук академічних текстів

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