42818

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

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.