СПбГУ | Факультет математики и компьютерных наук » «Формальные методы спецификации и контроля качества требований к реактивным системам, основанные на паттернах»

Новости

15.09.2023

$«Формальные методы спецификации и контроля качества требований к реактивным системам, основанные на паттернах»$

«Формальные методы спецификации и контроля качества требований к реактивным системам, основанные на паттернах»

КОЛЛОКВИУМ ФАКУЛЬТЕТА МАТЕМАТИКИ И КОМПЬЮТЕРНЫХ НАУК

Ауд. 201, Факультет математики и компьютерных наук (14-я линия В. О., 29) + Zoom 675-315-555
чт. 21 сентября 17:15

Наталья Олеговна Гаранина

В докладе будут освещены методы задания и анализа требований к реактивным системам, а именно событийно-темпоральный паттерн спецификации, методы представления формальной семантики паттерна, проверка непротиворечивости набора требований, семантическая классификация требований и контролируемый естественный язык для задания требований.

Другие новости

23.04.2024

Результаты Колмогоровской олимпиады 2024

12.04.2024

Весенняя проектная школа по системному программированию

12.04.2024

«Фреймы в банаховом пространстве»

09.04.2024

Летняя школа в Дубне 2024

13.12.2023

Объявлены сто лучших российских молодых математиков года

05.12.2023

Результаты конкурса Мёбиуса 2023