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

Інформація × Реєстраційний номер 0111U007052, ( 0212U005319  0213U000603  0214U006981  0215U001862  0215U008366  ) Науково-дослідна робота Назва роботи Формальні специфікації та методи розробки надійних програмних систем Керівник роботи Нікітченко Микола Степанович, Доктор фізико-математичних наук Дата реєстрації 05-07-2011 Організація виконавець Київський національний університет імені Тараса Шевченка Опис роботи Експлікація семантичних структур мов специфікацій предметних областей та надійних програмних систем на репрезентативних прикладах: мова об'єктних обмежень OCL/UML, нотація формального методу розробки програмних систем Z-методу, нотація формального методу розробки програмних систем B-методу. Додано в НРАТ 2024-12-10 Закрити