25976

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Пленарный доклад

Название: 

Формальные методы инжиниринга и верификации бизнес-процессов

Наименование конференции: 

  • 16-я Российская научно-практическая конференция «Инжиниринг предприятий и управление знаниями» (Москва, 2013)

Наименование источника: 

  • Труды 16-й Научно-практической конференции «Инжиниринг предприятий и управление знаниями» (Москва, 2013)

Город: 

  • Москва

Издательство: 

  • МЭСИ

Год издания: 

2013

Страницы: 

144-149
Аннотация
Представлен комплекс методов, позволяющих проводить формализованное исследование бизнес-процессов предприятий, осуществлять их функционально-структурное проектирование, тестирование и верификацию

Библиографическая ссылка: 

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