Search

The last decade has seen the rapid development of digital information technology, the intellectualization of control systems, the increase in the number and capacity of mobile and computer devices, and the accumulation of large amounts of data and its processing through machine learning algorithms, which inevitably leads to new opportunities for economic development. Rapid digitalization and its penetration into various spheres of public life contributed to increasing the level of transparency of public administration, strengthening public control, and reducing the bureaucratization of society. Hence, digital technologies can serve as tools to fight corruption and create conditions for intensive economic growth. Therefore, the topic based on the study of transmission effects in the chain "corruption-digitization-economic growth" is relevant. The work aims to develop methodological tools for assessing the transmission effects between digitalization, corruption level decrease, and economic growth. The following methods were used for the study: Levin-Lin-Chu, Hadri, Pesaran, and Chin tests, Dickey-Fuller tests - to check stationary variables; statistical criterion Kao - to check the existence of cointegration relationship between variables; modified least-squares method - to estimate regression coefficients based on panel data; coefficient of determination and Jarque-Bera test – to verify the adequacy of the econometric model. An empirical study confirmed the hypothesis of the presence of transmission effects between indicators that characterize the level of corruption in the economy, digitalization, and economic growth. It has been proven that the reduction of corruption and the growth of digitalization in studied countries contributes to economic growth. [ABSTRACT FROM AUTHOR]

Current trends in the globalization economy, especially in the context of economic crises caused by hybrid war, COVID-19, lead to a constant search for new methods of enterprise management that could ensure its effective functioning. The purpose of the study is to substantiate the theoretical and methodological aspect of determining the level of instability of the external environment of the enterprise. When forming an enterprise development strategy, it is necessary to take into account all components and criteria, including factors of variability and complexity of assessing the external impact on the level of enterprise instability, and their differentiation for enterprises in different sectors of the economy. Identification of the level of instability of the external environment is the analytical basis for the predictability of its changes, which affects the choice of management methods and directions (strategies) of its development. The article proposes a methodological approach to comprehensive assessment of the level of instability of environmental factors of enterprises, which, unlike others, involves the detection of instability in terms of seven components (socio-demographic, economic, technological, environmental, political, legal, ethical) on four criteria: complexity, interdependence, variability and uncertainty of factors, which makes it possible to determine their sources and nature, and thus form an effective response of the enterprise to change. The offered methodical approach concerning activity of the gas transport enterprises of Ukraine which are the most unstable in the conditions of the crisis phenomena is tested. The obtained results are the basis for the development of scientifically sound management decisions, forecasting the behavior of the enterprise in close connection with its external environment, which will avoid crises and ensure the sustainability of their operation and development. The current challenges of enterprises in connection with the emergence of various manifestations of hybrid warfare in the country are prompting business units to create and implement new methods of managing such structures. [ABSTRACT FROM AUTHOR]

Principles of the UniTesK test development technology based on the use of formal models of target software are presented. This technology was developed by the RedVerst group in the Institute for System Programming, Russian Academy of Sciences (ISPRAS) [1], which obtained rich experience in testing and verification of complex commercial software. [ABSTRACT FROM AUTHOR]

A concept of automated test suites generation for testing compilers and other formal text processors is suggested. An approach based on the generation of tests from models is used. [ABSTRACT FROM AUTHOR]