42818

Автор(ы): 

Автор(ов): 

1

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

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

Доклад

Название: 

The busineses process reengineering methods based on the theory of programming

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

  • 11th IEEE International Conference on Application of Information and Communication Technologies (AICT2017, Moscow)

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

  • Proceedings of the 11th IEEE International Conference on Application of Information and Communication Technologies (AICT2017, Moscow)

Обозначение и номер тома: 

V. 2

Город: 

  • Moscow

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

  • IEEE

Год издания: 

2017

Страницы: 

159-163
Аннотация
The article describes a complex of formal methods for functional-structural design, analysis, testing and verification of the business processes.

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

Калянов Г.Н. The busineses process reengineering methods based on the theory of programming / Proceedings of the 11th IEEE International Conference on Application of Information and Communication Technologies (AICT2017, Moscow). Moscow: IEEE, 2017. V. 2. С. 159-163.