Information Technologies in the Work of Municipal Controlling and Counting Bodies

Author(s):  
В. Перов ◽  
V. Perov ◽  
Е. Кличева ◽  
E. Klicheva

The article explored the practice of applying information technology in controlling and counting of municipal bodies. The information on information systems for automation document flow between control and counting bodies and municipalities; perform supervisory powers control and accounting bodies; process for the preparation of consolidated accounts and audit of procurementis compiled and analyzed. On the one hand, the development of information technologies,including the use of “big data” systems and artificial intelligence allows you to withdraw municipal controlling and counting bodies at a qualitatively new level, going from penalties to prevent violations and application of risk-management tools. On the other hand, it requires the solution of new tasks. The authors give proposals to improve the application of municipal software controlling and counting bodies in order to improve the effectiveness of financial controls, maintaining sustainable economic development and social stability of the municipalities.

2021 ◽  
pp. 7-18
Author(s):  
Fernando Asteasuain ◽  
Luciana Rodriguez Caldeira

Software Engineering is trying to adapt its tools, mechanisms and techniques to cope with the challenges involved when developing BIG DATA software systems. In particular, formal verification in one of the areas that more urgently is required to step in. In this work we introduce two crucial aspects to consolidate the FVS tool to tackle this issue. For one side, FVS’s parallel algorithm is proved to be sound and correct. For the other side, we developed a compelling empirical validation of our approach, employing a communication protocol relevant in the industrial world within a context of parallel systems, introducing a load-balancer process and comparing several implementations.


Sign in / Sign up

Export Citation Format

Share Document