No. 5, 2024
WAYS OF EVALUATION OF EFFICIENCY OF OPERATION IN INFORMATION-MEASUREMENT AND CONTROL SYSTEMS
- Extending the TOPSIS method to support decision making in GIS based on elements of category theory pp. 6-13
- Accounting mutual trust when choosing a supplier as part of the digital transformation of sociotechnical systems pp. 14-22
- Digitalization crisis and object modeling: development approaches to construct robust software systems pp. 23-30
PRINCIPLES OF CONSTRUCTION OF MULTI-PURPOSE INFORMATION-MEASUREMENT SYSTEMS
- Review and comparative analysis of methods of constructing terms in combinatory logic pp. 31-38
- Domain-specific type systems in the church and curry formalism pp. 39-45
- Categorical model of discrete deterministic process interaction of an object and an environment pp. 46-55
- Developing information and intelligent systems using applicative and semantic technologies pp. 56-68
- Combined system for logical inference and dynamic verification of software component specifications pp. 69-79
- A natural language search system for specified software components pp. 80-87
