«Формальные методы спецификации и контроля качества требований к реактивным системам, основанные на паттернах»
КОЛЛОКВИУМ ФАКУЛЬТЕТА МАТЕМАТИКИ И КОМПЬЮТЕРНЫХ НАУК
Ауд. 201, Факультет математики и компьютерных наук (14-я линия В. О., 29) + Zoom 675-315-555
чт. 21 сентября 17:15
Наталья Олеговна Гаранина
В докладе будут освещены методы задания и анализа требований к реактивным системам, а именно событийно-темпоральный паттерн спецификации, методы представления формальной семантики паттерна, проверка непротиворечивости набора требований, семантическая классификация требований и контролируемый естественный язык для задания требований.
