25976

Автор(ы): 
Калянов Г. Н. (ИПУ РАН, Лаборатория 49)
Автор(ов): 

1

Параметры публикации
Тип публикации: 
Пленарный доклад
Название: 
Формальные методы инжиниринга и верификации бизнес-процессов
Наименование конференции: 
16-я Российская научно-практическая конференция «Инжиниринг предприятий и управление знаниями» (Москва, 2013)
Наименование источника: 
Труды 16-й Научно-практической конференции «Инжиниринг предприятий и управление знаниями» (Москва, 2013)
Город: 
Москва
Издательство: 
МЭСИ
Год издания: 
2013
Страницы: 
144-149
Аннотация
Представлен комплекс методов, позволяющих проводить формализованное исследование бизнес-процессов предприятий, осуществлять их функционально-структурное проектирование, тестирование и верификацию
Библиографическая ссылка: 
Калянов Г.Н. Формальные методы инжиниринга и верификации бизнес-процессов / Труды 16-й Научно-практической конференции «Инжиниринг предприятий и управление знаниями» (Москва, 2013). М.: МЭСИ, 2013. С. 144-149.